Pages that link to "Item:Q688552"
From MaRDI portal
The following pages link to Tableaux and sequent calculus for minimal entailment (Q688552):
Displaying 9 items.
- Reasoning with infinite stable models (Q814596) (← links)
- A tableau prover for domain minimization (Q1344878) (← links)
- Tableau-based characterization and theorem proving for default logic (Q1344885) (← links)
- ASP for minimal entailment in a rational extension of SROEL (Q4593055) (← links)
- A sequent calculus for skeptical Default Logic (Q4610318) (← links)
- Sequent calculi for default and autoepistemic logics (Q4645232) (← links)
- Minimal model generation with positive unit hyper-resolution tableaux (Q4645233) (← links)
- A tableau calculus for minimal model reasoning (Q4645243) (← links)
- A uniform tableaux method for nonmonotonic modal logics (Q5235255) (← links)
