𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Reasoning about time in the situation calculus

✍ Scribed by Javier Pinto; Raymond Reiter

Publisher
Springer Netherlands
Year
1995
Tongue
English
Weight
933 KB
Volume
14
Category
Article
ISSN
1012-2443

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

Reasoning about action in polynomial tim
Reasoning about action in polynomial time
✍ Thomas Drakengren; Marcus BjΓ€reland πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 196 KB

Although many formalisms for reasoning about action exist, surprisingly few approaches have taken computational complexity into consideration. The contributions of this article are the following: a temporal logic with a restriction for which deciding satisfiability is tractable, a tractable extensio

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