A directly cautious theory of defeasible consequence for default logic via the notion of general extension

DOI10.1016/S0004-3702(99)00014-4MaRDI QIDQ1292307zbMATH OpenFDO

Authors Gian Aldo Antonelli

Publication date 21 June 1999

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0004-3702(99)00014-4

zbMATH Keywords

default logicdefeasible consequencelogic programmingnonmonotonic inheritancetruth theory

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 5161842
• A proof theoretical approach to default reasoning I: tableaux for default logic
• Towards a classification of defaults logics
• A sequent calculus for skeptical Default Logic
• scientific article; zbMATH DE number 1696797
• scientific article; zbMATH DE number 6958
• scientific article; zbMATH DE number 2087247
• Operational characterization of extensions in some logics for default reasoning
• scientific article; zbMATH DE number 1500177
• An abstract, argumentation-theoretic approach to default reasoning

Cited in

(5)

• Alternative foundations for Reiter's default logic
• Defaults with priorities
• scientific article; zbMATH DE number 5161842 (Why is no real title available?)
• Skeptical rational extensions
• A New Perspective on Nonmonotonic Logics

This page was built for publication: A directly cautious theory of defeasible consequence for default logic via the notion of general extension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1292307)