Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Nonmonotonic logic and temporal projection
Artificial Intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
A simple solution to the Yale shooting problem
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Impediments to Universal preference-based default theories
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
Formal theories of action (preliminary report)
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
In this paper we present a purely semantic view on non-monotonic reasoning. We follow the direction pointed in [16] and claim that any nonmonotonic logic can be viewed as a result of transforming some base standard logic by a selection strategy defined on models. The generalized theory of model preference is shortly outlined here together with its use in modeling non-monotonic beliefs.