| 2009 |
|---|
| 64 | EE | Alexander Artikis,
Marek J. Sergot,
Jeremy V. Pitt:
Specifying norm-governed computational societies.
ACM Trans. Comput. Log. 10(1): (2009) |
| 2008 |
|---|
| 63 | EE | Steve Barker,
Marek J. Sergot,
Duminda Wijesekera:
Status-Based Access Control.
ACM Trans. Inf. Syst. Secur. 12(1): (2008) |
| 62 | EE | Robert Craven,
Marek J. Sergot:
Agent strands in the action language nC+.
J. Applied Logic 6(2): 172-191 (2008) |
| 2007 |
|---|
| 61 | EE | Marek J. Sergot:
Action and Agency in Norm-Governed Multi-agent Systems.
ESAW 2007: 1-54 |
| 60 | EE | Alessio Lomuscio,
Hongyang Qu,
Marek J. Sergot,
Monika Solanki:
Verifying Temporal and Epistemic Properties of Web Service Compositions.
ICSOC 2007: 456-461 |
| 59 | EE | Alexander Artikis,
Marek J. Sergot,
Jeremy Pitt:
An executable specification of a formal argumentation protocol.
Artif. Intell. 171(10-15): 776-804 (2007) |
| 2006 |
|---|
| 58 | EE | Marek J. Sergot,
Robert Craven:
The Deontic Component of Action Language nC+.
DEON 2006: 222-237 |
| 57 | EE | 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) |
| 56 | EE | 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) |
| 55 | EE | Jeremy Pitt,
Lloyd Kamara,
Marek J. Sergot,
Alexander Artikis:
Voting in Multi-Agent Systems.
Comput. J. 49(2): 156-170 (2006) |
| 2005 |
|---|
| 54 | EE | Jeremy 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 |
| 52 | EE | Marek J. Sergot,
Robert Craven:
Some Logical Properties of Nonmonotonic Causal Theories.
LPNMR 2005: 198-210 |
| 51 | EE | Irene Papatheodorou,
Antonis C. Kakas,
Marek J. Sergot:
Inference of Gene Relations from Microarray Data by Abduction.
LPNMR 2005: 389-393 |
| 50 | EE | Lloyd Kamara,
Jeremy Pitt,
Marek J. Sergot:
Towards Norm-Governed Self-Organising Networks.
NORMAS 2005: 137-148 |
| 49 | EE | 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) |
| 48 | EE | Robert Craven,
Marek J. Sergot:
Distant Causation in C+.
Studia Logica 79(1): 73-96 (2005) |
| 2004 |
|---|
| 47 | EE | Alexander Artikis,
Lloyd Kamara,
Jeremy Pitt,
Marek J. Sergot:
A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks.
DALT 2004: 221-238 |
| 46 | EE | 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 |
| 45 | EE | Babak Sadighi Firozabadi,
Marek J. Sergot,
Anna Cinzia Squicciarini,
Elisa Bertino:
A Framework for Contractual Resource Sharing in Coalitions.
POLICY 2004: 117-126 |
| 44 | EE | Erik Rissanen,
Babak Sadighi Firozabadi,
Marek J. Sergot:
Towards a Mechanism for Discretionary Overriding of Access Control.
Security Protocols Workshop 2004: 312-319 |
| 43 | EE | 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) |
| 2003 |
|---|
| 42 | EE | Alessio Lomuscio,
Franco Raimondi,
Marek J. Sergot:
Towards model checking interpreted systems.
AAMAS 2003: 1054-1055 |
| 41 | EE | Guido Governatori,
Alessio Lomuscio,
Marek J. Sergot:
A Tableaux System for Deontic Interpreted Systems.
Australian Conference on Artificial Intelligence 2003: 339-351 |
| 40 | EE | Raphaë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 |
| 38 | EE | Alessio Lomuscio,
Marek J. Sergot:
Deontic Interpreted Systems.
Studia Logica 75(1): 63-92 (2003) |
| 2002 |
|---|
| 37 | EE | Alexander Artikis,
Jeremy Pitt,
Marek J. Sergot:
Animated specifications of computational societies.
AAMAS 2002: 1053-1061 |
| 36 | EE | Alessio Lomuscio,
Marek J. Sergot:
The bit transmission problem revisited.
AAMAS 2002: 946-947 |
| 35 | EE | Alexander Artikis,
Marek J. Sergot,
Jeremy Pitt:
Specifying Electronic Societies with the Causal Calculator.
AOSE 2002: 1-15 |
| 34 | EE | Marek J. Sergot:
Bob Kowalski: A Portrait.
Computational Logic: Logic Programming and Beyond 2002: 5-25 |
| 33 | EE | Babak Sadighi Firozabadi,
Marek J. Sergot:
Revocation Schemes for Delegated Authorities.
POLICY 2002: 210-213 |
| 32 | EE | Babak Sadighi Firozabadi,
Marek J. Sergot:
Contractual Access Control.
Security Protocols Workshop 2002: 96-103 |
| 31 | EE | Aspassia Daskalopulu,
Marek J. Sergot:
Computational aspects of the FLBC framework.
Decision Support Systems 33(3): 267-290 (2002) |
| 2001 |
|---|
| 30 | EE | Alessio Lomuscio,
Marek J. Sergot:
On Multi-agent Systems Specification via Deontic Logic.
ATAL 2001: 86-99 |
| 29 | EE | Babak Sadighi Firozabadi,
Marek J. Sergot,
Olav L. Bandmann:
Using Authority Certificates to Create Management Structures.
Security Protocols Workshop 2001: 134-145 |
| 28 | EE | Marek J. Sergot:
A computational theory of normative positions.
ACM Trans. Comput. Log. 2(4): 581-622 (2001) |
| 27 | EE | Aspassia Daskalopulu,
Marek J. Sergot:
The Representation of Legal Contracts
CoRR cs.AI/0106005: (2001) |
| 26 | EE | Aspassia 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 |
| 20 | EE | F. 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) |
| 18 | EE | Andrew 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 |
|---|
| 15 | EE | Aspassia 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 |
|---|
| 12 | | F. Nihan Kesim,
Marek J. Sergot:
Versioning of Objects in Deductive Databases.
DOOD 1993: 459-472 |
| 1992 |
|---|
| 11 | EE | Andrew 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 |
|---|
| 9 | EE | 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 |
| 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 |
|---|
| 6 | EE | 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 |
| 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 |
