Semantical considerations on nonmonotonic logic
Artificial Intelligence
On the relationship between autoepistemic logic and parallel circumscription
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Results on translating defaults to circumscription
Artificial Intelligence
Journal of Logic Programming
Possible-world semantics for autoepistemic logic
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
An algorithm to compute circumscription
Artificial Intelligence
General theory of cumulative inference
Proceedings of the 2nd international workshop on Non-monotonic reasoning
A circumscriptive theorem prover
Proceedings of the 2nd international workshop on Non-monotonic reasoning
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
Nonmonotonic reasoning: logical foundations of common sense
Nonmonotonic reasoning: logical foundations of common sense
What does a conditional knowledge base entail?
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Relating autoepistemic and default logics
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Bilattices and the semantics of logic programming
Journal of Logic Programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
What does a conditional knowledge base entail?
Artificial Intelligence
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
Logic-based artificial intelligence
A logical theory of nonmonotonic inference and belief change
A logical theory of nonmonotonic inference and belief change
Introduction to Default Logic
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Fixpoint semantics for logic programming a survey
Theoretical Computer Science
Uniform semantic treatment of default and autoepistemic logics
Artificial Intelligence
Ultimate approximation and its application in nonmonotonic knowledge representation systems
Information and Computation
System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
An algebraic account of modularity in ID-logic
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
| Hi-index | 0.00 |
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the emergence of nonmonotonic logics and introduce two major nonmonotonic formalisms, default and autoepistemic logics. We then point out to algebraic principles behind the two logics and present an abstract algebraic theory that unifies them and provides an effective framework to study properties of nonmonotonic reasoning. We conclude with comments on other major research directions in nonmonotonic logics.