On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture.

Stavros Vassos, Hector J. Levesque

Browse the full AAAI paper archive.