dblp.uni-trier.dewww.uni-trier.de

Marek J. Sergot Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
64EEAlexander Artikis, Marek J. Sergot, Jeremy V. Pitt: Specifying norm-governed computational societies. ACM Trans. Comput. Log. 10(1): (2009)
2008
63EESteve Barker, Marek J. Sergot, Duminda Wijesekera: Status-Based Access Control. ACM Trans. Inf. Syst. Secur. 12(1): (2008)
62EERobert Craven, Marek J. Sergot: Agent strands in the action language nC+. J. Applied Logic 6(2): 172-191 (2008)
2007
61EEMarek J. Sergot: Action and Agency in Norm-Governed Multi-agent Systems. ESAW 2007: 1-54
60EEAlessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki: Verifying Temporal and Epistemic Properties of Web Service Compositions. ICSOC 2007: 456-461
59EEAlexander Artikis, Marek J. Sergot, Jeremy Pitt: An executable specification of a formal argumentation protocol. Artif. Intell. 171(10-15): 776-804 (2007)
2006
58EEMarek J. Sergot, Robert Craven: The Deontic Component of Action Language nC+. DEON 2006: 222-237
57EEDerek Huntley, Angela Baldo, Saurabh Johri, Marek J. Sergot: SEAN: SNP prediction and display program utilizing EST sequence clusters. Bioinformatics 22(4): 495-496 (2006)
56EEBenjamin 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)
55EEJeremy Pitt, Lloyd Kamara, Marek J. Sergot, Alexander Artikis: Voting in Multi-Agent Systems. Comput. J. 49(2): 156-170 (2006)
2005
54EEJeremy V. Pitt, Lloyd Kamara, Marek J. Sergot, Alexander Artikis: Formalization of a voting protocol for virtual organizations. AAMAS 2005: 373-380
53 Jeremy V. Pitt, Lloyd Kamara, Marek J. Sergot, Alexander Artikis: Voting in Online Deliberative Assemblies. ICAIL 2005: 195-204
52EEMarek J. Sergot, Robert Craven: Some Logical Properties of Nonmonotonic Causal Theories. LPNMR 2005: 198-210
51EEIrene Papatheodorou, Antonis C. Kakas, Marek J. Sergot: Inference of Gene Relations from Microarray Data by Abduction. LPNMR 2005: 389-393
50EELloyd Kamara, Jeremy Pitt, Marek J. Sergot: Towards Norm-Governed Self-Organising Networks. NORMAS 2005: 137-148
49EEAndrew 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)
48EERobert Craven, Marek J. Sergot: Distant Causation in C+. Studia Logica 79(1): 73-96 (2005)
2004
47EEAlexander Artikis, Lloyd Kamara, Jeremy Pitt, Marek J. Sergot: A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. DALT 2004: 221-238
46EEErik 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
45EEBabak Sadighi Firozabadi, Marek J. Sergot, Anna Cinzia Squicciarini, Elisa Bertino: A Framework for Contractual Resource Sharing in Coalitions. POLICY 2004: 117-126
44EEErik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot: Towards a Mechanism for Discretionary Overriding of Access Control. Security Protocols Workshop 2004: 312-319
43EEAlessio 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)
2003
42EEAlessio Lomuscio, Franco Raimondi, Marek J. Sergot: Towards model checking interpreted systems. AAMAS 2003: 1054-1055
41EEGuido Governatori, Alessio Lomuscio, Marek J. Sergot: A Tableaux System for Deontic Interpreted Systems. Australian Conference on Artificial Intelligence 2003: 339-351
40EERaphaël Clifford, Marek J. Sergot: Distributed and Paged Suffix Trees for Large Genetic Databases. CPM 2003: 70-82
39 Alexander Artikis, Marek J. Sergot, Jeremy Pitt: An Executable Specification of an Argumentation Protocol. ICAIL 2003: 1-11
38EEAlessio Lomuscio, Marek J. Sergot: Deontic Interpreted Systems. Studia Logica 75(1): 63-92 (2003)
2002
37EEAlexander Artikis, Jeremy Pitt, Marek J. Sergot: Animated specifications of computational societies. AAMAS 2002: 1053-1061
36EEAlessio Lomuscio, Marek J. Sergot: The bit transmission problem revisited. AAMAS 2002: 946-947
35EEAlexander Artikis, Marek J. Sergot, Jeremy Pitt: Specifying Electronic Societies with the Causal Calculator. AOSE 2002: 1-15
34EEMarek J. Sergot: Bob Kowalski: A Portrait. Computational Logic: Logic Programming and Beyond 2002: 5-25
33EEBabak Sadighi Firozabadi, Marek J. Sergot: Revocation Schemes for Delegated Authorities. POLICY 2002: 210-213
32EEBabak Sadighi Firozabadi, Marek J. Sergot: Contractual Access Control. Security Protocols Workshop 2002: 96-103
31EEAspassia Daskalopulu, Marek J. Sergot: Computational aspects of the FLBC framework. Decision Support Systems 33(3): 267-290 (2002)
2001
30EEAlessio Lomuscio, Marek J. Sergot: On Multi-agent Systems Specification via Deontic Logic. ATAL 2001: 86-99
29EEBabak Sadighi Firozabadi, Marek J. Sergot, Olav L. Bandmann: Using Authority Certificates to Create Management Structures. Security Protocols Workshop 2001: 134-145
28EEMarek J. Sergot: A computational theory of normative positions. ACM Trans. Comput. Log. 2(4): 581-622 (2001)
27EEAspassia Daskalopulu, Marek J. Sergot: The Representation of Legal Contracts CoRR cs.AI/0106005: (2001)
26EEAspassia Daskalopulu, Marek J. Sergot: A Constraint-Driven System for Contract Assembly CoRR cs.AI/0106006: (2001)
25 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)
1999
24 Babak Sadighi Firozabadi, Marek J. Sergot: Power and Permission in Security Systems. Security Protocols Workshop 1999: 48-59
1998
23 Kostas Stathis, Marek J. Sergot: An Abstract Framework for Globalising Interactive Systems. Interacting with Computers 9(4): 401-416 (1998)
1997
22 Aspassia Daskalopulu, Marek J. Sergot: The Representation of Legal Contracts. AI Soc. 11(1): 6-17 (1997)
1996
21 Kostas Stathis, Marek J. Sergot: Games as a Metaphor for Interactive Systems. BCS HCI 1996: 19-33
20EEF. Nihan Kesim, Marek J. Sergot: A Logic Programming Framework for Modeling Temporal Objects. IEEE Trans. Knowl. Data Eng. 8(5): 724-741 (1996)
19 Peter Hammond, Marek J. Sergot: Computer Support for Protocol-Based Treatment of Cancer. J. Log. Program. 26(2): 93-111 (1996)
18EEAndrew J. I. Jones, Marek J. Sergot: A Formal Characterisation of Institutionalised Power. Logic Journal of the IGPL 4(3): 427-443 (1996)
17 Andrew J. I. Jones, Marek J. Sergot: Foreword. Studia Logica 57(1): 3-4 (1996)
16 Henry Prakken, Marek J. Sergot: Contrary-to-Duty Obligations. Studia Logica 57(1): 91-115 (1996)
1995
15EEAspassia Daskalopulu, Marek J. Sergot: A Constraint-Driven System for Contract Assembly. ICAIL 1995: 62-70
14 F. Nihan Kesim, Marek J. Sergot: Schema Evolution in a Deductive Framework. KDOOD/TDOOD 1995: 69-74
1994
13 Paulo Jorge de Sousa Azevedo, Marek J. Sergot: Recomputation-Free Lemmatization by Program Transformation. ICLP 1994: 739-740
1993
12EEF. Nihan Kesim, Marek J. Sergot: Versioning of Objects in Deductive Databases. DOOD 1993: 459-472
1992
11EEAndrew J. I. Jones, Marek J. Sergot: Formal Specification of Security Requirements using the Theory of Normative Positions. ESORICS 1992: 103-121
10 F. Nihan Kesim, Marek J. Sergot: On the Evolution of Objects in a Logic Programming Framework. FGCS 1992: 1052-1060
1991
9EEMarek 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
8 Yannis Cosmadopoulos, Marek J. Sergot, Richard W. Southwick: Data-driven Transformation of Meta-interpreters: A Sketch. PDK 1991: 301-308
1988
7 Chor Sang Kwok, Marek J. Sergot: Implicit Definition of Logic Programs. ICLP/SLP 1988: 374-385
1987
6EETrevor 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
1986
5 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)
4 Dov M. Gabbay, Marek J. Sergot: Negation as Inconsistency I. J. Log. Program. 3(1): 1-35 (1986)
3 Robert A. Kowalski, Marek J. Sergot: A Logic-based Calculus of Events. New Generation Comput. 4(1): 67-95 (1986)
1985
2 Robert A. Kowalski, Marek J. Sergot: A Logic-Based Calculus of Events. Foundations of Knowledge Base Management (Xania) 1985: 23-55
1 Robert A. Kowalski, Marek J. Sergot: Computer Representation of the Law. IJCAI 1985: 1269-1270

Coauthor Index

1Alexander Artikis [35] [37] [39] [47] [53] [54] [55] [59] [64]
2Paulo Jorge de Sousa Azevedo [13]
3K. K. Bajaj [9]
4Angela Baldo [57]
5Olav L. Bandmann [29]
6Steve Barker [63]
7Claudio Bartolini [49]
8Trevor J. M. Bench-Capon [6]
9Elisa Bertino [45]
10Raphaël Clifford [40]
11H. T. Cory [5]
12Yannis Cosmadopoulos [8]
13Robert Craven [48] [52] [58] [62]
14Aspassia Daskalopulu [15] [22] [26] [27] [31]
15Andrew D. H. Farrell [49]
16Babak Sadighi Firozabadi [24] [29] [32] [33] [44] [45] [46]
17John Fox [56]
18Dov M. Gabbay [4]
19Guido Governatori [41]
20Peter Hammond [5] [19]
21Derek Huntley [57]
22Benjamin R. Jefferys [56]
23Saurabh Johri [57]
24Andrew J. I. Jones [11] [17] [18]
25Antonis C. Kakas [51]
26Lloyd Kamara [47] [50] [53] [54] [55]
27A. S. Kamble [9]
28Lawrence A. Kelley [56]
29F. Nihan Kesim [10] [12] [14] [20]
30Robert A. Kowalski [1] [2] [3] [5]
31F. Kriwaczek [5]
32Chor Sang Kwok [7]
33Alessio Lomuscio [30] [36] [38] [41] [42] [43] [60]
34Irene Papatheodorou [51]
35Jeremy V. Pitt (Jeremy Pitt) [35] [37] [39] [47] [50] [53] [54] [55] [59] [64]
36Henry Prakken [16]
37Hongyang Qu [60]
38Franco Raimondi [42]
39Fiona Richards [25]
40Erik Rissanen [44] [46]
41G. O. Robinson [6]
42Tom Routen [6]
43Fariba Sadri [5]
44Mathias Sallé [49]
45Monika Solanki [60]
46Richard W. Southwick [8]
47Anna Cinzia Squicciarini [45]
48Kostas Stathis [21] [23]
49Michael J. E. Sternberg [56]
50Duminda Wijesekera [63]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)