scientific article; zbMATH DE number 823628

MaRDI QIDQ4856973zbMATH OpenFDO

Authors Fabrizio Sebastiani, Umberto Straccia

Publication date 16 April 1996

zbMATH Keywords

default reasoningterminological logicsterminological default logic

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
• Operational characterization of extensions in some logics for default reasoning
• The role of default logic in knowledge representation
• scientific article; zbMATH DE number 440108
• scientific article; zbMATH DE number 140378

Cited in

(10)

• A logical framework for default reasoning
• A sequent calculus for reasoning in four-valued description logics
• Terminological reasoning is inherently intractable
• scientific article; zbMATH DE number 1884389 (Why is no real title available?)
• Representability in Default Logic
• Restricted semantics for default reasoning
• scientific article; zbMATH DE number 1754688 (Why is no real title available?)
• scientific article; zbMATH DE number 1696836 (Why is no real title available?)
• scientific article; zbMATH DE number 569774 (Why is no real title available?)
• Lexicographic priorities in default logic

This page was built for publication:

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