Towards an Expressive Decidable Logical Action Theory.

Wael Yehia Mikhail Soutchanski

Published in: Description Logics (2012)

Keyphrases

action theories
situation calculus
model theoretic
initial state
reasoning about actions
incomplete information
action language
probabilistic logic
state space
deductive databases
machine learning
natural language
domain description