✦ LIBER ✦

Ability and Knowing How in the Situation Calculus

✍ Scribed by Yves Lespérance; Hector J. Levesque; Fangzhen Lin; Richard B. Scherl

Book ID: 111568024
Publisher: Springer Netherlands
Year: 2000
Tongue: English
Weight: 501 KB
Volume: 66
Category: Article
ISSN: 0039-3215
DOI: 10.1023/a:1026761331498

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Property persistence in the situation ca

Property persistence in the situation calculus

✍ Ryan F. Kelly; Adrian R. Pearce 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 330 KB

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

Non-Markovian control in the Situation C

Non-Markovian control in the Situation Calculus

✍ Alfredo Gabaldon 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 335 KB

Reasoning about time in the situation ca

Reasoning about time in the situation calculus

✍ Javier Pinto; Raymond Reiter 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 933 KB

Knowledge and abilities: The need for a

Knowledge and abilities: The need for a new understanding of knowing-how

✍ Eva-Maria Jung; Albert Newen 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 226 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