Skip to main content
SpringerLink
Log in

The Scientific Contribution of Marek Sergot

  • Chapter
Logic Programs, Norms and Action

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7360))

  • 697 Accesses

Abstract

Marek Sergot’s technical contributions range over different subjects. He has developed a series of novel ideas and formal methods bridging different research domains, such as artificial intelligence, computational logic, philosophical logic, legal theory, artificial intelligence and law, multi-agent systems and bioinformatics.

By combining his background in logic and computing with his interest in the law, deontic logic, action, and related areas, and applying to all his capacity to understand the subtleties of social interactions and normative reasoning, Marek has been able to open new directions of research, and has been a reference, an inspiration, and a model for many researchers in the many fields in which he has worked.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allen, L.E.: Towards a normalized language to clarify the structure of legal discourse. In: Deontic Logic, Computational Linguistics and Legal Information Systems, vol. II, pp. 349–407. North Holland, Amsterdam (1982)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  3. Artikis, A., Sergot, M.J., Pitt, J.: An executable specification of a formal argumentation protocol. Artificial Intelligence 171(10-15), 776–804 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  4. Artikis, A., Sergot, M.J., Pitt, J.: Specifying norm-governed computational societies. ACM Transactions on Computational Logic 10(1) (2009)

    Google Scholar 

  5. Artikis, A., Sergot, M.J., Paliouras, G.: A logic programming approach to activity recognition. In: Proceedings of the 2nd ACM International Workshop on Events in Multimedia, EiMM 2010, pp. 3–8. ACM, New York (2010)

    Chapter  Google Scholar 

  6. Barker, S., Sergot, M.J., Wijesekera, D.: Status-based access control. ACM Trans. Inf. Syst. Secur. 12(1) (2008)

    Google Scholar 

  7. Bench-Capon, T.J.M., Sergot, M.J.: Towards a rule-based representation of open texture in law. In: Walter, C. (ed.) Computing Power and Legal Language, pp. 39–60. Greenwood/Quorum Press (1988)

    Google Scholar 

  8. Bench-Capon, T.J.M., Robinson, G.O., Routen, T., Sergot, M.J.: Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation. In: ICAIL, pp. 190–198 (1987)

    Google Scholar 

  9. Craven, R., Sergot, M.J.: Agent strands in the action language nC +. Journal of Applied Logic 6(2), 172–191 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  10. Craven, R., Lobo, J., Ma, J., Russo, A., Lupu, E.C., Bandara, A.K.: Expressive policy analysis with enhanced system dynamicity. In: ASIACCS, pp. 239–250 (2009)

    Google Scholar 

  11. Daskalopulu, A., Sergot, M.J.: A constraint-driven system for contract assembly. In: ICAIL, pp. 62–70 (1995)

    Google Scholar 

  12. Dayal, S., Johnson, P.: A web-based revolution in australian public administration. Journal of Information, Law and Technology 1 (2000)

    Google Scholar 

  13. Gabbay, D.M., Sergot, M.J.: Negation as inconsistency i. J. Log. Program. 3(1), 1–35 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  14. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153(1-2), 49–104 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  15. Hammond, P., Sergot, M.J.: A PROLOG shell for logic based expert systems. In: Proc. BCS Conference on Expert Systems 1983, pp. 95–104. British Computer Society (1983)

    Google Scholar 

  16. Huntley, D., Baldo, A., Johri, S., Sergot, M.J.: Sean: Snp prediction and display program utilizing est sequence clusters. Bioinformatics 22(4), 495–496 (2006)

    Article  Google Scholar 

  17. Jefferys, B.R., Kelley, L.A., Sergot, M.J., Fox, J., Sternberg, M.J.E.: Capturing expert knowledge with argumentation: a case study in bioinformatics. Bioinformatics 22(8), 924–933 (2006)

    Article  Google Scholar 

  18. Jones, A., Sergot, M.J.: On the characterisation of law and computer systems: the normative systems perspective. In: Deontic Logic in Computer Science: Normative System Specification, pp. 275–307. J. Wiley and Sons (1993)

    Google Scholar 

  19. Jones, A.J.I., Sergot, M.J.: Deontic logic in the representation of law: Towards a methodology. Artificial Intelligence and Law 1, 45–64 (1992), doi:10.1007/BF00118478

    Article  Google Scholar 

  20. Jones, A.J.I., Sergot, M.J.: Formal Specification of Security Requirements using the Theory of Normative Positions. In: Deswarte, Y., Quisquater, J.-J., Eizenberg, G. (eds.) ESORICS 1992. LNCS, vol. 648, pp. 103–121. Springer, Heidelberg (1992)

    Google Scholar 

  21. Jones, A.J.I., Sergot, M.J.: A formal characterisation of institutionalised power. Logic Journal of the IGPL 4(3), 427–443 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  22. Nihan Kesim, F., Sergot, M.J.: A logic programming framework for modeling temporal objects. IEEE Trans. Knowl. Data Eng. 8(5), 724–741 (1996)

    Article  Google Scholar 

  23. Kowalski, R., Sergot, M.J.: A logic-based calculus of events. New Generation Computing 4(1), 67–96 (1986)

    Article  Google Scholar 

  24. Kowalski, R., Sergot, M.J.: The use of logical models in legal problem solving. Ratio Juris 3, 201–218 (1990)

    Article  Google Scholar 

  25. Lomuscio, A., Sergot, M.J.: Deontic interpreted systems. Studia Logica 75(1), 63–92 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  26. Lomuscio, A., Sergot, M.J.: A formulation of violation, error recovery, and enforcement in the bit transmission problem. Journal of Applied Logic 2(1), 93–116 (2003)

    Article  MathSciNet  Google Scholar 

  27. Makinson, D.: On the formal representation of rights relations. Journal of Philosophical Logic 15, 403–425 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  28. Papatheodorou, I., Kakas, A.C., Sergot, M.J.: Inference of Gene Relations from Microarray Data by Abduction. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 389–393. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  29. Prakken, H., Sergot, M.J.: Contrary-to-duty obligations. Studia Logica 57(1), 91–115 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  30. Prakken, H., Sergot, M.J.: Dyadic deontic logics and contrary-to-duty obligations. In: Defeasible Deontic Logic. Kluwer Academic Publishers (1997)

    Google Scholar 

  31. Sergot, M.J.: A query-the-user facility for logic programs. In: Yazdani, M. (ed.) New Horizons in Educational Computing. Ellis Horwood, Chichester (1984)

    Google Scholar 

  32. Sergot, M.J.: A computational theory of normative positions. ACM Transactions on Computational Logic 2(4), 522–581 (2001)

    Article  MathSciNet  Google Scholar 

  33. Sergot, M.J.: \((\mathcal{C}+)^{++}\): An action language for modelling norms and institutions. In: Technical Report 2004/8, Department of Computing, Imperial College London (2004)

    Google Scholar 

  34. Sergot, M.J.: Action and Agency in Norm-Governed Multi-Agent Systems. In: Artikis, A., O’Hare, G.M.P., Stathis, K., Vouros, G.A. (eds.) ESAW 2007. LNCS (LNAI), vol. 4995, pp. 1–54. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  35. Sergot, M.J., Craven, R.: The Deontic Component of Action Language nC +. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 222–237. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  36. Sergot, M.J., Sadri, F., Kowalski, R., Kriwaczek, F., Hammond, P., Cory, H.: The British Nationality Act as a logic program. Communications of the ACM 29(5), 370–386 (1988)

    Article  Google Scholar 

  37. Sergot, M.J.: Prospects for representing the law as logic programs. In: Clark, K.L., Tarnlund, S.Â. (eds.) Logic Programming, pp. 33–42 (1982)

    Google Scholar 

  38. Sergot, M.J.: Sergot. Normative positions. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems, pp. 289–308. IOS, Amsterdam (1999)

    Google Scholar 

  39. Sergot, M.J., Kamble, A.S., Bajaj, K.K.: Indian central civil service pension rules: A case study in logic programming applied to regulations. In: ICAIL, pp. 118–127 (1991)

    Google Scholar 

  40. Stathis, K., Sergot, M.J.: Games as a metaphor for interactive systems. In: Sasse, M.A., Cunningham, J., Winder, R.L. (eds.) People and Computers XI, Proceedings of HCI 1996, London, UK, pp. 19–33. Springer (1996)

    Google Scholar 

  41. Toni, F., Sergot, M.J.: Argumentation and Answer Set Programming. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol. 6565, pp. 164–180. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  42. Wolstenholme, D.E., O’Brien, C.M.: Glimpse - a statistical adventure. In: IJCAI, pp. 596–601 (1987)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, King’s College London, UK

    Steve Barker & Andrew J. I. Jones

  2. Department of Computer Science, University of Cyprus, Cyprus

    Antonis Kakas

  3. Department of Computing, Imperial College London, UK

    Robert A. Kowalski, Alessio Lomuscio & Stephen Muggleton

  4. Department of Information Studies, University College London, UK

    Rob Miller

  5. CIRSFID, University of Bologna, Italy

    Giovanni Sartor

Authors
  1. Steve Barker
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrew J. I. Jones
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Antonis Kakas
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Robert A. Kowalski
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Alessio Lomuscio
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Rob Miller
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Stephen Muggleton
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Giovanni Sartor
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software and Knowledge Engineering Laboratory, Institute of Informatics and Telecommunications, National Centre for Scientific Research ’Demokritos’, 15310, Athens, Greece

    Alexander Artikis

  2. Department of Computing, Imperial College London, 180 Queen’s Gate, SW7 2AZ, London, UK

    Robert Craven

  3. Department of Computer Engineering, Middle East Technical University, Dumlupınar Bulvarı No. 1, 06800, Çankaya, Ankara, Turkey

    Nihan Kesim Çiçekli

  4. Axiomatics AB, Box 2157, 103 14, Stockholm, Sweden

    Babak Sadighi

  5. Royal Holloway, University of London, UK

    Kostas Stathis

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Barker, S. et al. (2012). The Scientific Contribution of Marek Sergot. In: Artikis, A., Craven, R., Kesim Çiçekli, N., Sadighi, B., Stathis, K. (eds) Logic Programs, Norms and Action. Lecture Notes in Computer Science(), vol 7360. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29414-3_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29414-3_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29413-6

  • Online ISBN: 978-3-642-29414-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation