A system for computing constrained default logic extensions

DOI10.1007/3-540-61630-6_16MaRDI QIDQ5236437zbMATH OpenOpenAlexFDO

Authors

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 revisionnonmonotonic reasoningdefault logicpruning techniquedefault theory

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• A correct logic programming computation of default logic extensions
• scientific article; zbMATH DE number 516983
• Computing constrained default extensions -- a constraint satisfaction problem
• scientific article; zbMATH DE number 5198932
• scientific article; zbMATH DE number 2079775
• scientific article; zbMATH DE number 124281
• scientific article; zbMATH DE number 1292298
• Default consequence relations as a logical framework for logic programs
• A Default Approach to Semantics of Logic Programs with Constraint Atoms
• On the complexity of extension checking in default logic

Cites work

• scientific article; zbMATH DE number 2079046 (Why is no real title available?)
• A logic for default reasoning
• A logical framework for default reasoning
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Alternative approaches to default logic
• Computing with default logic
• Cumulative default logic: In defense of nonmonotonic inference rules
• Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions
• Skeptical rational extensions
• Tableau-based characterization and theorem proving for default logic

Cited in

(3)

• Computing default extensions. A heuristic approach
• Computing constrained default extensions -- a constraint satisfaction problem
• Sequent calculus in computing default extensions

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

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