On First-Order μ-Calculus over Situation Calculus Action Theories.

Diego Calvanese Giuseppe De Giacomo Marco Montali Fabio Patrizi

Published in: KR (2016)

Keyphrases

action theories
situation calculus
provably correct
event calculus
initial state
action language
reasoning about actions
incomplete information
modal logic
logical theories
universally quantified
multistage
dynamic programming