Recommendations
- scientific article; zbMATH DE number 2064305
- scientific article; zbMATH DE number 140378
- Another perspective on default reasoning
- Expressing Default Logic Variants in Default Logic
- A comparative survey of default logic variants
- scientific article; zbMATH DE number 194964
- Alternative foundations for Reiter's default logic
- Default logic and it's variants: A semantical view
- scientific article; zbMATH DE number 1292298
- A logical framework for default reasoning
Cites work
- 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 foundations for Reiter's default logic
- Cumulative default logic: In defense of nonmonotonic inference rules
- Formalizing nonmonotonic reasoning systems
- scientific article; zbMATH DE number 4166904 (Why is no real title available?)
- scientific article; zbMATH DE number 4104920 (Why is no real title available?)
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- scientific article; zbMATH DE number 44622 (Why is no real title available?)
- scientific article; zbMATH DE number 44850 (Why is no real title available?)
- scientific article; zbMATH DE number 140378 (Why is no real title available?)
- scientific article; zbMATH DE number 140413 (Why is no real title available?)
- scientific article; zbMATH DE number 517023 (Why is no real title available?)
- scientific article; zbMATH DE number 194618 (Why is no real title available?)
- scientific article; zbMATH DE number 194964 (Why is no real title available?)
Cited in
(39)- Prolog technology for default reasoning: proof theory and compilation techniques
- Compiling specificity into approaches to nonmonotonic reasoning
- 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
- Defaults as restrictions on classical Hilbert-style proofs
- Default reasoning by deductive planning
- A new methodology for query answering in default logics via structure-oriented theorem proving
- Connections between default reasoning and partial constraint satisfaction
- A tableaux calculus for default intuitionistic logic
- Redundancy in logic. III: Non-monotonic reasoning
- Consistency defaults
- scientific article; zbMATH DE number 2086059 (Why is no real title available?)
- Expressing Default Logic Variants in Default Logic
- A Fault-Tolerant Default Logic
- Computing constrained default extensions -- a constraint satisfaction problem
- Seminormalizing a default theory
- scientific article; zbMATH DE number 140378 (Why is no real title available?)
- scientific article; zbMATH DE number 611093 (Why is no real title available?)
- Towards a classification of defaults logics
- Studying properties of classes of default logics
- A note on the cumulativity of justified default logic
- scientific article; zbMATH DE number 2064305 (Why is no real title available?)
- Conservative extension concepts for nonmonotonic knowledge bases
- A comparative survey of default logic variants
- Skeptical query-answering in Constrained Default Logic
- \(\mathsf{XRay}\): a Prolog technology theorem prover for default reasoning: a system description
- An algebraic approach for action based default reasoning
- A system for computing constrained default logic extensions
- Where fail-safe default logics fail
- Sequent calculus in computing default extensions
- Alternative principles and their applications
- Constraints for input/output logics
- Artificial nonmonotonic neural networks
- Knowledge representation: modalities, conditionals, and nonmonotonic reasoning
- Nonmonotonic reasoning by monotonic inferences with priority constraints
- On prediction in Theorist
- Hypersequent calculi for propositional default logics
- On the complexity of extension checking in default logic
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)
