A first-order conditional logic for prototypical properties
Artificial Intelligence
An approach to default reasoning based on a first-order conditional logic: revised report
Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
The logic of nonmonotonicity (research note)
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
What does a conditional knowledge base entail?
Proceedings of the first international conference on Principles of knowledge representation and reasoning
The probability of a possibility: adding uncertainty to default rules
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Modal logics for qualitative possibility and beliefs
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
A Two-Stage Approach to First Order Default Reasoning
Fundamenta Informaticae
Hi-index | 0.00 |
Recently, conditional logics have been developed for application to problems in default reasoning. We present a uniform framework for the development and investigation of conditional logics to represent and reason with "normality", and demonstrate these logics to be equivalent to extensions of the modal system S4. We also show that two conditional logics, recently proposed to reason with default knowledge, are equivalent to fragments of two logics developed in this framework.