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
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)
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
On the semantics of supernormal defaults
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Credulous nonmonotonic inference
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Brave Nonmonotonic Inference and Its Kinds
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
A possible worlds semantics is suggested for a broad class of nonmonotonic inference relations, including not only traditional skeptical ones, but also credulous and contraction inference. The semantics could be used to provide a canonical framework for studying and comparing different kinds of nonmonotonic inference.