A Query-the-User Facility for Logic Programming. - Marek J. Sergot (ECICS, 1982)

Computer Representation of the Law. - Robert A. Kowalski; Marek J. Sergot (IJCAI, 1985)

The British Nationality Act as a Logic Program. - Marek J. Sergot; Fariba Sadri; Robert A. Kowalski; F. Kriwaczek; Peter Hammond; H. T. Cory (Commun. ACM, 1986)

Negation as Inconsistency I. - Dov M. Gabbay; Marek J. Sergot (J. Log. Program., 1986)

A Logic-based Calculus of Events. - Robert A. Kowalski; Marek J. Sergot (New Gener. Comput., 1986)

Logic Programming for Large Scale Applications in Law: A Formalisation of Supplementary Benefit Legislation. - Trevor J. M. Bench-Capon; G. O. Robinson; Tom Routen; Marek J. Sergot (ICAIL, 1987)

Implicit Definition of Logic Programs. - Chor Sang Kwok; Marek J. Sergot (ICLP/SLP, 1988)

Indian Central Civil Service Pension Rules: A Case Study in Logic Programming Applied to Regulations. - Marek J. Sergot; A. S. Kamble; K. K. Bajaj (ICAIL, 1991)

Data-driven Transformation of Meta-interpreters: A Sketch. - Yannis Cosmadopoulos; Marek J. Sergot; Richard W. Southwick (PDK, 1991)

Formal Specification of Security Requirements using the Theory of Normative Positions. - Andrew J. I. Jones; Marek J. Sergot (ESORICS, 1992)

On the Evolution of Objects in a Logic Programming Framework. - Fehime Nihan Kesim; Marek J. Sergot (FGCS, 1992)

Deontic logic in the representation of law: Towards a methodology. - Andrew J. I. Jones; Marek J. Sergot (Artif. Intell. Law, 1992)

Versioning of Objects in Deductive Databases. - Fehime Nihan Kesim; Marek J. Sergot (DOOD, 1993)

Recomputation-Free Lemmatization by Program Transformation. - Paulo Jorge de Sousa Azevedo; Marek J. Sergot (ICLP, 1994)

(title not yet received). - Marek J. Sergot (ICLP Workshop: Legal Application of Logic Programming, 1994)

Schema Evolution in a Deductive Framework. - Fehime Nihan Kesim; Marek J. Sergot (KDOOD/TDOOD, 1995)

A Constraint-Driven System for Contract Assembly. - Aspassia Daskalopulu; Marek J. Sergot (ICAIL, 1995)

Contributions of FGCS technology to applications in legal reasoning. - Marek J. Sergot (Future Gener. Comput. Syst., 1995)

Games as a Metaphor for Interactive Systems. - Kostas Stathis; Marek J. Sergot (BCS HCI, 1996)

A Formal Characterisation of Institutionalised Power. - Andrew J. I. Jones; Marek J. Sergot (Log. J. IGPL, 1996)

Computer Support for Protocol-Based Treatment of Cancer. - Peter Hammond; Marek J. Sergot (J. Log. Program., 1996)

Foreword. - Andrew J. I. Jones; Marek J. Sergot (Stud Logica, 1996)

Contrary-to-Duty Obligations. - Henry Prakken; Marek J. Sergot (Stud Logica, 1996)

A Logic Programming Framework for Modeling Temporal Objects. - Fehime Nihan Kesim; Marek J. Sergot (IEEE Trans. Knowl. Data Eng., 1996)

The Representation of Legal Contracts. - Aspassia Daskalopulu; Marek J. Sergot (AI Soc., 1997)

An Abstract Framework for Globalising Interactive Systems. - Kostas Stathis; Marek J. Sergot (Interact. Comput., 1998)

Power and Permission in Security Systems. - Babak Sadighi Firozabadi; Marek J. Sergot (Security Protocols Workshop, 1999)

On Multi-agent Systems Specification via Deontic Logic. - Alessio Lomuscio; Marek J. Sergot (ATAL, 2001)

Using Authority Certificates to Create Management Structures. - Babak Sadighi Firozabadi; Marek J. Sergot; Olav L. Bandmann (Security Protocols Workshop, 2001)

On the Representation of Action and Agency in the Theory of Normative Positions. - Marek J. Sergot; Fiona Richards (Fundam. Informaticae, 2001)

A computational theory of normative positions. - Marek J. Sergot (ACM Trans. Comput. Log., 2001)

Specifying Electronic Societies with the Causal Calculator. - Alexander Artikis; Marek J. Sergot; Jeremy Pitt (AOSE, 2002)

Animated specifications of computational societies. - Alexander Artikis; Jeremy Pitt; Marek J. Sergot (AAMAS, 2002)

The bit transmission problem revisited. - Alessio Lomuscio; Marek J. Sergot (AAMAS, 2002)

Bob Kowalski: A Portrait. - Marek J. Sergot (Computational Logic: Logic Programming and Beyond, 2002)

Revocation Schemes for Delegated Authorities. - Babak Sadighi Firozabadi; Marek J. Sergot (POLICY, 2002)

Contractual Access Control. - Babak Sadighi Firozabadi; Marek J. Sergot (Security Protocols Workshop, 2002)

Computational aspects of the FLBC framework. - Aspassia Daskalopulu; Marek J. Sergot (Decis. Support Syst., 2002)

Towards model checking interpreted systems. - Alessio Lomuscio; Franco Raimondi; Marek J. Sergot (AAMAS, 2003)

A Tableaux System for Deontic Interpreted Systems. - Guido Governatori; Alessio Lomuscio; Marek J. Sergot (Australian Conference on Artificial Intelligence, 2003)

Distributed and Paged Suffix Trees for Large Genetic Databases. - Raphaël Clifford; Marek J. Sergot (CPM, 2003)

An Executable Specification of an Argumentation Protocol. - Alexander Artikis; Marek J. Sergot; Jeremy Pitt (ICAIL, 2003)

Deontic Interpreted Systems. - Alessio Lomuscio; Marek J. Sergot (Stud Logica, 2003)

A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. - Alexander Artikis; Lloyd Daniel Kamara; Jeremy Pitt; Marek J. Sergot (DALT, 2004)

Discretionary Overriding of Access Control in the Privilege Calculus. - Erik Rissanen; Babak Sadighi Firozabadi; Marek J. Sergot (Formal Aspects in Security and Trust, 2004)

Modelling Unreliable and Untrustworthy Agent Behaviour. - Marek J. Sergot (MSRAS, 2004)

A Framework for Contractual Resource Sharing in Coalitions. - Babak Sadighi Firozabadi; Marek J. Sergot; Anna Cinzia Squicciarini; Elisa Bertino (POLICY, 2004)

Towards a Mechanism for Discretionary Overriding of Access Control. - Erik Rissanen; Babak Sadighi Firozabadi; Marek J. Sergot (Security Protocols Workshop, 2004)

A formalisation of violation, error recovery, and enforcement in the bit transmission problem. - Alessio Lomuscio; Marek J. Sergot (J. Appl. Log., 2004)

A Logic-based Calculus of Events. - Robert A. Kowalski; Marek J. Sergot (The Language of Time - A Reader, 2005)

Formalization of a voting protocol for virtual organizations. - Jeremy V. Pitt; Lloyd Daniel Kamara; Marek J. Sergot; Alexander Artikis (AAMAS, 2005)

Voting in Online Deliberative Assemblies. - Jeremy V. Pitt; Lloyd Daniel Kamara; Marek J. Sergot; Alexander Artikis (ICAIL, 2005)

Inference of Gene Relations from Microarray Data by Abduction. - Irene Papatheodorou; Antonis C. Kakas; Marek J. Sergot (LPNMR, 2005)

Some Logical Properties of Nonmonotonic Causal Theories. - Marek J. Sergot; Robert Craven (LPNMR, 2005)

Towards Norm-Governed Self-Organising Networks. - Lloyd Daniel Kamara; Jeremy Pitt; Marek J. Sergot (NORMAS, 2005)

Using the event calculus for tracking the normative state of contracts. - Andrew D. H. Farrell; Marek J. Sergot; Mathias Sallé; Claudio Bartolini (Int. J. Cooperative Inf. Syst., 2005)

Distant Causation in C+. - Robert Craven; Marek J. Sergot (Stud Logica, 2005)

Ballroom etiquette: A Case Study for Norm-Governed Multi-Agent Systems. - Dorian Gaertner; Keith L. Clark; Marek J. Sergot (COIN@AAMAS/ECAI, 2006)

The Deontic Component of Action Language nC+. - Marek J. Sergot; Robert Craven (DEON, 2006)

SEAN: SNP prediction and display program utilizing EST sequence clusters. - Derek Huntley; Angela Baldo; Saurabh Johri; Marek J. Sergot (Bioinform., 2006)

Capturing expert knowledge with argumentation: a case study in bioinformatics. - Benjamin R. Jefferys; Lawrence A. Kelley; Marek J. Sergot; John Fox 001; Michael J. E. Sternberg (Bioinform., 2006)

Voting in Multi-Agent Systems. - Jeremy Pitt; Lloyd Daniel Kamara; Marek J. Sergot; Alexander Artikis (Comput. J., 2006)

Action and Agency in Norm-Governed Multi-agent Systems. - Marek J. Sergot (ESAW, 2007)

Verifying Temporal and Epistemic Properties of Web Service Compositions. - Alessio Lomuscio; Hongyang Qu 001; Marek J. Sergot; Monika Solanki (ICSOC, 2007)

An executable specification of a formal argumentation protocol. - Alexander Artikis; Marek J. Sergot; Jeremy Pitt (Artif. Intell., 2007)

Agent strands in the action language nC+. - Robert Craven; Marek J. Sergot (J. Appl. Log., 2008)

Status-Based Access Control. - Steve Barker; Marek J. Sergot; Duminda Wijesekera (ACM Trans. Inf. Syst. Secur., 2008)

Specifying norm-governed computational societies. - Alexander Artikis; Marek J. Sergot; Jeremy V. Pitt (ACM Trans. Comput. Log., 2009)

Norms, Action and Agency in Multi-agent Systems. - Marek J. Sergot (DEON, 2010)

A logic programming approach to activity recognition. - Alexander Artikis; Marek J. Sergot; Georgios Paliouras (EIMM@MM, 2010)

Executable specification of open multi-agent systems. - Alexander Artikis; Marek J. Sergot (Log. J. IGPL, 2010)

Run-time composite event recognition. - Alexander Artikis; Marek J. Sergot; Georgios Paliouras (DEBS, 2012)

The role of miRNAs in complex formation and control. - Wilson Wen Bin Goh; Hirotaka Oikawa; Judy Chia Ghee Sng; Marek J. Sergot; Limsoon Wong (Bioinform., 2012)

A network-based maximum link approach towards MS identifies potentially important roles for undetected ARRB1/2 and ACTB in liver cancer progression. - Wilson Wen Bin Goh; Yie Hou Lee; Zubaidah M. Ramdzan; Maxey C. M. Chung; Limsoon Wong; Marek J. Sergot (Int. J. Bioinform. Res. Appl., 2012)

A Logic-Based Approach to Activity Recognition. - Alexander Artikis; Marek J. Sergot; Georgios Paliouras (Human Behavior Recognition Technologies, 2013)

Reactive Reasoning with the Event Calculus. - Alexander Artikis; Marek J. Sergot; Georgios Paliouras (CoRR, 2015)

An Event Calculus for Event Recognition. - Alexander Artikis; Marek J. Sergot; Georgios Paliouras (IEEE Trans. Knowl. Data Eng., 2015)

Evaluating the Apperception Engine. - Richard Evans 001; José Hernández-Orallo; Johannes Welbl; Pushmeet Kohli; Marek J. Sergot (CoRR, 2020)

Formalizing Kant's Rules. - Richard Evans 001; Marek J. Sergot; Andrew Stephenson (J. Philos. Log., 2020)

Making sense of raw input. - Richard Evans 001; Matko Bosnjak; Lars Buesing; Kevin Ellis; David P. Reichert; Pushmeet Kohli; Marek J. Sergot (Artif. Intell., 2021)

Making sense of sensory input. - Richard Evans 001; José Hernández-Orallo; Johannes Welbl; Pushmeet Kohli; Marek J. Sergot (Artif. Intell., 2021)

Who is obliged when many are involved? Labelled transition system modelling of how obligation arises. - Piotr Kulicki; Robert Trypuz; Marek J. Sergot (Artif. Intell. Law, 2021)

Some Forms of Collectively Bringing About or 'Seeing to it that'. - Marek J. Sergot (J. Philos. Log., 2021)

Making Sense of Raw Input (Extended Abstract). - Richard Evans 001; Matko Bosnjak; Lars Buesing; Kevin Ellis; David Pfau; Pushmeet Kohli; Marek J. Sergot (IJCAI, 2022)