scientific article; zbMATH DE number 1292298

zbMATH Open0925.68413MaRDI QIDQ4244306FDOQ4244306

Authors: Christine Froidevaux, Jérôme Mengin 

Publication date: 30 May 1999

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

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

Mathematics Subject Classification ID

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

Cited In (16)

• Studying properties of classes of default logics
• A logical framework for default reasoning
• A system for computing constrained default logic extensions
• General Default Logic
• On the complexity of extension checking in default logic
• Consistency defaults
• Title not available (Why is that?)
• Title not available (Why is that?)
• Operational concepts of nonmonotonic logics. I: Default logic
• Alternative approaches to default logic
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)