Alternative approaches to default logic

DOI10.1016/0004-3702(94)90106-6zbMath0817.03011OpenAlexW2013153283MaRDI QIDQ1342221

James P. Delgrande, W. Ken Jackson, Torsten Schaub

Publication date: 27 July 1995

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

Full work available at URL: https://doi.org/10.1016/0004-3702(94)90106-6

zbMATH Keywords

nonmonotonic logicconstrained default logicconstrained extensionprerequisite-free default rules

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (24)

On the complexity of extension checking in default logic ⋮ Default reasoning by deductive planning ⋮ A new methodology for query answering in default logics via structure-oriented theorem proving ⋮ Redundancy in logic. III: Non-monotonic reasoning ⋮ Compiling specificity into approaches to nonmonotonic reasoning ⋮ Unnamed Item ⋮ Connections between default reasoning and partial constraint satisfaction ⋮ Consistency defaults ⋮ A comparative survey of default logic variants ⋮ Skeptical query-answering in Constrained Default Logic ⋮ XRay: A prolog technology theorem prover for default reasoning: A system description ⋮ Towards a classification of defaults logics ⋮ On prediction in Theorist ⋮ Conservative extension concepts for nonmonotonic knowledge bases ⋮ Studying properties of classes of default logics ⋮ A note on the cumulativity of justified default logic ⋮ Artificial nonmonotonic neural networks ⋮ A tableaux calculus for default intuitionistic logic ⋮ Prolog technology for default reasoning: proof theory and compilation techniques ⋮ Seminormalizing a default theory ⋮ A system for computing constrained default logic extensions ⋮ Specifying causality in action theories: A default logic approach ⋮ Alternative foundations for Reiter's default logic ⋮ The qualification problem: A solution to the problem of anomalous models

Cites Work

• Formalizing nonmonotonic reasoning systems
• A logical framework for default reasoning
• A logic for default reasoning
• Cumulative default logic: In defense of nonmonotonic inference rules
• Alternative foundations for Reiter's default logic
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Alternative approaches to default logic