in a Modal Logic of Intentional Action.

Emiliano Lorini Andreas Herzig Cristiano Castelfranchi

Published in: JELIA (2006)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
situation calculus
dynamic logic
conditional logic
classical logic
explanation based generalization
epistemic logic
default logic
model checking
initial state
prime implicates
dynamic programming
reasoning about actions
human actions