New tractable cases in default reasoning from conditional knowledge bases

DOI10.1007/3-540-40006-0_22MaRDI QIDQ4536334zbMATH OpenFDO

Authors Thomas Eiter, Thomas Lukasiewicz

Publication date 25 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-40006-0_22

Mathematics Subject Classification ID

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

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: New tractable cases in default reasoning from conditional knowledge bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536334)