Progression of Decomposed Situation Calculus Theories.

Denis K. Ponomaryov Mikhail Soutchanski

Published in: AAAI (2013)

Keyphrases

situation calculus
action theories
logical theories
event calculus
initial state
action language
reasoning about actions
fluent calculus
concurrent actions
modal logic
modal operators
provably correct
reasoning tasks
logical language
agent programming
answer set programming
search space