Closed-world databases and circumscription
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
A theory of diagnosis from first principles
Artificial Intelligence
A logical framework for default reasoning
Artificial Intelligence
Moments and points in an interval-based temporal logic
Computational Intelligence
Logic programs with classical negation
Logic programming
Conditional entailment: bridging two approaches to default reasoning
Artificial Intelligence
Reasoning about priorities in default logic
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Compiling specificity into approaches to nonmonotonic reasoning
Artificial Intelligence
Foundations of logic programming
Principles of knowledge representation
Answer sets for prioritized logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Artificial Intelligence
Compiling defeasible inheritance networks to general logic programs
Artificial Intelligence
The role of default logic in knowledge representation
Logic-based artificial intelligence
Knowledge Representation with Logic Programs
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
Reasoning with Prioritized Defaults
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
Adding Priorities and Specificity to Default Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
An Implementation Platform for Query-Answering: X-RAY
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Reasoning with Sets of Preferences in Default Logic
PRICAI '98 Proceedings of the 5th Pacific Rim International Conference on Artificial Intelligence: Topics 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
Well-founded semantics for extended logic programs with dynamic preferences
Journal of Artificial Intelligence Research
Compiling reasoning with and about preferences into default logic
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
The role of default logic in knowledge representation
Logic-based artificial intelligence
A Compilation of Brewka and Eiter's Approach to Prioritization
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
A semantic framework for preference handling in answer set programming
Theory and Practice of Logic Programming
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming
Hi-index | 0.00 |
Various researchers in Artificial Intelligence have advocated formal logic as an analytical tool and as a formalism for the representation of knowledge. Our thesis in this paper is that commonsense reasoning frequently has a nonmonotonic aspect, either explicit or implicit, and that to this end Default Logic (DL) provides an appropriate elaboration of classical logic for the modeling of such phenomena. That is, DL is a very general, flexible, and powerful approach to nonmonotonic reasoning, and its very generality and power makes it suitable as a tool for modeling a wide variety of applications. We propose a general methodology for using Default Logic, involving the naming of default rules and the introduction of special-purpose predicates, for detecting conditions for default rule applicability and controlling a rule's application. This allows the encoding of specific strategies and policies governing the set of default rules. Here we show that DL can be used to formalize preferences among properties and the inheritance of default properties, and so we essentially use DL to axiomat