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