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

Open in new window