𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Property persistence in the situation calculus

✍ Scribed by Ryan F. Kelly; Adrian R. Pearce

Publisher
Elsevier Science
Year
2010
Tongue
English
Weight
330 KB
Volume
174
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

Iterated belief change in the situation
Iterated belief change in the situation calculus
✍ Steven Shapiro; Maurice Pagnucco; Yves LespΓ©rance; Hector J. Levesque πŸ“‚ Article πŸ“… 2011 πŸ› Elsevier Science 🌐 English βš– 389 KB
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