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)

• The Intelligent Grounder of DLV
• Domain expansion for ASP-programs with external sources
• A model building framework for answer set programming with external computations
• A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders
• 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
• Combining Nonmonotonic Knowledge Bases with External Sources
• OntoDLV: An ASP-based System for Enterprise Ontologies
• Constraint answer set solver EZCSP and why integration schemas matter
• Constraint Answer Set Programming without Grounding
• Pruning external minimality checking for answer set programs using semantic dependencies
• Multi-shot ASP solving with clingo
• Constraint Answer Set Solving

This page was built for software: DLV-EX