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 logic; default logic; nonmonotonic reasoning; default consequence relation; modal nonmonotonic logics

Mathematics Subject Classification ID

03B60: Other nonclassical logic

68T27: Logic in artificial intelligence

Related Items

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