Reactive Kripke models and contrary to duty obligations. Part A: Semantics.

Published in: J. Appl. Log. (2013)

Keyphrases

kripke models
modal logic
action theories
multi agent
situation calculus
temporal logic
nonmonotonic logics
decision procedures
deontic logic
learning algorithm
natural language