swMATH33094MaRDI QIDQ44803FDOQ44803
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-61660-5_19
Cited In (76)
- GK
- clingraph
- DualGrounder
- GK: implementing full first order default logic for commonsense reasoning (system description)
- LARS
- Better paracoherent answer sets with less resources
- Title not available (Why is that?)
- LARS: a logic-based framework for analytic reasoning over streams
- The Seventh Answer Set Programming Competition: Design and Results
- Cautious reasoning in ASP via minimal models and unsatisfiable cores
- 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
- C-SPARQL
- Cmodels
- DLV
- Gringo
- Lparse
- DELORES
- ASPIDE
- Potassco
- clasp
- GASP
- plasp
- Galliwasp
- Clingcon
- Clingo
- WASP
- Konclude
- WebPIE
- ASPMT2SMT
- LUBM
- Title not available (Why is that?)
- GRAPPA
- MiningZinc
- Datalog
- GraphLog
- Partial compilation of ASP programs
- 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
- 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
- MASTRO
- Precomputing Datalog evaluation plans in large-scale scenarios
- Unsatisfiable core analysis and aggregates for optimum stable model search
- Title not available (Why is that?)
- 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
- Conflict generalisation in ASP: learning correct and effective non-ground constraints
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy
- Shared aggregate sets in answer set programming
This page was built for software: DLV2
