Semantical considerations on nonmonotonic logic
Artificial Intelligence
The British Nationality Act as a logic program
Communications of the ACM
Formalizing nonmonotonic reasoning systems
Artificial Intelligence
AI Magazine
Hard problems for simple default logics
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Cumulative default logic: in defense of nonmonotonic inference rules
Artificial Intelligence
On constrained default theories
ECAI '92 Proceedings of the 10th European conference on 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)
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Handbook of logic in artificial intelligence and logic programming (vol. 3)
EVID: a system for interactive defeasible reasoning
Decision Support Systems - Special issue on logic modeling
Decision Support Systems - Special issue on logic modeling
Alternative approaches to default logic
Artificial Intelligence
Reasoning about priorities in default logic
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Is intractability of non-monotonic reasoning a real drawback?
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
ICSE '91 Proceedings of the 13th international conference on Software engineering
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Introduction to Default Logic
Reasoning with Incomplete Information
Reasoning with Incomplete Information
Identifying Quality-Requirement Conflicts
IEEE Software
Lemma Handling in Default Logic Theorem Provers
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Exten: A System for Computing Default Logic Extensions
PRICAI '96 Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence: Topics in Artificial Intelligence
A Framework for Reasoning about Requirements Evolution
PRICAI '96 Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence: Topics in Artificial Intelligence
A Logical Framework for Modeling and Reasoning About the Evolution of Requirements
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Analyzing Inconsistent Specifications
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
To Be and Not to Be: On Managing Inconsistency in Software Development
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Defeasible logic on an embedded microcontroller
IEA/AIE'1997 Proceedings of the 10th international conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
Towards efficient default reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Constrained and rational default logics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Possible world partition sequences: a unifying framework for uncertain reasoning
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Argument-based applications to knowledge engineering
The Knowledge Engineering Review
| Hi-index | 0.00 |
Default reasoning is concerned with making inferences in cases where the information at hand is incomplete. In such cases it is necessary to make plausible assumptions, which in default reasoning are based on default rules. This paper gives an introduction to the field. It discusses in depth one particular approach, default logic, including properties, semantics and computational models. It also gives an overview of other ideas and approaches.