scientific article; zbMATH DE number 1759386

zbMATH Open0998.68165MaRDI QIDQ4536334FDOQ4536334

Authors: Thomas Eiter, Thomas Lukasiewicz 

Publication date: 25 November 2002

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

Recommendations

• Default reasoning from conditional knowledge bases: Complexity and tractable cases
• New tractable classes for default reasoning from conditional knowledge bases
• Yet some more complexity results for default logic
• Default reasoning using classical logic
• Conditional entailment: bridging two approaches to default reasoning.

Mathematics Subject Classification ID

Knowledge representation (68T30) Database theory (68P15) Logic in artificial intelligence (68T27)

Cited In (2)

• Default reasoning from conditional knowledge bases: Complexity and tractable cases
• New tractable classes for default reasoning from conditional knowledge bases

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