scientific article; zbMATH DE number 1292298

MaRDI QIDQ4244306zbMATH OpenFDO

Authors Christine Froidevaux, Jérôme Mengin

Publication date 30 May 1999

Mathematics Subject Classification ID

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

Recommendations

• A logical framework for default reasoning
• scientific article; zbMATH DE number 1522676
• A framework for defining logics
• Towards a classification of defaults logics
• A framework for defining logical frameworks
• An argumentation framework in default logic
• scientific article; zbMATH DE number 1269576
• scientific article; zbMATH DE number 989172
• scientific article; zbMATH DE number 194964

Cited in

(16)

• A logical framework for default reasoning
• Studying properties of classes of default logics
• A system for computing constrained default logic extensions
• General Default Logic
• On the complexity of extension checking in default logic
• Consistency defaults
• scientific article; zbMATH DE number 2031006 (Why is no real title available?)
• scientific article; zbMATH DE number 770147 (Why is no real title available?)
• Operational concepts of nonmonotonic logics. I: Default logic
• Alternative approaches to default logic
• scientific article; zbMATH DE number 1754688 (Why is no real title available?)
• Graph theoretical structures in logic programs and default theories
• A comparative survey of default logic variants
• Default logic about assertions
• Redundancy in logic. III: Non-monotonic reasoning
• scientific article; zbMATH DE number 1522676 (Why is no real title available?)

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 Q4244306)