Pages that link to "Item:Q672131"
From MaRDI portal
The following pages link to Computing minimal models by partial instantiation (Q672131):
Displaying 10 items.
- Reasoning under minimal upper bounds in propositional logic (Q861253) (← links)
- Computing only minimal answers in disjunctive deductive databases (Q1040782) (← links)
- Relating minimal models and pre-requisite-free normal defaults (Q1205716) (← links)
- Computing definite logic programs by partial instantiation (Q1326778) (← links)
- Graph-based construction of minimal models (Q2093381) (← links)
- Foundations of the minimal model program (Q2396363) (← links)
- Modular construction of minimal models (Q2401922) (← links)
- (Q2723419) (← links)
- Prolegomena to logic programming for non-monotonic reasoning (Q6623791) (← links)
- Computation of non-ground disjunctive well-founded semantics with constraint logic programming (Q6623800) (← links)