Infinite Paths in the Situation Calculus: Axiomatization and Properties.

Shakil M. Khan Yves Lespérance

Published in: KR (2016)

Keyphrases

situation calculus
event calculus
action theories
concurrent actions
modal logic
initial state
reasoning about actions
fluent calculus
reasoning tasks
provably correct
logical language
logical theories
taxonomic reasoning