Pages that link to "Item:Q672131"
From MaRDI portal
The following pages link to Computing minimal models by partial instantiation (Q672131):
Displaying 6 items.
- 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)
