Decidable Reasoning in a Modified Situation Calculus.

Yilan Gu, Mikhail Soutchanski

Browse the full IJCAI paper archive.