A Classification of First-Order Progressable Action Theories in Situation Calculus.

Stavros Vassos, Fabio Patrizi

Browse the full IJCAI paper archive.