scientific article; zbMATH DE number 823628

zbMATH Open0835.68114MaRDI QIDQ4856973FDOQ4856973

Authors: Fabrizio Sebastiani, Umberto Straccia 

Publication date: 16 April 1996

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

default reasoningterminological logicsterminological default logic

Mathematics Subject Classification ID

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

Cited In (10)

• A logical framework for default reasoning
• A sequent calculus for reasoning in four-valued description logics
• Terminological reasoning is inherently intractable
• Title not available (Why is that?)
• Representability in Default Logic
• Title not available (Why is that?)
• Restricted semantics for default reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)