A system for computing constrained default logic extensions

DOI10.1007/3-540-61630-6_16zbMath1427.68286OpenAlexW1642770377MaRDI QIDQ5236437

No author found.

Publication date: 8 October 2019

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61630-6_16

zbMATH Keywords

belief revisiondefault logicnonmonotonic reasoningdefault theorypruning technique

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• A logical framework for default reasoning
• A logic for default reasoning
• Cumulative default logic: In defense of nonmonotonic inference rules
• Alternative approaches to default logic
• Tableau-based characterization and theorem proving for default logic
• Computing with default logic
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions
• Skeptical rational extensions

This page was built for publication: A system for computing constrained default logic extensions