Nonmonotonic Reasoning in the Framework of Situation Calculus (1991)

by Andrew B. Baker
Venue:Artificial Intelligence