Bounded Situation Calculus Action Theories and Decidable Verification.

Giuseppe De Giacomo Yves Lespérance Fabio Patrizi

Published in: KR (2012)

Keyphrases

action theories
situation calculus
initial state
event calculus
reasoning about actions
action language
modal logic
incomplete information
concurrent actions
multiagent systems
model checking
universally quantified
reinforcement learning