On the relation between default and modal nonmonotonic reasoning

DOI10.1016/S0004-3702(98)00011-3zbMath0908.03027MaRDI QIDQ1274266

Alexander Bochman

Publication date: 12 January 1999

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

autoepistemic logicdefault logicnonmonotonic reasoningdefault consequence relationmodal nonmonotonic logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (1)

A causal approach to nonmonotonic reasoning

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical considerations on nonmonotonic logic
• On the relation between default and autoepistemic logic
• A logic for default reasoning
• Non-monotonic logic. I
• Nonmonotonic reasoning, preferential models and cumulative logics
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• The relationship between KLM and MAK models for nonmonotonic inference operations
• Foundations of knowledge representation and reasoning
• Minimal knowledge problem: A new approach
• Minimal belief and negation as failure
• Modal logic for default reasoning
• Modal nonmonotonic logics demodalized
• Negation as inconsistency. I
• Nonmonotonic Logic II
• The Pure Logic of Necessitation
• A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion
• Modal nonmonotonic logics
• Autoepistemic logic
• Nonmonotonic default modal logics
• Default consequence relations as a logical framework for logic programs

This page was built for publication: On the relation between default and modal nonmonotonic reasoning