Pages that link to "Item:Q4610318"
From MaRDI portal
The following pages link to A sequent calculus for skeptical Default Logic (Q4610318):
Displayed 4 items.
- Reasoning with infinite stable models (Q814596) (← links)
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Alternative foundations for Reiter's default logic (Q1589575) (← links)
- Rule Calculus: Semantics, Axioms and Applications (Q3532483) (← links)