Nonmonotonic Reasoning in the Framework of Situation Calculus

Andrew B. Baker. Nonmonotonic Reasoning in the Framework of Situation Calculus. Artificial Intelligence, 49(1-3):5-23, 1991.

Abstract

Abstract is missing.