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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Artikis, A., Sergot, M.J.: Executable specification of open multi-agent systems. Logic Journal of the IGPL 18(1), 31–65 (2010)
Artikis, A., Sergot, M.J., Pitt, J.: An executable specification of a formal argumentation protocol. Artificial Intelligence 171(10-15), 776–804 (2007)
Artikis, A., Sergot, M.J., Pitt, J.: Specifying norm-governed computational societies. ACM Transactions on Computational Logic 10(1) (2009)
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)
Barker, S., Sergot, M.J., Wijesekera, D.: Status-based access control. ACM Trans. Inf. Syst. Secur. 12(1) (2008)
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)
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)
Craven, R., Sergot, M.J.: Agent strands in the action language nC +. Journal of Applied Logic 6(2), 172–191 (2008)
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)
Daskalopulu, A., Sergot, M.J.: A constraint-driven system for contract assembly. In: ICAIL, pp. 62–70 (1995)
Dayal, S., Johnson, P.: A web-based revolution in australian public administration. Journal of Information, Law and Technology 1 (2000)
Gabbay, D.M., Sergot, M.J.: Negation as inconsistency i. J. Log. Program. 3(1), 1–35 (1986)
Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153(1-2), 49–104 (2004)
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)
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)
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)
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)
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
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)
Jones, A.J.I., Sergot, M.J.: A formal characterisation of institutionalised power. Logic Journal of the IGPL 4(3), 427–443 (1996)
Nihan Kesim, F., Sergot, M.J.: A logic programming framework for modeling temporal objects. IEEE Trans. Knowl. Data Eng. 8(5), 724–741 (1996)
Kowalski, R., Sergot, M.J.: A logic-based calculus of events. New Generation Computing 4(1), 67–96 (1986)
Kowalski, R., Sergot, M.J.: The use of logical models in legal problem solving. Ratio Juris 3, 201–218 (1990)
Lomuscio, A., Sergot, M.J.: Deontic interpreted systems. Studia Logica 75(1), 63–92 (2003)
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)
Makinson, D.: On the formal representation of rights relations. Journal of Philosophical Logic 15, 403–425 (1986)
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)
Prakken, H., Sergot, M.J.: Contrary-to-duty obligations. Studia Logica 57(1), 91–115 (1996)
Prakken, H., Sergot, M.J.: Dyadic deontic logics and contrary-to-duty obligations. In: Defeasible Deontic Logic. Kluwer Academic Publishers (1997)
Sergot, M.J.: A query-the-user facility for logic programs. In: Yazdani, M. (ed.) New Horizons in Educational Computing. Ellis Horwood, Chichester (1984)
Sergot, M.J.: A computational theory of normative positions. ACM Transactions on Computational Logic 2(4), 522–581 (2001)
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)
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)
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)
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)
Sergot, M.J.: Prospects for representing the law as logic programs. In: Clark, K.L., Tarnlund, S.Â. (eds.) Logic Programming, pp. 33–42 (1982)
Sergot, M.J.: Sergot. Normative positions. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems, pp. 289–308. IOS, Amsterdam (1999)
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)
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)
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)
Wolstenholme, D.E., O’Brien, C.M.: Glimpse - a statistical adventure. In: IJCAI, pp. 596–601 (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)