Alternative approaches to default logic

DOI10.1016/0004-3702(94)90106-6zbMATH Open0817.03011OpenAlexW2013153283MaRDI QIDQ1342221FDOQ1342221

James 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)

Cites Work

• Title not available (Why is that?)
• A logic for default reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logical framework for default reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Cumulative default logic: In defense of nonmonotonic inference rules
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Alternative foundations for Reiter's default logic
• Formalizing nonmonotonic reasoning systems
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Title not available (Why is that?)

Cited In (33)

• A note on the cumulativity of justified default logic
• Studying properties of classes of default logics
• On prediction in Theorist
• Skeptical query-answering in Constrained Default Logic
• A system for computing constrained default logic extensions
• Compiling specificity into approaches to nonmonotonic reasoning
• Alternative principles and their applications
• On the complexity of extension checking in default logic
• Consistency defaults
• Title not available (Why is that?)
• Artificial nonmonotonic neural networks
• Defaults as restrictions on classical Hilbert-style proofs
• The qualification problem: A solution to the problem of anomalous models
• Knowledge representation: modalities, conditionals, and nonmonotonic reasoning
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Alternative foundations for Reiter's default logic
• Conservative extension concepts for nonmonotonic knowledge bases
• Title not available (Why is that?)
• Nonmonotonic reasoning by monotonic inferences with priority constraints
• Seminormalizing a default theory
• Default reasoning by deductive planning
• Prolog technology for default reasoning: proof theory and compilation techniques
• Constraints for input/output logics
• A comparative survey of default logic variants
• Title not available (Why is that?)
• Connections between default reasoning and partial constraint satisfaction
• A tableaux calculus for default intuitionistic logic
• Towards a classification of defaults logics
• Specifying causality in action theories: A default logic approach
• XRay: A prolog technology theorem prover for default reasoning: A system description
• Redundancy in logic. III: Non-monotonic reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Another perspective on default reasoning 👍 👎
• Expressing Default Logic Variants in Default Logic 👍 👎
• A comparative survey of default logic variants 👍 👎
• Title not available (Why is that?) 👍 👎
• Alternative foundations for Reiter's default logic 👍 👎
• Default logic and it's variants: A semantical view 👍 👎
• Title not available (Why is that?) 👍 👎
• A logical framework for default reasoning 👍 👎

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

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