Marek Sergot

Marek Sergot's research focuses on the computer representation of laws and regulations, the formalization of normative and institutional concepts, and the logics of action and agency. He has contributed to temporal database technology and logic-based agent models.