DLV
From MaRDI portal
Cited in
(68)- Uhura: an authoring tool for specifying answer-set programs using controlled natural language
- SQuARE
- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
- External sources of knowledge and value invention in logic programming
- Rough set reasoning using answer set programs
- scientific article; zbMATH DE number 1884384 (Why is no real title available?)
- Answer set programming
- Enhancing magic sets with an application to ontological reasoning
- Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs
- Modularity aspects of disjunctive stable models
- Debugging non-ground ASP programs: technique and graphical tools
- Shared aggregate sets in answer set programming
- Enhancing DLV for large-scale reasoning
- The intelligent grounder of DLV
- A linear algebraic approach to Datalog evaluation
- Introducing computer science to high school students through logic programming
- Team-building with answer set programming in the Gioia-Tauro seaport
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- Chain answer sets for logic programs with generalized atoms
- Cautious reasoning in ASP via minimal models and unsatisfiable cores
- Logics in Artificial Intelligence
- Rewriting recursive aggregates in answer set programming: back to monotonicity
- ASPeRiX
- ASSAT
- SCASY
- recsy
- Cmodels
- DLV-EX
- Gringo
- Lparse
- ASPIDE
- clasp
- NoMoRe
- WASP
- ROSoClingo
- LUBM
- GRAPPA
- Datalog
- Harvey
- GrappaVis
- Alice
- IDP3
- lp2normal
- Graal
- Democratix
- PENGASP
- The complexity and generality of learning answer set programs
- SeaLion
- spock
- Uhura
- ASPTools
- circ2dlp
- DLPEQ
- DLV2
- fasp2smt
- iBench
- lpeq
- maxino
- OMiGA
- RDFox
- Vadalog
- AQuA
- Fuzzy answer set computation via satisfiability modulo theories
- Stability, supportedness, minimality and Kleene answer set programs
- scientific article; zbMATH DE number 7455719 (Why is no real title available?)
- Anytime answer set optimization via unsatisfiable core shrinking
- Stable-unstable semantics: Beyond NP with normal logic programs
- The ASP system DLV2
This page was built for software: DLV
