Reasoning by cases in Default Logic

DOI10.1016/S0004-3702(97)00081-7zbMath0901.03023MaRDI QIDQ1128615

Nico Roos

Publication date: 13 August 1998

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

zbMATH Keywords

default logicnonmonotonic reasoningmultiple extensionsreasoning by cases

Mathematics Subject Classification ID

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

Cites Work

• On the relation between default and autoepistemic logic
• A logic for default reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• Cumulative default logic: In defense of nonmonotonic inference rules
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reasoning by cases in Default Logic