Pages that link to "Item:Q1104777"
From MaRDI portal
The following pages link to A logical framework for default reasoning (Q1104777):
Displayed 27 items.
- On the computational complexity of assumption-based argumentation for default reasoning. (Q1852857) (← links)
- Nested abnormality theories (Q1855215) (← links)
- Abduction as belief revision (Q1855234) (← links)
- Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge (Q1855237) (← links)
- A comparative study of open default theories (Q1855239) (← links)
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games (Q1855240) (← links)
- A decision method for nonmonotonic reasoning based on autoepistemic reasoning (Q1891263) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- Belief revision, conditional logic and nonmonotonic reasoning (Q1903579) (← links)
- Minimal model semantics for sorted constraint representation (Q1907066) (← links)
- Modular specifications with supernormal defaults (Q1924749) (← links)
- Another perspective on default reasoning (Q1924825) (← links)
- Connections between default reasoning and partial constraint satisfaction (Q1961815) (← links)
- Nonmonotonic inferences and neural networks (Q2386104) (← links)
- Dialectic proof procedures for assumption-based, admissible argumentation (Q2457643) (← links)
- Abductive inference in defeasible reasoning: a model for research programmes (Q2565607) (← links)
- Conflicting imperatives and dyadic deontic logic (Q2568342) (← links)
- Non-monotonic reasoning from an evolution-theoretic perspective: Ontic, logical and cognitive foundations (Q2576425) (← links)
- Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches (Q3128369) (← links)
- ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS (Q3427869) (← links)
- Nonmonotonic reasoning based on incomplete logic (Q4380299) (← links)
- Declarative Representation of Revision Strategies* (Q4443396) (← links)
- Reasoning credulously and skeptically within a single extension (Q4453904) (← links)
- An assumption-based truth maintenance system dealing with non-ground justifications (Q4880539) (← links)
- 1998–99 Annual Meeting of the Association for Symbolic Logic (Q4940738) (← links)
- Constraints for input/output logics (Q5935791) (← links)
- Defeasible reasoning with variable degrees of justification (Q5958397) (← links)
