DLV2
From MaRDI portal
Cited in
(78)- GK: implementing full first order default logic for commonsense reasoning (system description)
- Better paracoherent answer sets with less resources
- LARS: a logic-based framework for analytic reasoning over streams
- scientific article; zbMATH DE number 7455725 (Why is no real title available?)
- The Seventh Answer Set Programming Competition: Design and Results
- Cautious reasoning in ASP via minimal models and unsatisfiable cores
- ASPeRiX
- C-SPARQL
- DLVHEX
- Cmodels
- DLV
- Gringo
- Lparse
- DELORES
- ASPIDE
- Potassco
- clasp
- GASP
- plasp
- Galliwasp
- Clingcon
- Clingo
- WASP
- Konclude
- WebPIE
- ASPMT2SMT
- LUBM
- GRAPPA
- MiningZinc
- Datalog
- GraphLog
- htd
- Harvey
- GrappaVis
- Lpopt
- IDP3
- Ontop
- Binder
- DBpedia
- BigDatalog
- Graal
- ezcsp
- NoHR
- ASPVIZ
- asprin
- IDPDraw
- Kara
- onlineSPARC
- SeaLion
- DeReS
- SociaLite
- maxino
- OMiGA
- RDFox
- Hexlite
- CPCES
- MASTRO
- Rethinking defeasible reasoning: a scalable approach
- Recursive rules with aggregation: a simple unified semantics
- Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
- scientific article; zbMATH DE number 7453100 (Why is no real title available?)
- Partial compilation of ASP programs
- Optimizing answer set computation via heuristic-based decomposition
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- Testing in ASP: revisited language and programming environment
- GK
- clingraph
- DualGrounder
- LARS
- Precomputing Datalog evaluation plans in large-scale scenarios
- Unsatisfiable core analysis and aggregates for optimum stable model search
- scientific article; zbMATH DE number 7453118 (Why is no real title available?)
- The External Interface for Extending WASP
- DaRLing: a Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
- Enhancing magic sets with an application to ontological reasoning
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy
- Conflict generalisation in ASP: learning correct and effective non-ground constraints
- Shared aggregate sets in answer set programming
This page was built for software: DLV2
