| CARVIEW |
Select Language
HTTP/1.1 302 Found
Date: Wed, 31 Dec 2025 21:48:18 GMT
Server: Apache
Strict-Transport-Security: max-age=31536000; preload; includeSubDomains
Location: https://www.doc.ic.ac.uk/~mjs/
Content-Length: 281
Content-Type: text/html; charset=iso-8859-1
HTTP/1.1 200 OK
Date: Wed, 31 Dec 2025 21:48:18 GMT
Server: Apache
Strict-Transport-Security: max-age=31536000; preload; includeSubDomains
Last-Modified: Tue, 03 Oct 2017 16:04:01 GMT
ETag: "ae6-55aa6a3ba5184-gzip"
Accept-Ranges: bytes
Vary: Accept-Encoding
Content-Encoding: gzip
Content-Length: 1138
Content-Type: text/html
Dept. of Computing, Imperial College, London: Marek Sergot Home Page
|
Marek Sergot
Professor of Computational Logic Department of Computing Imperial College London 180 Queen's Gate, London SW7 2BZ, UK. Tel: +44 (0)20 7594 8218. Fax: +44 (0)20 7581 8024 Email: mjs "at" doc.ic.ac.uk |
|
Research Interests
- Logic for knowledge representation and specification of computer
systems
- logics of action and agency
- temporal reasoning
- normative reasoning
- legal reasoning
- formal theories of organisations
Selected Publications
Teaching
-
276 Introduction to Prolog (2015-16) . For teaching materials see CATE