British computer scientist at Imperial College who has worked on the logical representation of normative systems, deontic logic, and their applications to AI and law.
Contributed to the formalization of legal texts in logic programming (early work on representing the British Nationality Act in Prolog); deontic logic and normative reasoning in AI.
Discussing
Ask anything about Marek Sergot — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.