Marek J. Sergot

Publication Activity (10 Years)

Years Active: 1982-2022
Publications (10 Years): 8

Top Topics

Domain Specific Knowledge

Reasoning Tasks

Transitive Closure

Extended Abstract

Top Venues

J. Philos. Log.

Artif. Intell. Law

Publications

Richard Evans, Matko Bosnjak, Lars Buesing, Kevin Ellis, David Pfau, Pushmeet Kohli, Marek J. Sergot
Making Sense of Raw Input (Extended Abstract). IJCAI (2022)
Marek J. Sergot
Some Forms of Collectively Bringing About or 'Seeing to it that'. J. Philos. Log. 50 (2) (2021)
Richard Evans, José Hernández-Orallo, Johannes Welbl, Pushmeet Kohli, Marek J. Sergot
Making sense of sensory input. Artif. Intell. 293 (2021)
Richard Evans, Matko Bosnjak, Lars Buesing, Kevin Ellis, David P. Reichert, Pushmeet Kohli, Marek J. Sergot
Making sense of raw input. Artif. Intell. 299 (2021)
Piotr Kulicki, Robert Trypuz, Marek J. Sergot
Who is obliged when many are involved? Labelled transition system modelling of how obligation arises. Artif. Intell. Law 29 (3) (2021)
Richard Evans, Marek J. Sergot, Andrew Stephenson
Formalizing Kant's Rules. J. Philos. Log. 49 (4) (2020)
Richard Evans, José Hernández-Orallo, Johannes Welbl, Pushmeet Kohli, Marek J. Sergot
Evaluating the Apperception Engine. CoRR (2020)
Richard Evans, José Hernández-Orallo, Johannes Welbl, Pushmeet Kohli, Marek J. Sergot
Making sense of sensory input. CoRR (2019)
Alexander Artikis, Marek J. Sergot, Georgios Paliouras
An Event Calculus for Event Recognition. IEEE Trans. Knowl. Data Eng. 27 (4) (2015)
Alexander Artikis, Marek J. Sergot, Georgios Paliouras
Reactive Reasoning with the Event Calculus. CoRR (2015)
Wilson Wen Bin Goh, Yie Hou Lee, Zubaidah M. Ramdzan, Maxey C. M. Chung, Limsoon Wong, Marek J. Sergot
A network-based maximum link approach towards MS identifies potentially important roles for undetected ARRB1/2 and ACTB in liver cancer progression. Int. J. Bioinform. Res. Appl. 8 (3/4) (2012)
Wilson Wen Bin Goh, Hirotaka Oikawa, Judy Chia Ghee Sng, Marek J. Sergot, Limsoon Wong
The role of miRNAs in complex formation and control. Bioinform. 28 (4) (2012)
Alexander Artikis, Marek J. Sergot, Georgios Paliouras
Run-time composite event recognition. DEBS (2012)
Alexander Artikis, Marek J. Sergot
Executable specification of open multi-agent systems. Log. J. IGPL 18 (1) (2010)
Alexander Artikis, Marek J. Sergot, Georgios Paliouras
A logic programming approach to activity recognition. EIMM@MM (2010)
Marek J. Sergot
Norms, Action and Agency in Multi-agent Systems. DEON (2010)
Alexander Artikis, Marek J. Sergot, Jeremy V. Pitt
Specifying norm-governed computational societies. ACM Trans. Comput. Log. 10 (1) (2009)
Robert Craven, Marek J. Sergot
Agent strands in the action language nC+. J. Appl. Log. 6 (2) (2008)
Steve Barker, Marek J. Sergot, Duminda Wijesekera
Status-Based Access Control. ACM Trans. Inf. Syst. Secur. 12 (1) (2008)
Alexander Artikis, Marek J. Sergot, Jeremy Pitt
An executable specification of a formal argumentation protocol. Artif. Intell. 171 (10-15) (2007)
Marek J. Sergot
Action and Agency in Norm-Governed Multi-agent Systems. ESAW (2007)
Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki
Verifying Temporal and Epistemic Properties of Web Service Compositions. ICSOC (2007)
Jeremy Pitt, Lloyd Daniel Kamara, Marek J. Sergot, Alexander Artikis
Voting in Multi-Agent Systems. Comput. J. 49 (2) (2006)
Dorian Gaertner, Keith L. Clark, Marek J. Sergot
A Case Study for Norm-Governed Multi-Agent Systems. COIN@AAMAS/ECAI (2006)
Marek J. Sergot, Robert Craven
The Deontic Component of Action Language nC+. DEON (2006)
Benjamin R. Jefferys, Lawrence A. Kelley, Marek J. Sergot, John Fox, Michael J. E. Sternberg
Capturing expert knowledge with argumentation: a case study in bioinformatics. Bioinform. 22 (8) (2006)
Derek Huntley, Angela Baldo, Saurabh Johri, Marek J. Sergot
SEAN: SNP prediction and display program utilizing EST sequence clusters. Bioinform. 22 (4) (2006)
Lloyd Daniel Kamara, Jeremy Pitt, Marek J. Sergot
Towards Norm-Governed Self-Organising Networks. NORMAS (2005)
Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot
Inference of Gene Relations from Microarray Data by Abduction. LPNMR (2005)
Robert Craven, Marek J. Sergot
Distant Causation in C+. Stud Logica 79 (1) (2005)
Andrew D. H. Farrell, Marek J. Sergot, Mathias Sallé, Claudio Bartolini
Using the event calculus for tracking the normative state of contracts. Int. J. Cooperative Inf. Syst. 14 (2-3) (2005)
Jeremy V. Pitt, Lloyd Daniel Kamara, Marek J. Sergot, Alexander Artikis
Voting in Online Deliberative Assemblies. ICAIL (2005)
Marek J. Sergot, Robert Craven
Some Logical Properties of Nonmonotonic Causal Theories. LPNMR (2005)
Jeremy V. Pitt, Lloyd Daniel Kamara, Marek J. Sergot, Alexander Artikis
Formalization of a voting protocol for virtual organizations. AAMAS (2005)
Marek J. Sergot
Modelling Unreliable and Untrustworthy Agent Behaviour. MSRAS (2004)
Babak Sadighi Firozabadi, Marek J. Sergot, Anna Cinzia Squicciarini, Elisa Bertino
A Framework for Contractual Resource Sharing in Coalitions. POLICY (2004)
Erik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot
Towards a Mechanism for Discretionary Overriding of Access Control. Security Protocols Workshop (2004)
Alessio Lomuscio, Marek J. Sergot
A formalisation of violation, error recovery, and enforcement in the bit transmission problem. J. Appl. Log. 2 (1) (2004)
Alexander Artikis, Lloyd Daniel Kamara, Jeremy Pitt, Marek J. Sergot
A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. DALT (2004)
Erik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot
Discretionary Overriding of Access Control in the Privilege Calculus. Formal Aspects in Security and Trust (2004)
Alexander Artikis, Marek J. Sergot, Jeremy Pitt
An Executable Specification of an Argumentation Protocol. ICAIL (2003)
Raphaël Clifford, Marek J. Sergot
Distributed and Paged Suffix Trees for Large Genetic Databases. CPM (2003)
Guido Governatori, Alessio Lomuscio, Marek J. Sergot
A Tableaux System for Deontic Interpreted Systems. Australian Conference on Artificial Intelligence (2003)
Alessio Lomuscio, Marek J. Sergot
Deontic Interpreted Systems. Stud Logica 75 (1) (2003)
Alessio Lomuscio, Franco Raimondi, Marek J. Sergot
Towards model checking interpreted systems. AAMAS (2003)
Aspassia Daskalopulu, Marek J. Sergot
Computational aspects of the FLBC framework. Decis. Support Syst. 33 (3) (2002)
Babak Sadighi Firozabadi, Marek J. Sergot
Contractual Access Control. Security Protocols Workshop (2002)
Babak Sadighi Firozabadi, Marek J. Sergot
Revocation Schemes for Delegated Authorities. POLICY (2002)
Marek J. Sergot
Bob Kowalski: A Portrait. Computational Logic: Logic Programming and Beyond (2002)
Alessio Lomuscio, Marek J. Sergot
The bit transmission problem revisited. AAMAS (2002)
Alexander Artikis, Jeremy Pitt, Marek J. Sergot
Animated specifications of computational societies. AAMAS (2002)
Alexander Artikis, Marek J. Sergot, Jeremy Pitt
Specifying Electronic Societies with the Causal Calculator. AOSE (2002)
Marek J. Sergot, Fiona Richards
On the Representation of Action and Agency in the Theory of Normative Positions. Fundam. Informaticae 48 (2-3) (2001)
Marek J. Sergot
A computational theory of normative positions. ACM Trans. Comput. Log. 2 (4) (2001)
Aspassia Daskalopulu, Marek J. Sergot
The Representation of Legal Contracts CoRR (2001)
Babak Sadighi Firozabadi, Marek J. Sergot, Olav L. Bandmann
Using Authority Certificates to Create Management Structures. Security Protocols Workshop (2001)
Aspassia Daskalopulu, Marek J. Sergot
A Constraint-Driven System for Contract Assembly CoRR (2001)
Alessio Lomuscio, Marek J. Sergot
On Multi-agent Systems Specification via Deontic Logic. ATAL (2001)
Babak Sadighi Firozabadi, Marek J. Sergot
Power and Permission in Security Systems. Security Protocols Workshop (1999)
Kostas Stathis, Marek J. Sergot
An Abstract Framework for Globalising Interactive Systems. Interact. Comput. 9 (4) (1998)
Aspassia Daskalopulu, Marek J. Sergot
The Representation of Legal Contracts. AI Soc. 11 (1) (1997)
Fehime Nihan Kesim, Marek J. Sergot
A Logic Programming Framework for Modeling Temporal Objects. IEEE Trans. Knowl. Data Eng. 8 (5) (1996)
Henry Prakken, Marek J. Sergot
Contrary-to-Duty Obligations. Stud Logica 57 (1) (1996)
Andrew J. I. Jones, Marek J. Sergot
Foreword. Stud Logica 57 (1) (1996)
Andrew J. I. Jones, Marek J. Sergot
A Formal Characterisation of Institutionalised Power. Log. J. IGPL 4 (3) (1996)
Kostas Stathis, Marek J. Sergot
Games as a Metaphor for Interactive Systems. BCS HCI (1996)
Peter Hammond, Marek J. Sergot
Computer Support for Protocol-Based Treatment of Cancer. J. Log. Program. 26 (2) (1996)
Fehime Nihan Kesim, Marek J. Sergot
Schema Evolution in a Deductive Framework. KDOOD/TDOOD (1995)
Aspassia Daskalopulu, Marek J. Sergot
A Constraint-Driven System for Contract Assembly. ICAIL (1995)
Marek J. Sergot
Contributions of FGCS technology to applications in legal reasoning. Future Gener. Comput. Syst. 11 (3) (1995)
Marek J. Sergot
(title not yet received). ICLP Workshop: Legal Application of Logic Programming (1994)
Paulo Jorge de Sousa Azevedo, Marek J. Sergot
Recomputation-Free Lemmatization by Program Transformation. ICLP (1994)
Fehime Nihan Kesim, Marek J. Sergot
Versioning of Objects in Deductive Databases. DOOD (1993)
Andrew J. I. Jones, Marek J. Sergot
Deontic logic in the representation of law: Towards a methodology. Artif. Intell. Law 1 (1) (1992)
Fehime Nihan Kesim, Marek J. Sergot
On the Evolution of Objects in a Logic Programming Framework. FGCS (1992)
Andrew J. I. Jones, Marek J. Sergot
Formal Specification of Security Requirements using the Theory of Normative Positions. ESORICS (1992)
Yannis Cosmadopoulos, Marek J. Sergot, Richard W. Southwick
Data-driven Transformation of Meta-interpreters: A Sketch. PDK (1991)
Marek J. Sergot, A. S. Kamble, K. K. Bajaj
Indian Central Civil Service Pension Rules: A Case Study in Logic Programming Applied to Regulations. ICAIL (1991)
Chor Sang Kwok, Marek J. Sergot
Implicit Definition of Logic Programs. ICLP/SLP (1988)
Trevor J. M. Bench-Capon, G. O. Robinson, Tom Routen, Marek J. Sergot
Logic Programming for Large Scale Applications in Law: A Formalisation of Supplementary Benefit Legislation. ICAIL (1987)
Marek J. Sergot, Fariba Sadri, Robert A. Kowalski, F. Kriwaczek, Peter Hammond, H. T. Cory
The British Nationality Act as a Logic Program. Commun. ACM 29 (5) (1986)
Robert A. Kowalski, Marek J. Sergot
A Logic-based Calculus of Events. New Gener. Comput. 4 (1) (1986)
Dov M. Gabbay, Marek J. Sergot
Negation as Inconsistency I. J. Log. Program. 3 (1) (1986)
Robert A. Kowalski, Marek J. Sergot
Computer Representation of the Law. IJCAI (1985)
Robert A. Kowalski, Marek J. Sergot
A Logic-Based Calculus of Events. Foundations of Knowledge Base Management (Xania) (1985)
Marek J. Sergot
A Query-the-User Facility for Logic Programming. ECICS (1982)