DLV-EX
From MaRDI portal
Software:16812
No author found.
Related Items (15)
The Intelligent Grounder of DLV ⋮ 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 ⋮ Multi-shot ASP solving with clingo ⋮ A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders ⋮ Pruning external minimality checking for answer set programs using semantic dependencies ⋮ Towards a Type Discipline for Answer Set Programming ⋮ Answer Set Programming: A Primer ⋮ OntoDLV: An ASP-based System for Enterprise Ontologies ⋮ Efficiently Querying RDF(S) Ontologies with Answer Set Programming ⋮ Combining Nonmonotonic Knowledge Bases with External Sources ⋮ Computable Functions in ASP: Theory and Implementation ⋮ Domain expansion for ASP-programs with external sources
This page was built for software: DLV-EX
