Marek J. Sergot

According to our database, Marek J. Sergot authored at least 84 papers between 1982 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Making Sense of Raw Input (Extended Abstract).

Richard Evans, Matko Bosnjak, Lars Buesing, Kevin Ellis, David Pfau, Pushmeet Kohli, Marek J. Sergot

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

Some Forms of Collectively Bringing About or 'Seeing to it that'.

Marek J. Sergot

J. Philos. Log., 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

Making sense of sensory input.

Richard Evans, José Hernández-Orallo, Johannes Welbl, Pushmeet Kohli, Marek J. Sergot

Artif. Intell., 2021

Making sense of raw input.

Richard Evans, Matko Bosnjak, Lars Buesing, Kevin Ellis, David P. Reichert, Pushmeet Kohli, Marek J. Sergot

Artif. Intell., 2021

2020

Formalizing Kant's Rules.

Richard Evans, Marek J. Sergot, Andrew Stephenson

J. Philos. Log., 2020

Evaluating the Apperception Engine.

Richard Evans, José Hernández-Orallo, Johannes Welbl, Pushmeet Kohli, Marek J. Sergot

CoRR, 2020

2015

An Event Calculus for Event Recognition.

Alexander Artikis, Marek J. Sergot, Georgios Paliouras

IEEE Trans. Knowl. Data Eng., 2015

Reactive Reasoning with the Event Calculus.

Alexander Artikis, Marek J. Sergot, Georgios Paliouras

CoRR, 2015

2013

A Logic-Based Approach to Activity Recognition.

Alexander Artikis, Marek J. Sergot, Georgios Paliouras

Proceedings of the Human Behavior Recognition Technologies, 2013

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

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

Run-time composite event recognition.

Alexander Artikis, Marek J. Sergot, Georgios Paliouras

Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012

2010

Executable specification of open multi-agent systems.

Alexander Artikis, Marek J. Sergot

Log. J. IGPL, 2010

A logic programming approach to activity recognition.

Alexander Artikis, Marek J. Sergot, Georgios Paliouras

Proceedings of the 2nd ACM international workshop on Events in multimedia, 2010

Norms, Action and Agency in Multi-agent Systems.

Marek J. Sergot

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

2009

Specifying norm-governed computational societies.

Alexander Artikis, Marek J. Sergot, Jeremy V. Pitt

ACM Trans. Comput. Log., 2009

2008

Status-Based Access Control.

Steve Barker, Marek J. Sergot, Duminda Wijesekera

ACM Trans. Inf. Syst. Secur., 2008

Agent strands in the action language nC+.

Robert Craven, Marek J. Sergot

J. Appl. Log., 2008

2007

An executable specification of a formal argumentation protocol.

Alexander Artikis, Marek J. Sergot, Jeremy Pitt

Artif. Intell., 2007

Verifying Temporal and Epistemic Properties of Web Service Compositions.

Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki

Proceedings of the Service-Oriented Computing, 2007

Action and Agency in Norm-Governed Multi-agent Systems.

Marek J. Sergot

Proceedings of the Engineering Societies in the Agents World VIII, 2007

2006

Voting in Multi-Agent Systems.

Jeremy Pitt, Lloyd Daniel Kamara, Marek J. Sergot, Alexander Artikis

Comput. J., 2006

Capturing expert knowledge with argumentation: a case study in bioinformatics.

Benjamin R. Jefferys, Lawrence A. Kelley, Marek J. Sergot, John Fox, Michael J. E. Sternberg

Bioinform., 2006

SEAN: SNP prediction and display program utilizing EST sequence clusters.

Derek Huntley, Angela Baldo, Saurabh Johri, Marek J. Sergot

Bioinform., 2006

The Deontic Component of Action Language nC+.

Marek J. Sergot, Robert Craven

Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

<i>Ballroom etiquette: </i> A Case Study for Norm-Governed Multi-Agent Systems.

Dorian Gaertner, Keith L. Clark, Marek J. Sergot

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2006

2005

Distant Causation in C+.

Robert Craven, Marek J. Sergot

Stud Logica, 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

Towards Norm-Governed Self-Organising Networks.

Lloyd Daniel Kamara, Jeremy Pitt, Marek J. Sergot

Proceedings of the Symposium on Normative Multi-Agent Systems, 2005

Some Logical Properties of Nonmonotonic Causal Theories.

Marek J. Sergot, Robert Craven

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Inference of Gene Relations from Microarray Data by Abduction.

Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Voting in Online Deliberative Assemblies.

Jeremy V. Pitt, Lloyd Daniel Kamara, Marek J. Sergot, Alexander Artikis

Proceedings of the Tenth International Conference on Artificial Intelligence and Law, 2005

Formalization of a voting protocol for virtual organizations.

Jeremy V. Pitt, Lloyd Daniel Kamara, Marek J. Sergot, Alexander Artikis

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

A Logic-based Calculus of Events.

Robert A. Kowalski, Marek J. Sergot

Proceedings of the Language of Time - A Reader., 2005

2004

A formalisation of violation, error recovery, and enforcement in the bit transmission problem.

Alessio Lomuscio, Marek J. Sergot

J. Appl. Log., 2004

Towards a Mechanism for Discretionary Overriding of Access Control.

Erik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot

Proceedings of the Security Protocols, 2004

A Framework for Contractual Resource Sharing in Coalitions.

Babak Sadighi Firozabadi, Marek J. Sergot, Anna Cinzia Squicciarini, Elisa Bertino

Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

Modelling Unreliable and Untrustworthy Agent Behaviour.

Marek J. Sergot

Proceedings of the Monitoring, Security, and Rescue Techniques in Multiagent Systems, 2004

Discretionary Overriding of Access Control in the Privilege Calculus.

Erik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks.

Alexander Artikis, Lloyd Daniel Kamara, Jeremy Pitt, Marek J. Sergot

Proceedings of the Declarative Agent Languages and Technologies II, 2004

2003

Deontic Interpreted Systems.

Alessio Lomuscio, Marek J. Sergot

Stud Logica, 2003

An Executable Specification of an Argumentation Protocol.

Alexander Artikis, Marek J. Sergot, Jeremy Pitt

Proceedings of the 9th International Conference on Artificial Intelligence and Law, 2003

Distributed and Paged Suffix Trees for Large Genetic Databases.

Raphaël Clifford, Marek J. Sergot

Proceedings of the Combinatorial Pattern Matching, 14th Annual Symposium, 2003

A Tableaux System for Deontic Interpreted Systems.

Guido Governatori, Alessio Lomuscio, Marek J. Sergot

Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

Towards model checking interpreted systems.

Alessio Lomuscio, Franco Raimondi, Marek J. Sergot

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

Computational aspects of the FLBC framework.

Aspassia Daskalopulu, Marek J. Sergot

Decis. Support Syst., 2002

Contractual Access Control.

Babak Sadighi Firozabadi, Marek J. Sergot

Proceedings of the Security Protocols, 2002

Revocation Schemes for Delegated Authorities.

Babak Sadighi Firozabadi, Marek J. Sergot

Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY 2002), 2002

Bob Kowalski: A Portrait.

Marek J. Sergot

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

The bit transmission problem revisited.

Alessio Lomuscio, Marek J. Sergot

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Animated specifications of computational societies.

Alexander Artikis, Jeremy Pitt, Marek J. Sergot

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Specifying Electronic Societies with the Causal Calculator.

Alexander Artikis, Marek J. Sergot, Jeremy Pitt

Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

2001

A computational theory of normative positions.

Marek J. Sergot

ACM Trans. Comput. Log., 2001

On the Representation of Action and Agency in the Theory of Normative Positions.

Marek J. Sergot, Fiona Richards

Fundam. Informaticae, 2001

Using Authority Certificates to Create Management Structures.

Babak Sadighi Firozabadi, Marek J. Sergot, Olav L. Bandmann

Proceedings of the Security Protocols, 2001

On Multi-agent Systems Specification via Deontic Logic.

Alessio Lomuscio, Marek J. Sergot

Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

1999

Power and Permission in Security Systems.

Babak Sadighi Firozabadi, Marek J. Sergot

Proceedings of the Security Protocols, 1999

1998

An Abstract Framework for Globalising Interactive Systems.

Kostas Stathis, Marek J. Sergot

Interact. Comput., 1998

1997

The Representation of Legal Contracts.

Aspassia Daskalopulu, Marek J. Sergot

AI Soc., 1997

1996

A Logic Programming Framework for Modeling Temporal Objects.

Fehime Nihan Kesim, Marek J. Sergot

IEEE Trans. Knowl. Data Eng., 1996

Contrary-to-Duty Obligations.

Henry Prakken, Marek J. Sergot

Stud Logica, 1996

Foreword.

Andrew J. I. Jones, Marek J. Sergot

Stud Logica, 1996

Computer Support for Protocol-Based Treatment of Cancer.

Peter Hammond, Marek J. Sergot

J. Log. Program., 1996

A Formal Characterisation of Institutionalised Power.

Andrew J. I. Jones, Marek J. Sergot

Log. J. IGPL, 1996

Games as a Metaphor for Interactive Systems.

Kostas Stathis, Marek J. Sergot

Proceedings of the People and Computers XI, Proceedings of HCI '96, 1996

1995

Contributions of FGCS technology to applications in legal reasoning.

Marek J. Sergot

Future Gener. Comput. Syst., 1995

A Constraint-Driven System for Contract Assembly.

Aspassia Daskalopulu, Marek J. Sergot

Proceedings of the Fifth International Conference on Artificial Intelligence and Law, 1995

Schema Evolution in a Deductive Framework.

Fehime Nihan Kesim, Marek J. Sergot

Proceedings of the DOOD 1995 Post-Conference Workshops on Integration of Knowledge Discovery in Databases with Deductive and Object-Oriented Databases (KDOOD) and Temporal Reasoning in Deductive and Object-Oriented Databases (TDOOD), 1995

1994

(title not yet received).

Marek J. Sergot

Proceedings of the ICLP 1994 Workshop W12: Legal Application of Logic Programming, 1994

Recomputation-Free Lemmatization by Program Transformation.

Paulo Jorge de Sousa Azevedo, Marek J. Sergot

Proceedings of the Logic Programming, 1994

1993

Versioning of Objects in Deductive Databases.

Fehime Nihan Kesim, Marek J. Sergot

Proceedings of the Deductive and Object-Oriented Databases, Third International Conference, 1993

1992

Deontic logic in the representation of law: Towards a methodology.

Andrew J. I. Jones, Marek J. Sergot

Artif. Intell. Law, 1992

On the Evolution of Objects in a Logic Programming Framework.

Fehime Nihan Kesim, Marek J. Sergot

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Formal Specification of Security Requirements using the Theory of Normative Positions.

Andrew J. I. Jones, Marek J. Sergot

Proceedings of the Computer Security, 1992

1991

Data-driven Transformation of Meta-interpreters: A Sketch.

Yannis Cosmadopoulos, Marek J. Sergot, Richard W. Southwick

Proceedings of the Processing Declarative Knowledge, 1991

Indian Central Civil Service Pension Rules: A Case Study in Logic Programming Applied to Regulations.

Marek J. Sergot, A. S. Kamble, K. K. Bajaj

Proceedings of the Third International Conference on Artificial Intelligence and Law, 1991

1988

Implicit Definition of Logic Programs.

Chor Sang Kwok, Marek J. Sergot

Proceedings of the Logic Programming, 1988

1987

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

Proceedings of the First International Conference on Artificial Intelligence and Law, 1987

1986

A Logic-based Calculus of Events.

Robert A. Kowalski, Marek J. Sergot

New Gener. Comput., 1986

Negation as Inconsistency I.

Dov M. Gabbay, Marek J. Sergot

J. Log. Program., 1986

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

1985

Computer Representation of the Law.

Robert A. Kowalski, Marek J. Sergot

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1982

A Query-the-User Facility for Logic Programming.

Marek J. Sergot

Proceedings of the Integrated Interactive Computing Systems: Proceedings of the European Conference on Integrated Interactive Computing Systems, 1982