The following pages link to (Q4798024):
Displaying 6 items.
- NoMoRe (Q19152) (← links)
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- Logic programming with infinite sets (Q812390) (← links)
- Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- The Intelligent Grounder of DLV (Q2900523) (← links)