DLV-EX

swMATH4642MaRDI QIDQ16812FDOQ16812

Author name not available (Why is that?)

Described by source

• External sources of knowledge and value invention in logic programming

Cited In (15)

• Constraint answer set programming without grounding
• Domain expansion for ASP-programs with external sources
• 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
• 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