DLV-EX

swMATH4642MaRDI QIDQ16812FDOQ16812

Author name not available (Why is that?)

Official website: https://www.mat.unical.it/ianni/wiki/dlvex

Described by source

• External sources of knowledge and value invention in logic programming

Cited In (33)

• 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
• HiLog
• LUPS
• DLV-Complex
• B-Prolog
• GASP
• NoMoRe
• DMCS
• Clingcon
• Multi-shot ASP solving with clingo
• aspcud
• MRtrix
• Tweety
• IDP
• ezcsp
• Moviola
• ActHEX
• anthem
• OntoDLV
• Hexlite
• Combining nonmonotonic knowledge bases with external sources
• The intelligent grounder of DLV
• Constraint Answer Set Solving

This page was built for software: DLV-EX