Imperial College London

ProfessorMarekSergot

Faculty of EngineeringDepartment of Computing

Consul for the Faculty of Engineering and Business School
 
 
 
//

Contact

 

+44 (0)20 7594 8218m.sergot Website

 
 
//

Location

 

446Huxley BuildingSouth Kensington Campus

//

Summary

 

Summary

Marek Sergot is Professor of Computational Logic and Head of the Logic and Artificial Intelligence Section in the Department of Computing. His research is in logic for knowledge representation, with particular interests in logics of action and agency, temporal reasoning, and normative reasoning. 

Selected Publications

Journal Articles

Artikis A, Sergot M, Paliouras G, 2015, An Event Calculus for Event Recognition, IEEE Transactions on Knowledge and Data Engineering, Vol:27, ISSN:1041-4347, Pages:895-908

Sergot, M., 2001, A computational theory of normative positions, ACM Transactions on Computational Logic, Vol:2, ISSN:1529-3785, Pages:581-622

Artikis A, Sergot M, Pitt J, 2009, Specifying Norm-Governed Computational Societies, ACM Transactions on Computational Logic, Vol:10, ISSN:1529-3785

Chapters

Sergot M, 2014, Some Examples Formulated in a 'Seeing to It That' Logic: Illustrations, Observations, Problems, Editor(s): Muller, SPRINGER INT PUBLISHING AG, Pages:223-256, ISBN:978-3-319-01753-2

More Publications