DLV

swMATH4640MaRDI QIDQ16810FDOQ16810

Author name not available (Why is that?)

Official website: http://www.dlvsystem.com/dlvsystem/index.php/Products

Cited In (42)

• Uhura: an authoring tool for specifying answer-set programs using controlled natural language
• External sources of knowledge and value invention in logic programming
• Enhancing DLV for large-scale reasoning
• The ASP system DLV2
• Stability, supportedness, minimality and Kleene answer set programs
• Introducing computer science to high school students through logic programming
• Stable-unstable semantics: Beyond NP with normal logic programs
• Rough set reasoning using answer set programs
• Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs
• Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
• A linear algebraic approach to Datalog evaluation
• Modularity aspects of disjunctive stable models
• Fuzzy answer set computation via satisfiability modulo theories
• Anytime answer set optimization via unsatisfiable core shrinking
• The complexity and generality of learning answer set programs
• Team-building with answer set programming in the Gioia-Tauro seaport
• Cautious reasoning in ASP via minimal models and unsatisfiable cores
• Title not available (Why is that?)
• Cmodels
• DLV-EX
• Gringo
• Lparse
• Answer set programming
• ROSoClingo
• Debugging non-ground ASP programs: technique and graphical tools
• Datalog
• GrappaVis
• IDP3
• Democratix
• Uhura
• ASPTools
• circ2dlp
• fasp2smt
• maxino
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• The intelligent grounder of DLV
• Logics in Artificial Intelligence
• Chain answer sets for logic programs with generalized atoms
• Title not available (Why is that?)
• Enhancing magic sets with an application to ontological reasoning
• Shared aggregate sets in answer set programming
• Rewriting recursive aggregates in answer set programming: back to monotonicity

This page was built for software: DLV