scientific article; zbMATH DE number 1759386

MaRDI QIDQ4536334zbMATH OpenFDO

Authors Thomas Eiter, Thomas Lukasiewicz

Publication date 25 November 2002

Mathematics Subject Classification ID

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

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.

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)