Pages that link to "Item:Q1344885"
From MaRDI portal
The following pages link to Tableau-based characterization and theorem proving for default logic (Q1344885):
Displaying 9 items.
- Proof complexity of propositional default logic (Q647339) (← links)
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Is default logic a reinvention of inductive-statistical reasoning? (Q1293025) (← links)
- Alternative foundations for Reiter's default logic (Q1589575) (← links)
- A sequent calculus for skeptical Default Logic (Q4610318) (← links)
- Sequent calculi for default and autoepistemic logics (Q4645232) (← links)
- Analytic tableaux for default logics (Q4868235) (← links)
- A system for computing constrained default logic extensions (Q5236437) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
