𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Iterated belief change in the situation calculus

✍ Scribed by Steven Shapiro; Maurice Pagnucco; Yves Lespérance; Hector J. Levesque

Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
389 KB
Volume
175
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Nonmonotonic reasoning in the framework
Nonmonotonic reasoning in the framework of situation calculus
✍ Andrew B. Baker 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 936 KB

Baker, A.B., Nonmonotonic reasoning in the framework of situation calculus, Artificial Intelligence 49 (1991) 5-23. Most of the solutions proposed to the Yale shooting problem have either introduced new nonmonotonic reasoning methods (generally involving temporal priorities) or completely reformula

Proving properties of states in the situ
Proving properties of states in the situation calculus
✍ Raymond Reiter 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 653 KB

Reiter, R., Proving properties of states in the situation calculus (Research Note), Artificial Intelligence 64 (1993) 337-351. In the situation calculus, it is sometimes necessary to prove that certain properties are true in all world states accessible from the initial state. This is the case for s