swMATH4640MaRDI QIDQ16810FDOQ16810
Author name not available (Why is that?)
Official website: http://www.dlvsystem.com/dlvsystem/index.php/Products
Cited In (64)
- SQuARE
- 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
- ASPIDE
- clasp
- NoMoRe
- Answer set programming
- WASP
- ROSoClingo
- LUBM
- Debugging non-ground ASP programs: technique and graphical tools
- GRAPPA
- Datalog
- Harvey
- GrappaVis
- Alice
- IDP3
- lp2normal
- Graal
- Democratix
- PENGASP
- SeaLion
- spock
- Uhura
- ASPTools
- circ2dlp
- DLPEQ
- DLV2
- fasp2smt
- iBench
- lpeq
- maxino
- OMiGA
- RDFox
- Vadalog
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- AQuA
- 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
