Semantical considerations on nonmonotonic logic
Artificial Intelligence
A logical framework for default reasoning
Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Hierarchic autoepistemic theories for non-monotonic reasoning: preliminary report
Proceedings of the 2nd international workshop on Non-monotonic reasoning
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Formalization of inheritance reasoning in autoepistemic logic
Fundamenta Informaticae
Artificial Intelligence - Special issue on knowledge representation
What does a conditional knowledge base entail?
Artificial Intelligence
A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
Conditional entailment: bridging two approaches to default reasoning
Artificial Intelligence
Artificial Intelligence
Nonmonotonic inference based on expectations
Artificial Intelligence
Some direct theories of nonmonotonic inheritance
Handbook of logic in artificial intelligence and logic programming (vol. 3)
A preference-based approach to default reasoning: preliminary report
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Prioritized Autoepistemic Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Adding Priorities and Specificity to Default Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge
The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
Complexity of argument-based default reasoning with specificity
AI Communications
A semantic framework for preference handling in answer set programming
Theory and Practice of Logic Programming
Complexity of argument-based default reasoning with specificity
AI Communications
Default Logics with Preference Order: Principles and Characterisations
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A comparative study of logic programs with preference
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Challenges for action theories
Challenges for action theories
Nonmonotonic reasoning and formal software development
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
The applicability of lexicographic comparison in nonmonotonic reasoning with specificity is investigated. A priority mechanism based on lexicographic comparison is defined for Rciter's default logic. The following principle - earlier used by Geffner and Pearl in conditional entailment - is used as the basis for specificity-based priorities for normal default theories for each rule there is a context where it may not be defeated by any other rule. A method for computing priorities according to the principle is given Connection to earlier work is discussed.