Saturation, nonmonotonic reasoning and the closed-world assumption
Artificial Intelligence
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
Reasoning with incomplete information: investigations of non-monotonic reasoning
Reasoning with incomplete information: investigations of non-monotonic reasoning
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reducing query answering to satisfiability in nonmonotonic logics
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Pragmatic Reasoning: Inferring Contexts
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Pragmatic Reasoning. Pragmatic Semantics and Semantic Pragmatics
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Nonmonotonic Inductive Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Towards the Integration of Inductive and Nonmonotonic Logic Programming
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
Inverse Entailment in Nonmonotonic Logic Programs
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Paraconsistent Circumscription: First-Order Case
ISMVL '95 Proceedings of the 25th International Symposium on Multiple-Valued Logic
Rule Interchange Format: The Framework
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
System-Z+: a formalism for reasoning with variable-strength defaults
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Minimal knowledge and belief via minimal topology
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Reasoning with qualitative probabilities can be tractable
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Possibilistic constraint satisfaction problems or "How to handle soft constraints ?"
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Algorithms for a nonmonotonic logic of preferences
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Permissions and uncontrollable propositions in DSDL3: non-monotonicity and algorithms
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
A realistic architecture for the semantic web
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
An approach to minimal belief via objective belief
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Varying Selection Functions To Relate Conditional Logics And Preferential Models
Fundamenta Informaticae
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Hi-index | 0.00 |
We propose a unifying framework for nonmonotonic logics, which subsumes previously published systems, and at the same time is very simple. We discuss some of the technicalities of the new general framework, illustrate briefly how some previous systems are special cases of it, and finish an informal discussion of the intuitive meaning of nonmonotonic inferences.