✦ LIBER ✦

Scheduling in the situation calculus: A case study

✍ Scribed by Ray Reiter; Zheng Yuhua

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Situation Calculus: A Case for Modal

✍ Gerhard Lakemeyer 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 256 KB

Property persistence in the situation ca

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

Iterated belief change in the situation

✍ Steven Shapiro; Maurice Pagnucco; Yves Lespérance; Hector J. Levesque 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 389 KB

Non-Markovian control in the Situation C

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

Reasoning about time in the situation ca

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

Ability and Knowing How in the Situation

✍ Yves Lespérance; Hector J. Levesque; Fangzhen Lin; Richard B. Scherl 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 501 KB