Nonmonotonic logic and temporal projection
Artificial Intelligence
Exploiting constraints in design synthesis
Exploiting constraints in design synthesis
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Reasoning about action I: a possible worlds approach
Artificial Intelligence
Miracles in formal theories of action
Artificial Intelligence
Autoepistemic logic and formalization of commonsense reasoning: preliminary report
Proceedings of the 2nd international workshop on Non-monotonic reasoning
A simple solution to the Yale shooting problem
Proceedings of the first international conference on Principles of knowledge representation and reasoning
The generalized theory of model preference
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Provably correct theories of action
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
We propose a solution to problems involving temporal projection and explanation (e.g., the Yale shooting problem) based on the idea that whether a situation is abnormal should not depend upon historical information about how the situation arose. We apply these ideas both to the Yale shooting scenario and to a blocks world domain that needs to address the qualification problem.