A logical framework for default reasoning
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
Artificial Intelligence - Special issue on knowledge representation
What does a conditional knowledge base entail?
Artificial Intelligence
Nonmonotonic inference based on expectations
Artificial Intelligence
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Nonmonotonic reasoning, conditional objects and possibility theory
Artificial Intelligence
A logical theory of nonmonotonic inference and belief change
A logical theory of nonmonotonic inference and belief change
Credulous Nonmonotonic Inference
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Non-monotonic Syntax-Based Entailment: A Classification of Consequence Relations
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
From Non-Monotonic Syntax-Based Entailment to Preference-Based Argumentation
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Possible Worlds Semantics for Credulous and Contraction Inference
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
General Theory of Cumulative Inference
Proceedings of the 2nd International Workshop on Non-Monotonic Reasoning
How to infer from inconsistent beliefs without revising
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |
We describe a uniform semantic representation for a number of systems of brave (credulous) nonmonotonic inference based on the notion of an epistemic state. A complete characterization for the main such systems is given. It turns out that both sceptical and credulous inference are representable syntactically as diverging extensions of the basic conditional logic suggested by van Benthem in [27].