Marek Sergot

Department of Computing
Imperial College London

Selected Publications

2014

Marek Sergot.
Some examples formulated in a 'seeing to it that' logic: Illustrations, observations, problems. In Thomas Muller, editor, Nuel Belnap on Indeterminism and Free Action, pages 223--256. Springer Open, 2014.

2013

Marek Sergot.
Normative Positions. In Dov Gabbay, John Horty, Ron van der Meyden, Xavier Parent, and Leendvert van der Torre, editors, Handbook of Deontic Logic and Normative Systems, Chapter 5, pages 353--406. College Publications, 2013.
Alexander Artikis, Marek Sergot, and Georgios Paliouras.
A logic-based approach to activity recognition. In Hans W. Guesgen and Stephen Marsland, editors, Human Behavior Recognition Technologies: Intelligent Applications for Monitoring and Security, Chapter 1, pages 1--13. Information Science Reference, 2013.
W.W.B. Goh, M. Fan, H.S. Low, M. Sergot, and L. Wong.
Enhancing the utility of Proteomics Signature Profiling (PSP) with Pathway Derived Subnets (PDSs), performance analysis and specialised ontologies. BMC Genomics 14(1):35, 2013.
Wilson Wen Bin Goh, Marek J. Sergot, Judy C. G. Sng, and Limsoon Wong.
Comparative network-based recovery analysis and proteomic profiling of neurological changes in valproic acid-treated mice. Journal of Proteome Research 12(5):2116--2127, 2013.
Correction to "Comparative network-based recovery analysis and proteomic profiling of neurological changes in valproic acid-treated mice". Journal of Proteome Research 12(10):4650--4650, 2013.
Marek Sergot.
FuzziCalc: The Fuzzy Logic Spreadsheet . In Katie Atkinson, Henry Prakken, and Adam Wyner, editors, From Knowledge Representation to Argumentation in AI, Law and Policy Making: A Festschrift in Honour of Trevor Bench-Capon on the Occasion of his 60th Birthday. Tributes 21, pages 235--242, College Publications, 2013.

2012

A. Artikis, M. Sergot, and G. Paliouras.
Run-time composite event recognition. In Proc. International Conference on Distributed Event-Based Systems (DEBS) pages 69--80. ACM, 2012.
W.W.B. Goh, Y.H. Lee, Z.M. Ramdzan, M.J. Sergot, M. Chung, and L. Wong.
Proteomics Signature Profiling (PSP): A novel contextualization approach for cancer proteomics. Journal of Proteome Research 11(3):1571--1581, 2012.
W.W.B. Goh, H. Oikawa, J.C.G. Sng, M. Sergot, and L. Wong.
The role of miRNAs in complex formation and control. Bioinformatics 28(4):453--456, 2012.
W.W.B. Goh, Y.H. Lee, Z.M. Ramdzan, M.C.M. Chung, L. Wong, and M.J. Sergot.
A network-based maximum link approach towards MS identifies potentially important roles for undetected ARRB1/2 and ACTB in liver cancer progression. International Journal of Bioinformatics Research and Applications 8(3/4):155--170, 2012.

2010

A. Artikis and M. Sergot.
Executable specification of open multi-agent systems. Logic Journal of the IGPL 18(1):31--65, 2010.
A. Artikis, M. Sergot, and G. Paliouras.
A logic programming approach to activity recognition. In Proc. ACM Workshop on Events in Multimedia 2010.

2009

Alexander Artikis, Marek Sergot, and Jeremy Pitt.
Specifying Norm-governed Computational Societies. ACM Transactions on Computational Logic 10(1):1--42, January 2009.

2008

Robert Craven and Marek Sergot.
Agent strands in the action language nC+. Journal of Applied Logic 6(2):172--191, June 2008.
Marek Sergot.
Action and agency in norm-governed multi-agent systems. In A. Artikis, G.M.P. O'Hare, K. Stathis, and G. Vouros, editors, Engineering Societies in the Agents World VIII. 8th Annual International Workshop, ESAW 2007, Athens, October 2007, Revised Selected Papers. LNCS 4995, pages 1--54. Springer, 2008.
Marek Sergot.
The Logic of Unwitting Collective Agency. Technical Report 2008/6, Department of Computing, Imperial College London, 2008.
Steve Barker, Marek Sergot, and Duminda Wijesekera.
Status-based access control. ACM Transactions on Information and System Security 12(1):1--47, 2008.

2007

A. Lomuscio, H. Qu, M. Sergot, and M. Solanki.
Verifying temporal and epistemic properties of web service compositions. In Proc. 5th International Conference on Service-Oriented Computing (ICSOC'07), Vienna, September 2007. LNCS 4749, pages 456--461. Springer Verlag, 2007.
Andrew D. H. Farrell, Marek Sergot, and Claudio Bartolini.
Formalising workflow: A CCS-inspired characterisation of the YAWL Workflow Patterns. Group Decision and Negotiation 16(3):213--254, May 2007.
Alexander Artikis, Marek Sergot, and Jeremy Pitt.
An executable specification of a formal argumentation protocol. Artificial Intelligence 171(10--15):776--804, July--October 2007.

2006

Marek Sergot and Robert Craven.
The deontic component of action language nC+. In L. Goble and J-J. Ch. Meyer, editors, Deontic Logic and Artificial Normative Systems. Proc. 8th International Workshop on Deontic Logic in Computer Science (DEON'06), Utrecht, July 2006. LNAI 4048, pages 222--237. Springer Verlag, 2006.
Babak Sadighi Firozabadi and Marek Sergot.
The role of agreements in virtual organisations. Scandinavian Studies in Law 49:297--303, April 2006.
Jeremy Pitt, Lloyd Kamara, Marek Sergot, and Alexander Artikis.
Voting in Multi-Agent Systems. The Computer Journal 49(2):156--170, March 2006.
Benjamin R. Jefferys, Lawrence A. Kelley, Marek J. Sergot, John Fox, and Michael J. E. Sternberg.
Capturing expert knowledge with argumentation: a case study in bioinformatics. Bioinformatics 22(8):924--933, 2006.

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 . LNAI 3662, pages 198--210, Springer, 2005.
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 . LNAI 3662, pages 389--393, Springer, 2005.
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.