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