A Dynamic Logic of Normative Systems.

Andreas Herzig Emiliano Lorini Frédéric Moisan Nicolas Troquard

Published in: IJCAI (2011)

Keyphrases

dynamic logic
normative systems
multi agent systems
logical framework
modal logic
reasoning about actions
imperative programs
mental attitudes
propositional dynamic logic
first order logic
knowledge representation
graphical models
autonomous agents
inference rules