Marek Sergot

Research Interests

• Logic for knowledge representation and specification of computer systems
  • legal reasoning
  • temporal reasoning
  • logic of action
  • normative reasoning
  • formal theory of organisations

Some Recent Papers

• A.J.I. Jones, M.J. Sergot. On the Characterisation of Law and Computer Systems: The Normative Systems Perspective. Ch. 12 in Deontic Logic in Computer Science: Normative System Specification , J.-J.Ch. Meyer and R.J. Wieringa (eds), John Wiley and Sons, 1993. [abstract]

• H. Prakken, M.J. Sergot. Contrary-to-duty Obligations. Studia Logica 57(1/2):91--115 (1996). [abstract]

• A.J.I. Jones, M.J. Sergot. A Formal Characterisation of Institutionalised Power. Journal of the IGPL 4(3):429--445 (June 1996). [abstract]

• P. Hammond, M.J. Sergot. Computer Support for Protocol-Based Treatment of Cancer. J. Logic Programming 26(2):93--111 (Feb. 1996). [abstract]

• F.N. Kesim, M.J. Sergot. A Logic Programming Framework for Modelling Temporal Objects. IEEE Transactions on Knowledge and Data Engineering 8(5):724--741 (Oct. 1996). [abstract]

• A.K. Daskalopulu, M.J. Sergot. A Constraint-Driven System for Contract Assembly. Proc. Fifth International Conference on AI and Law , Univ. of Maryland, May 1995. ACM Press, pp 62--70. [abstract]