The Scientific Contribution of Marek Sergot

  • Steve Barker
  • Andrew J. I. Jones
  • Antonis Kakas
  • Robert A. Kowalski
  • Alessio Lomuscio
  • Rob Miller
  • Stephen Muggleton
  • Giovanni Sartor
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7360)

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.

Keywords

Access Control Logic Program Logic Programming Deontic Logic Access Control Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    Artikis, A., Sergot, M.J.: Executable specification of open multi-agent systems. Logic Journal of the IGPL 18(1), 31–65 (2010)MathSciNetMATHCrossRefGoogle Scholar
  3. 3.
    Artikis, A., Sergot, M.J., Pitt, J.: An executable specification of a formal argumentation protocol. Artificial Intelligence 171(10-15), 776–804 (2007)MathSciNetMATHCrossRefGoogle Scholar
  4. 4.
    Artikis, A., Sergot, M.J., Pitt, J.: Specifying norm-governed computational societies. ACM Transactions on Computational Logic 10(1) (2009)Google Scholar
  5. 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)CrossRefGoogle Scholar
  6. 6.
    Barker, S., Sergot, M.J., Wijesekera, D.: Status-based access control. ACM Trans. Inf. Syst. Secur. 12(1) (2008)Google Scholar
  7. 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. 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. 9.
    Craven, R., Sergot, M.J.: Agent strands in the action language nC +. Journal of Applied Logic 6(2), 172–191 (2008)MathSciNetMATHCrossRefGoogle Scholar
  10. 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. 11.
    Daskalopulu, A., Sergot, M.J.: A constraint-driven system for contract assembly. In: ICAIL, pp. 62–70 (1995)Google Scholar
  12. 12.
    Dayal, S., Johnson, P.: A web-based revolution in australian public administration. Journal of Information, Law and Technology 1 (2000)Google Scholar
  13. 13.
    Gabbay, D.M., Sergot, M.J.: Negation as inconsistency i. J. Log. Program. 3(1), 1–35 (1986)MathSciNetMATHCrossRefGoogle Scholar
  14. 14.
    Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153(1-2), 49–104 (2004)MathSciNetMATHCrossRefGoogle Scholar
  15. 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. 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)CrossRefGoogle Scholar
  17. 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)CrossRefGoogle Scholar
  18. 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. 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/BF00118478CrossRefGoogle Scholar
  20. 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. 21.
    Jones, A.J.I., Sergot, M.J.: A formal characterisation of institutionalised power. Logic Journal of the IGPL 4(3), 427–443 (1996)MathSciNetMATHCrossRefGoogle Scholar
  22. 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)CrossRefGoogle Scholar
  23. 23.
    Kowalski, R., Sergot, M.J.: A logic-based calculus of events. New Generation Computing 4(1), 67–96 (1986)CrossRefGoogle Scholar
  24. 24.
    Kowalski, R., Sergot, M.J.: The use of logical models in legal problem solving. Ratio Juris 3, 201–218 (1990)CrossRefGoogle Scholar
  25. 25.
    Lomuscio, A., Sergot, M.J.: Deontic interpreted systems. Studia Logica 75(1), 63–92 (2003)MathSciNetMATHCrossRefGoogle Scholar
  26. 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)MathSciNetCrossRefGoogle Scholar
  27. 27.
    Makinson, D.: On the formal representation of rights relations. Journal of Philosophical Logic 15, 403–425 (1986)MathSciNetMATHCrossRefGoogle Scholar
  28. 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)CrossRefGoogle Scholar
  29. 29.
    Prakken, H., Sergot, M.J.: Contrary-to-duty obligations. Studia Logica 57(1), 91–115 (1996)MathSciNetMATHCrossRefGoogle Scholar
  30. 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. 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. 32.
    Sergot, M.J.: A computational theory of normative positions. ACM Transactions on Computational Logic 2(4), 522–581 (2001)MathSciNetCrossRefGoogle Scholar
  33. 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. 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)CrossRefGoogle Scholar
  35. 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)CrossRefGoogle Scholar
  36. 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)CrossRefGoogle Scholar
  37. 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. 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. 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. 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. 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)CrossRefGoogle Scholar
  42. 42.
    Wolstenholme, D.E., O’Brien, C.M.: Glimpse - a statistical adventure. In: IJCAI, pp. 596–601 (1987)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Steve Barker
    • 1
  • Andrew J. I. Jones
    • 1
  • Antonis Kakas
    • 2
  • Robert A. Kowalski
    • 3
  • Alessio Lomuscio
    • 3
  • Rob Miller
    • 4
  • Stephen Muggleton
    • 3
  • Giovanni Sartor
    • 5
  1. 1.Department of InformaticsKing’s College LondonUK
  2. 2.Department of Computer ScienceUniversity of CyprusCyprus
  3. 3.Department of ComputingImperial College LondonUK
  4. 4.Department of Information StudiesUniversity College LondonUK
  5. 5.CIRSFIDUniversity of BolognaItaly

Personalised recommendations