Bounded Situation Calculus Action Theories and Decidable Verification.

Giuseppe De Giacomo Yves Lespérance Fabio Patrizi

Published in: CogRob@AAAI (2012)

Keyphrases

action theories
situation calculus
initial state
event calculus
model checking
action language
reasoning about actions
incomplete information
modal logic
bayesian networks
logic programming