The following pages link to (Q5480653):
Displaying 6 items.
- On abstract modular inference systems and solvers (Q286083) (← links)
- On the relation among answer set solvers (Q1028643) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system (Q2372203) (← links)
- On look-ahead heuristics in disjunctive logic programming (Q2426102) (← links)
- A Logic Framework for P2P Deductive Databases (Q5108527) (← links)
