Making the right exceptions

DOI10.1016/J.ARTINT.2016.05.005zbMath1385.68043OpenAlexW2413576903MaRDI QIDQ309916

Frank Veltman, Harald Andreas Bastiaanse

Publication date: 7 September 2016

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

Full work available at URL: https://doi.org/10.1016/j.artint.2016.05.005

zbMATH Keywords

nonmonotonic logicdefaultsinheritance networkscircumscription

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An approach to default reasoning based on a first-order conditional logic: Revised report
• A logic for default reasoning
• Conditional logics of normality: A modal approach
• Defaults in update semantics
• Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets
• A skeptical theory of inheritance in nonmonotonic semantic networks
• The Complexity of Circumscription in DLs
• Skepticism and floating conclusions

This page was built for publication: Making the right exceptions