Bounded Situation Calculus Action Theories.

Giuseppe De Giacomo Yves Lespérance Fabio Patrizi

Published in: CoRR (2015)

Keyphrases

situation calculus
action theories
event calculus
initial state
action language
modal logic
reasoning about actions
incomplete information
logic programs
concurrent actions