Semantical considerations on nonmonotonic logic
Artificial Intelligence
Formalizing nonmonotonic reasoning systems
Artificial Intelligence
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
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)
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)
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Introduction to Default Logic
Reasoning with Incomplete Information
Reasoning with Incomplete Information
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
Studying Properties of Classes of Default Logics - Preliminary Report
PRICAI '96 Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence: Topics in Artificial Intelligence
CSL '94 Selected Papers from the 8th International Workshop on Computer Science Logic
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
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
Efficient intensional redefinition of aggregation hierarchies in multidimensional databases
Proceedings of the 4th ACM international workshop on Data warehousing and OLAP
Revising aggregation hierarchies in OLAP: a rule-based approach
Data & Knowledge Engineering - Special issue: Advances in OLAP
The complexity of model checking for propositional default logics
Data & Knowledge Engineering
On the complexity of extension checking in default logic
Information Processing Letters
Defeasible Reasoning with e-Contracts
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Where fail-safe default logics fail
ACM Transactions on Computational Logic (TOCL)
Aspects and modular reasoning in nonmonotonic logic
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
Reasoning about aspects with common sense
Proceedings of the 7th international conference on Aspect-oriented software development
Redundancy in logic III: Non-monotonic reasoning
Artificial Intelligence
How Can Agents Know What to Assume When?
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Mapping problem-space to solution-space features: a feature interaction approach
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
On the complexity of extension checking in default logic
Information Processing Letters
The representation of e-contracts as default theories
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Assumption-based reasoning in dynamic normative agent systems
Web Intelligence and Agent Systems
Normative conflicts in electronic contracts
Electronic Commerce Research and Applications
Proof complexity of propositional default logic
Archive for Mathematical Logic
A language for automatically enforcing privacy policies
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Faceted execution of policy-agnostic programs
Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security
| Hi-index | 0.00 |
Default logic is one of the most prominent approaches to nonmonotonic reasoning, and allows one to make plausible conjectures when faced with incomplete information about the problem at hand. Default rules prevail in many application domains such as medical and legal reasoning.Several variants have been developed over the past year, either to overcome some perceived deficiencies of the original presentation, or to realize somewhat different intuitions. This paper provides a tutorial-style introduction to some important approaches of Default Logic. The presentation is based on operational models for these approaches, thus making them easily accessible to a broader audience, and more easily usable in practical applications.