Marek Sergot

Department of Computing
Imperial College London

Selected Publications

2005

Marek Sergot and Robert Craven.
Some logical properties of nonmonotonic causal theories. In Proc. Eighth International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'05), Calabria, September 2005 . LNCS, Springer (in press).
Irene Papatheodorou, Antonis Kakas, and Marek Sergot.
Inference of gene relations from microarray data by abduction. In Proc. Eighth International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'05), Calabria, September 2005 . LNCS, Springer (in press).
Jeremy Pitt, Lloyd Kamara, Marek Sergot, and Alexander Artikis.
Formalization of a voting protocol for virtual organizations. In Proc. Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'05), Utrecht, July 2005 .
Jeremy Pitt, Lloyd Kamara, Marek Sergot, and Alexander Artikis.
Voting in online deliberative assemblies. In Proc. 10th International Conference on Artificial Intelligence and Law (ICAIL'05), Bologna, June 2005 , pages 195--204. ACM Press, 2005.
R. A. Craven and M. J. Sergot.
Distant causation in C+. Studia Logica 79(1):73--96, February 2005.
M.J. Sergot.
Modelling unreliable and untrustworthy agent behaviour. In B. Dunin-Keplicz, A. Jankowski, A. Skowron, and M. Szczuka, editors, Monitoring, Security, and Rescue Techniques in Multiagent Systems, pages 161--178. Advances in Soft Computing, Springer-Verlag, 2005.
Andrew D. H. Farrell, Marek Sergot, Mathias Salle and Claudio Bartolini.
Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information System 4(2--3), June-September 2005.

2004

A. Lomuscio and M.J. Sergot.
A formalisation of violation, error recovery, and enforcement in the bit transmission problem. Journal of Applied Logic, 2:93--116, 2004.
Erik Rissanen, Babak Sadighi Firozabadi, and Marek Sergot.
Discretionary Overriding of Access Control in the Privilege Calculus. In Proc. 2nd International Workshop on Formal Aspects in Security and Trust (FAST'04), Toulouse, August 2004.
I. Papatheodorou, M.J. Sergot, M. Randall, G.R. Stewart, and B.D. Robertson.
Visualization of microarray results to assist interpretation. Tuberculosis, 84:275--281, 2004.
A. Artikis, L. Kamara, J. Pitt, and M.J. Sergot.
A protocol for resource sharing in norm-governed ad hoc networks. In Proc. 2nd Workshop on Declarative Agent Languages and Technologies (DALT'04), New York, July 2004, 2004.
Andrew D.H. Farrell, Marek Sergot, David Trastour, Athena Christodoulou, and Mathias Salle.
Performance monitoring of Service Level Agreements in Utility Computing using the event calculus. In Proc. 1st IEEE International Workshop on Electronic Contracting (WEC'04), San Diego, July 2004, 2004.
B. Sadighi Firozabadi, Marek Sergot, Anna Squicciarini, and Elisa Bertino.
A framework for contractual resource sharing in coalitions. In Proc. 5th IEEE Workshop on Policies for Distributed Systems and Networks, IBM Yorktown Heights (Policy'04), June 2004, pages 117--126. IEEE Computer Society, 2004.
B. Sadighi Firozabadi and M.J. Sergot.
Contractual access control. In Bruce Christianson, Bruno Crispo, James A. Malcolm, and Michael Roe, editors, Security Protocols. 10th International Workshop, Cambridge, April 2002, LNCS 2845, pages 96--102. Springer, 2004.

2003

A. Lomuscio and M.J. Sergot.
Deontic interpreted systems. Studia Logica, 75(1):63--92, October 2003.
Guido Governatori, Alessio Lomuscio and Marek Sergot.
A tableaux system for Deontic Interpreted Systems. In Tarnás D. Gedeon and Lance Chun Che Fung, editors, AI 2003: Advances in Artificial Intelligence, LNAI 2903, pages 339--351. Springer, 2003.
D. Huntley, H. Hummerich, D. Smedley, S. Kittivoravitkul, M. McCarthy, P.F.R. Little, M.J. Sergot.
GANESH: Software for customised annotation of genome regions. Genome Research, 13:2195--2202, 2003.
R. Clifford and M.J. Sergot.
Distributed suffix trees and their application to large-scale genomic analysis. In Proc. International Conference of Computational Methods in Sciences and Engineering (ICCMSE'03), Kastoria, Greece, September 2003, 2003.
B. Sadighi Firozabadi and M.J. Sergot.
Revocation in the privilege calculus. In Proceedings 1st International Workshop on Formal Aspects in Security and Trust (FAST'03), Pisa, September 2003, pages 39--51, 2003.
A. Lomuscio, F. Raimondi, and M.J. Sergot.
Towards model checking interpreted systems. In Proc. 2nd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'03), Melbourne, July 2003. ACM Press, 2003.
A. Artikis, M.J. Sergot, and J. Pitt.
Specifying electronic societies with the Causal Calculator. In Fausto Giunchiglia, James Odell, and Gerhard Weiss, editors, Agent-Oriented Software Engineering III. Proc. 3rd International Workshop (AOSE 2002), Bologna, July 2002, LNCS 2585, pages 1--15. Springer, 2003.
R. Clifford and M.J. Sergot.
Distributed and paged suffix trees for large genetic databases. In R. Baeza-Yatres, E. Cháve, and M. Crochemore, editors, Proc. 14th Annual Symposium on Combinatorial Pattern Matching (CPM'03), Morelia, Mexico, June 2003, LNCS 2676, pages 70--82. Springer, 2003.
A. Artikis, M.J. Sergot, and J. Pitt.
An executable specification of an argumentation protocol. In Proc. 9th International Conference on Artificial Intelligence and Law (ICAIL'03), Edinburgh, pages 1--11. ACM Press, 2003.

2002

A.K. Daskalopulu and M.J. Sergot.
Computational aspects of the FLBC framework. Decision Support Systems, 33(3):267--290, July 2002.
A. Artikis, J. Pitt, and M.J. Sergot.
Animated specifications of computational societies. In Cristiano Castelfranchi and W. Lewis Johnson, editors, Proceedings 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'02), Bologna, July 2002, pages 1053--1062. ACM Press, 2002.
B. Sadighi Firozabadi, M.J. Sergot, and O. Bandemann.
Using authority certificates to create management structures. In Bruce Christianson, Bruno Crispo, James A. Malcolm, and Michael Roe, editors, Security Protocols. 9th International Workshop, Cambridge, April 2001, LNCS 2467, pages 134--145. Springer, 2002.
M.J. Sergot.
Bob Kowalski: A Portrait. In A. Kakas and F. Sadri, editors, Computational Logic: Logic Programming and Beyond. Essays in Honour of Robert A. Kowalski. Part I, LNAI 2407, pages 5--25. Springer, 2002.

2001

M.J. Sergot and F.M. Richards.
On the representation of action and agency in the theory of normative positions. Fundamenta Informaticae, 48(2--3):273--293, November 2001.
M.J. Sergot.
A computational theory of normative positions. ACM Transactions on Computational Logic, 2(4):581--622, October 2001.

1991 -- 2000

H. Prakken and M.J. Sergot.
Dyadic Deontic Logics and Contrary-to-duty Obligations. In Donald Nute, editor, Defeasible Deontic Logic, volume 263 of Synthese Library, pages 223--262. Kluwer Academic Publishers, Dordrecht, 1997.
H. Prakken and M.J. Sergot.
Contrary-to-duty obligations. Studia Logica, 57(1):91--115, 1996.
A.J.I. Jones and M.J. Sergot.
A formal characterisation of institutionalised power. Journal of the IGPL, 4(3):429--445, 1996. Reprinted in E.G. Valdès, W. Krawietz, G.H. von Wright, and R. Zimmerling, editors, Normative Systems in Legal and Moral Theory. Festschrift for Carlos E. Alchourrón and Eugenio Bulygin, pages 349--367. Duncker & Humboldt, Berlin, 1997.
P. Hammond and M.J. Sergot.
Computer support for protocol-based treatment of cancer. Journal of Logic Programming, 26(2):93--111, 1996.
F.N. Kesim and M.J. Sergot.
A logic programming framework for modelling temporal objects. IEEE Transactions on Knowledge and Data Engineering, 8(5):724--741, October 1996.
K.J. Dryllerakis and M.J. Sergot.
Representing systems of interacting components in EUCLID. In Proc. Math. & AI'96, Florida, January 1996.
M.J. Sergot.
Contributions of FGCS technology to applications in legal reasoning. Future Generation Computer Systems, 11:329--343, 1995.
A.K. Daskalopulu and M.J. Sergot.
A constraint-driven system for contract assembly. In Proc. Fifth International Conference on Artificial Intelligence and Law (ICAIL'95), University of Maryland, pages 62--70. ACM Press, 1995.
A.J.I. Jones and M.J. Sergot.
On the Characterisation of Law and Computer Systems: The Normative Systems Perspective. In John-Jules Ch. Meyer and Roel J. Wieringa, editors, Deontic Logic in Computer Science: Normative System Specification, chapter 12, pages 275--307. John Wiley & Sons, Chichester, England, 1993.
A.J.I. Jones and M.J. Sergot.
Deontic logic in the representation of law: Towards a methodology. Artificial Intelligence and Law, 1:45--64, 1992.
(Reprinted almost in its entirety as the first part of the Normative Systems Perspective paper.)
A.J.I. Jones and M.J. Sergot.
Formal specification of security requirements using the Theory of Normative Positions. In Y. Deswarte, G. Eizenberg, and J.-J. Quisquater, editors, Computer Security---ESORICS 92, LNCS 648, pages 103--121. Springer-Verlag, Berlin Heidelberg, 1992.
(Reprinted in its entirety as the second part of the Normative Systems Perspective paper.)
M.J. Sergot, A.S. Kamble, and K.K. Bajaj.
Indian Civil Service Pension Rules. In Proc. Third International Conference on Artificial Intelligence and Law (ICAIL'91), Oxford, pages 118--127. ACM Press, 1991.

1900 -- 1990

(These papers are not available electronically. Email m.sergot "at" imperial.ac.uk)

M.J. Sergot. The representation of law in computer programs: A survey and comparison.
In T.J.M. Bench-Capon, editor, Knowledge Based Systems and Legal Applications. Academic Press, London, 1990. Reprinted as Monograph CompLex Nr. 1/91 (Tano, Norway, 1991).
T.J.M. Bench-Capon and M.J. Sergot.
Towards a rule-based representation of open texture in law. In Charles Walter, editor, Computing Power and Legal Language, pages 39--60. Greenwood/Quorum Press, Westport, 1988.
M.J. Sergot.
Representing legislation as logic programs. In J.E. Hayes, D. Michie, and J. Richards, editors, Machine Intelligence 11, pages 209--260. Oxford University Press, Oxford, 1988.
T.J.M. Bench-Capon, G.O. Robinson, T.W. Routen, and M.J. Sergot.
Logic programming for large scale applications in law: A formalisation of Supplementary Benefit legislation. In Proc. 1st International Conference on Artificial Intelligence and Law, Boston, pages 190--198. ACM Press, 1987.
R.A. Kowalski and M.J. Sergot.
A logic-based calculus of events. New Generation Computing, 4(1):67--96, 1986. Reprinted in Thanos and Schmidt, editors, Foundations of Knowledge Based Management Systems, pages 23--53. Springer-Verlag, Heidelberg, 1989.
M.J. Sergot, F.Sadri, R.A. Kowalski, F.Kriwaczek, P.Hammond, and H.T. Cory.
The British Nationality Act as a logic program. Communications of the ACM, 29(5):370--386, May 1986.
D.M. Gabbay and M.J. Sergot.
Negation as inconsistency I. Journal of Logic Programming, 3(1):1--35, April 1986.
M.J. Sergot.
A query-the-user facility for logic programs. In P. Degano and E. Sandewall, editors, Intergrated Interactive Computer Systems, pages 27--44. North-Holland, Amsterdam, 1983. Reprinted in M. Yazdani, editor, New Horizons in Educational Computing, pages 145--163. Ellis Horwood, Chichester, 1984.
P. Hammond and M.J. Sergot.
A PROLOG shell for logic based expert systems. In Proc. BCS Conference on Expert Systems 83. British Computer Society, 1983.
M.J. Sergot.
Prospects for representing the law as logic programs. In K.L. Clark and S.Â. Tarnlund, editors, Logic Programming, pages 33--42. Academic Press, London, 1982.