The following pages link to DLV-EX (Q16812):
Displaying 15 items.
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
- The Intelligent Grounder of DLV (Q2900523) (← links)
- OntoDLV: An ASP-based System for Enterprise Ontologies (Q3395265) (← links)
- Efficiently Querying RDF(S) Ontologies with Answer Set Programming (Q3395268) (← links)
- Towards a Type Discipline for Answer Set Programming (Q3638249) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Combining Nonmonotonic Knowledge Bases with External Sources (Q3655190) (← links)
- Constraint Answer Set Programming without Grounding (Q4559798) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← links)
- Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
- Constraint Answer Set Solving (Q4649733) (← links)
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)
- Computable Functions in ASP: Theory and Implementation (Q5504670) (← links)
