A Classification of First-Order Progressable Action Theories in Situation Calculus.

Stavros Vassos Fabio Patrizi

Published in: IJCAI (2013)

Keyphrases

action theories
situation calculus
initial state
reasoning about actions
action language
event calculus
incomplete information
universally quantified
fluent calculus
modal logic
concurrent actions
logical theories
object oriented