Yet some more complexity results for default logic

DOI10.1016/S0004-3702(02)00189-3zbMath1013.03025OpenAlexW2041487507MaRDI QIDQ1606113

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

default logicnonmonotonic reasoningcomplexity classes

Mathematics Subject Classification ID

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

Related Items (4)

Outlier detection for simple default theories ⋮ Rule Calculus: Semantics, Axioms and Applications ⋮ Restricted default theories: expressive power and outlier detection tasks ⋮ The Complexity of Reasoning for Fragments of Default Logic

Cites Work

• Formalizing nonmonotonic reasoning systems
• A theory of diagnosis from first principles
• A logic for default reasoning
• Hard problems for simple default logics
• Default reasoning using classical logic
• Complexity Results for Nonmonotonic Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item

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