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