Yet some more complexity results for default logic

DOI10.1016/S0004-3702(02)00189-3MaRDI QIDQ1606113zbMATH OpenOpenAlexFDO

Authors Rachel Ben-Eliyahu-Zohary

Publication date 31 July 2002

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0004-3702(02)00189-3

zbMATH Keywords

complexity classesdefault logicnonmonotonic reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Logic in artificial intelligence (68T27)

Recommendations

• Some results on default logic
• scientific article; zbMATH DE number 140378
• Default logic generalized and simplified
• scientific article; zbMATH DE number 4166939
• Hard problems for simple default logics
• scientific article; zbMATH DE number 1249652
• scientific article; zbMATH DE number 97791
• scientific article; zbMATH DE number 4033708
• More on representation theory for default logic
• scientific article; zbMATH DE number 1123617

Cites work

• A logic for default reasoning
• A theory of diagnosis from first principles
• Complexity Results for Nonmonotonic Logics
• Complexity results for restricted credulous default reasoning
• Default reasoning using classical logic
• Formalizing nonmonotonic reasoning systems
• Hard problems for simple default logics
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 4128783 (Why is no real title available?)

Cited in

(8)

• Cumulative default logic: Finite characterization, algorithms, and complexity
• Default reasoning using classical logic
• Rule Calculus: Semantics, Axioms and Applications
• The Complexity of Reasoning for Fragments of Default Logic
• scientific article; zbMATH DE number 4033708 (Why is no real title available?)
• scientific article; zbMATH DE number 1759386 (Why is no real title available?)
• Restricted default theories: expressive power and outlier detection tasks
• Outlier detection for simple default theories

This page was built for publication: Yet some more complexity results for default logic

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