Towards an Expressive Decidable Logical Action Theory.

Wael Yehia Mikhail Soutchanski

Published in: CogRob@AAAI (2012)

Keyphrases

action theories
situation calculus
model theoretic
initial state
reasoning about actions
incomplete information
action language
deductive databases
domain description
database systems
probability distribution
modal logic