Marek Sergot
Address:
Department of Computing,
Imperial College,
180 Queen's Gate,
London SW7 2BZ,
England.
Phone: +44-171-594-8218
Email:mjs@doc.ic.ac.uk
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]