Thomas Ågotnes
- On the Logic of Normative Systems
2007/01/01 by Thomas Ågotnes, Ågotnes, Thomas, Wiebe van der Hoek +7 · 1 citation
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Normative systems #Semantic Web and Ontologies #deontic logic #normative temporal logic