scientific article; zbMATH DE number 1269576
From MaRDI portal
Publication:4236375
Recommendations
Cited in
(38)- Defaults and relevance in model-based reasoning
- Reasoning by cases in Default Logic
- Prolog technology for default reasoning: proof theory and compilation techniques
- Logical considerations on default semantics
- The automation of reasoning with incomplete information. From semantic foundations to efficient computation
- An abstract, argumentation-theoretic approach to default reasoning
- A default logic based framework for context-dependent reasoning with lexical knowledge
- Defaults as restrictions on classical Hilbert-style proofs
- Counterpossibles and normal defaults in the filioque controversy
- Contextual reasoning: usually birds can abductively fly
- The case for psychologism in default and inheritance reasoning
- scientific article; zbMATH DE number 1696879 (Why is no real title available?)
- Making the right exceptions
- Provided you're not trivial: adding defaults and paraconsistency to a formal model of explanation
- scientific article; zbMATH DE number 4166920 (Why is no real title available?)
- A Fault-Tolerant Default Logic
- Social Default Theories
- scientific article; zbMATH DE number 140388 (Why is no real title available?)
- scientific article; zbMATH DE number 1292298 (Why is no real title available?)
- scientific article; zbMATH DE number 611093 (Why is no real title available?)
- scientific article; zbMATH DE number 1748572 (Why is no real title available?)
- scientific article; zbMATH DE number 1754688 (Why is no real title available?)
- Uncontroversial Default Logic
- scientific article; zbMATH DE number 194964 (Why is no real title available?)
- scientific article; zbMATH DE number 762058 (Why is no real title available?)
- scientific article; zbMATH DE number 770147 (Why is no real title available?)
- Defaults as Generalized Quantifiers
- A three-valued approach to default logic
- scientific article; zbMATH DE number 1390359 (Why is no real title available?)
- A modal logic of defeasible reasoning
- A sphere world semantics for default reasoning
- Extensions and projections in deontic default logic
- Where fail-safe default logics fail
- DARR- a theorem prover for constrained and rational default logics
- General Default Logic
- scientific article; zbMATH DE number 972606 (Why is no real title available?)
- A nonmonotonic observation logic
- Conditional entailment: bridging two approaches to default reasoning.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4236375)
