Marek J. Sergot

Wilson Wen Bin Goh, Hirotaka Oikawa, Judy Chia Ghee Sng, Marek J. Sergot, Limsoon Wong: The role of miRNAs in complex formation and control. Bioinformatics 28(4): 453-456 (2012)

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. IJBRA 8(3/4): 155-170 (2012)

Alexander Artikis, Marek J. Sergot, Georgios Paliouras: Run-time composite event recognition. DEBS 2012: 69-80

Alexander Artikis, Marek J. Sergot: Executable specification of open multi-agent systems. Logic Journal of the IGPL 18(1): 31-65 (2010)

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

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. Applied Logic 6(2): 172-191 (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): 776-804 (2007)

Marek J. Sergot: Action and Agency in Norm-Governed Multi-agent Systems. ESAW 2007: 1-54

Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki: Verifying Temporal and Epistemic Properties of Web Service Compositions. ICSOC 2007: 456-461

Derek Huntley, Angela Baldo, Saurabh Johri, Marek J. Sergot: SEAN: SNP prediction and display program utilizing EST sequence clusters. Bioinformatics 22(4): 495-496 (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. Bioinformatics 22(8): 924-933 (2006)

Jeremy Pitt, Lloyd Kamara, Marek J. Sergot, Alexander Artikis: Voting in Multi-Agent Systems. Comput. J. 49(2): 156-170 (2006)

Marek J. Sergot, Robert Craven: The Deontic Component of Action Language nC+. DEON 2006: 222-237

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): 99-129 (2005)

Robert Craven, Marek J. Sergot: Distant Causation in C+. Studia Logica 79(1): 73-96 (2005)

Jeremy V. Pitt, Lloyd Kamara, Marek J. Sergot, Alexander Artikis: Formalization of a voting protocol for virtual organizations. AAMAS 2005: 373-380

Jeremy V. Pitt, Lloyd Kamara, Marek J. Sergot, Alexander Artikis: Voting in Online Deliberative Assemblies. ICAIL 2005: 195-204

Marek J. Sergot, Robert Craven: Some Logical Properties of Nonmonotonic Causal Theories. LPNMR 2005: 198-210

Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot: Inference of Gene Relations from Microarray Data by Abduction. LPNMR 2005: 389-393

Lloyd Kamara, Jeremy Pitt, Marek J. Sergot: Towards Norm-Governed Self-Organising Networks. NORMAS 2005: 137-148

Alessio Lomuscio, Marek J. Sergot: A formalisation of violation, error recovery, and enforcement in the bit transmission problem. J. Applied Logic 2(1): 93-116 (2004)

Alexander Artikis, Lloyd Kamara, Jeremy Pitt, Marek J. Sergot: A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. DALT 2004: 221-238

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

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

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

Alessio Lomuscio, Marek J. Sergot: Deontic Interpreted Systems. Studia Logica 75(1): 63-92 (2003)

Alessio Lomuscio, Franco Raimondi, Marek J. Sergot: Towards model checking interpreted systems. AAMAS 2003: 1054-1055

Guido Governatori, Alessio Lomuscio, Marek J. Sergot: A Tableaux System for Deontic Interpreted Systems. Australian Conference on Artificial Intelligence 2003: 339-351

Raphaël Clifford, Marek J. Sergot: Distributed and Paged Suffix Trees for Large Genetic Databases. CPM 2003: 70-82

Alexander Artikis, Marek J. Sergot, Jeremy Pitt: An Executable Specification of an Argumentation Protocol. ICAIL 2003: 1-11

Aspassia Daskalopulu, Marek J. Sergot: Computational aspects of the FLBC framework. Decision Support Systems 33(3): 267-290 (2002)

Alexander Artikis, Marek J. Sergot, Jeremy Pitt: Specifying Electronic Societies with the Causal Calculator. AOSE 2002: 1-15

Alessio Lomuscio, Marek J. Sergot: The bit transmission problem revisited. AAMAS 2002: 946-947

Alexander Artikis, Jeremy Pitt, Marek J. Sergot: Animated specifications of computational societies. AAMAS 2002: 1053-1061

Marek J. Sergot: Bob Kowalski: A Portrait. Computational Logic: Logic Programming and Beyond 2002: 5-25

Babak Sadighi Firozabadi, Marek J. Sergot: Revocation Schemes for Delegated Authorities. POLICY 2002: 210-213

Babak Sadighi Firozabadi, Marek J. Sergot: Contractual Access Control. Security Protocols Workshop 2002: 96-103

Marek J. Sergot, Fiona Richards: On the Representation of Action and Agency in the Theory of Normative Positions. Fundam. Inform. 48(2-3): 273-293 (2001)

Marek J. Sergot: A computational theory of normative positions. ACM Trans. Comput. Log. 2(4): 581-622 (2001)

Alessio Lomuscio, Marek J. Sergot: On Multi-agent Systems Specification via Deontic Logic. ATAL 2001: 86-99

Babak Sadighi Firozabadi, Marek J. Sergot, Olav L. Bandmann: Using Authority Certificates to Create Management Structures. Security Protocols Workshop 2001: 134-145

Aspassia Daskalopulu, Marek J. Sergot: The Representation of Legal Contracts. CoRR cs.AI/0106005 (2001)

Aspassia Daskalopulu, Marek J. Sergot: A Constraint-Driven System for Contract Assembly. CoRR cs.AI/0106006 (2001)

Babak Sadighi Firozabadi, Marek J. Sergot: Power and Permission in Security Systems. Security Protocols Workshop 1999: 48-59

Kostas Stathis, Marek J. Sergot: An Abstract Framework for Globalising Interactive Systems. Interacting with Computers 9(4): 401-416 (1998)

Aspassia Daskalopulu, Marek J. Sergot: The Representation of Legal Contracts. AI Soc. 11(1): 6-17 (1997)

Andrew J. I. Jones, Marek J. Sergot: A Formal Characterisation of Institutionalised Power. Logic Journal of the IGPL 4(3): 427-443 (1996)

Peter Hammond, Marek J. Sergot: Computer Support for Protocol-Based Treatment of Cancer. J. Log. Program. 26(2): 93-111 (1996)

Andrew J. I. Jones, Marek J. Sergot: Foreword. Studia Logica 57(1): 3-4 (1996)

Henry Prakken, Marek J. Sergot: Contrary-to-Duty Obligations. Studia Logica 57(1): 91-115 (1996)

F. Nihan Kesim, Marek J. Sergot: A Logic Programming Framework for Modeling Temporal Objects. IEEE Trans. Knowl. Data Eng. 8(5): 724-741 (1996)

Kostas Stathis, Marek J. Sergot: Games as a Metaphor for Interactive Systems. BCS HCI 1996: 19-33

F. Nihan Kesim, Marek J. Sergot: Schema Evolution in a Deductive Framework. KDOOD/TDOOD 1995: 69-74

Aspassia Daskalopulu, Marek J. Sergot: A Constraint-Driven System for Contract Assembly. ICAIL 1995: 62-70

Paulo Jorge de Sousa Azevedo, Marek J. Sergot: Recomputation-Free Lemmatization by Program Transformation. ICLP 1994: 739-740

F. Nihan Kesim, Marek J. Sergot: Versioning of Objects in Deductive Databases. DOOD 1993: 459-472

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

Andrew J. I. Jones, Marek J. Sergot: Formal Specification of Security Requirements using the Theory of Normative Positions. ESORICS 1992: 103-121

F. Nihan Kesim, Marek J. Sergot: On the Evolution of Objects in a Logic Programming Framework. FGCS 1992: 1052-1060

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: 118-127

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

Chor Sang Kwok, Marek J. Sergot: Implicit Definition of Logic Programs. ICLP/SLP 1988: 374-385

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: 190-198

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): 370-386 (1986)

Dov M. Gabbay, Marek J. Sergot: Negation as Inconsistency I. J. Log. Program. 3(1): 1-35 (1986)

Robert A. Kowalski, Marek J. Sergot: A Logic-based Calculus of Events. New Generation Comput. 4(1): 67-95 (1986)

Robert A. Kowalski, Marek J. Sergot: A Logic-Based Calculus of Events. Foundations of Knowledge Base Management (Xania) 1985: 23-55

Robert A. Kowalski, Marek J. Sergot: Computer Representation of the Law. IJCAI 1985: 1269-1270