Pages that link to "Item:Q4610318"
From MaRDI portal
The following pages link to A sequent calculus for skeptical Default Logic (Q4610318):
Displaying 11 items.
- Proof complexity of propositional default logic (Q647339) (← links)
- Reasoning with infinite stable models (Q814596) (← links)
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- A directly cautious theory of defeasible consequence for default logic via the notion of general extension (Q1292307) (← links)
- Alternative foundations for Reiter's default logic (Q1589575) (← links)
- Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics (Q1776197) (← links)
- A cut-free sequent calculus for defeasible erotetic inferences (Q2278843) (← links)
- Rule Calculus: Semantics, Axioms and Applications (Q3532483) (← links)
- Skeptical query-answering in Constrained Default Logic (Q4632323) (← links)
- Proof Complexity of Propositional Default Logic (Q4930577) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5900658) (← links)