Cited in
(78)- clingraph
- DualGrounder
- GK
- The External Interface for Extending WASP
- LARS
- scientific article; zbMATH DE number 7453100 (Why is no real title available?)
- Better paracoherent answer sets with less resources
- DaRLing: a Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
- Enhancing magic sets with an application to ontological reasoning
- The Seventh Answer Set Programming Competition: Design and Results
- LARS: a logic-based framework for analytic reasoning over streams
- Shared aggregate sets in answer set programming
- Partial compilation of ASP programs
- Testing in ASP: revisited language and programming environment
- Precomputing Datalog evaluation plans in large-scale scenarios
- Recursive rules with aggregation: a simple unified semantics
- Optimizing answer set computation via heuristic-based decomposition
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- 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
- scientific article; zbMATH DE number 7455725 (Why is no real title available?)
- MASTRO
- Conflict generalisation in ASP: learning correct and effective non-ground constraints
- GK: implementing full first order default logic for commonsense reasoning (system description)
- Unsatisfiable core analysis and aggregates for optimum stable model search
- Rethinking defeasible reasoning: a scalable approach
- Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy
- scientific article; zbMATH DE number 7453118 (Why is no real title available?)
This page was built for software: DLV2
