Marek Sergot
Imperial College London(GB)
Publications by Year
Research Areas
Logic, Reasoning, and Knowledge, Multi-Agent Systems and Negotiation, Semantic Web and Ontologies, Access Control and Trust, Logic, programming, and type systems
Most-Cited Works
- → The British Nationality Act as a logic program(1986)550 cited
- → A Formal Characterisation of Institutionalised Power(1996)470 cited
- On the characterization of law and computer systems: the normative systems perspective(1994)
- → Specifying norm-governed computational societies(2009)212 cited
- → Contrary-to-duty obligations(1996)207 cited
- → Dyadic Deontic Logic and Contrary-to-Duty Obligations(1997)135 cited
- → Deontic Interpreted Systems(2003)133 cited
- → Status-Based Access Control(2008)