Pages that link to "Item:Q4645243"
From MaRDI portal
The following pages link to A tableau calculus for minimal model reasoning (Q4645243):
Displaying 13 items.
- Reasoning under minimal upper bounds in propositional logic (Q861253) (← links)
- Minimal sets on propositional formulae. Problems and reductions (Q1677431) (← links)
- Possible models computation and revision -- a practical approach (Q2096456) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- A Tableau Calculus for Minimal Modal Model Generation (Q2825415) (← links)
- Exploring Theories with a Model-Finding Assistant (Q3454114) (← links)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
- Better Paracoherent Answer Sets with Less Resources (Q5108500) (← links)
- Hyper tableaux (Q5235250) (← links)
- An abductive framework for negation in disjunctive logic programming (Q5236438) (← links)
- Theorem proving techniques for view deletion in databases (Q5927980) (← links)
- On the equivalence of the static and disjunctive well-founded semantics and its computation (Q5941206) (← links)
- ASP and subset minimality: enumeration, cautious reasoning and MUSes (Q6103676) (← links)
