DLV-EX
From MaRDI portal
Cited in
(34)- Domain expansion for ASP-programs with external sources
- Constraint answer set programming without grounding
- A model building framework for answer set programming with external computations
- Computable Functions in ASP: Theory and Implementation
- Answer Set Programming: A Primer
- Towards a Type Discipline for Answer Set Programming
- Efficiently Querying RDF(S) Ontologies with Answer Set Programming
- OntoDLV: An ASP-based System for Enterprise Ontologies
- HiLog
- DAML+OIL
- LUPS
- DLV-Complex
- B-Prolog
- GASP
- NoMoRe
- DMCS
- Clingcon
- aspcud
- MRtrix
- Tweety
- IDP
- ezcsp
- Moviola
- ActHEX
- anthem
- OntoDLV
- Hexlite
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- Constraint answer set solver EZCSP and why integration schemas matter
- Pruning external minimality checking for answer set programs using semantic dependencies
- Multi-shot ASP solving with clingo
- Combining nonmonotonic knowledge bases with external sources
- The intelligent grounder of DLV
- Constraint Answer Set Solving
This page was built for software: DLV-EX
