Progression of Decomposed Situation Calculus Theories.

Denis K. Ponomaryov, Mikhail Soutchanski

Browse the full AAAI paper archive.