Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Nonmonotonic logic and temporal projection
Artificial Intelligence
Problems in formal temporal reasoning
Artificial Intelligence
Miracles in formal theories of action
Artificial Intelligence
Frames in the space of situations (research note)
Artificial Intelligence
A simple solution to the Yale shooting problem
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Temporal projection and explanation
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A qualitative Markov assumption and its implications for belief change
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
| Hi-index | 0.00 |
Research on nonmonotonic temporal reasoning in general, and the Yale Shooting Problem in particular, has suffered from the absence of a criterion against which to evaluate solutions. Indeed, researchers in the area disagree not only on the solutions but also on the problems. We propose a formal yet intuitive criterion by which to evaluate theories of actions, define a monotonic class of theories that satisfy this criterion, and then provide their provably-correct nonmonotonic counterpart.