𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Non-Markovian control in the Situation Calculus

✍ Scribed by Alfredo Gabaldon

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

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

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