The following pages link to DLV2 (Q44803):
Displaying 25 items.
- (Q48797) (redirect page) (← links)
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- Testing in ASP: revisited language and programming environment (Q2055810) (← links)
- GK: implementing full first order default logic for commonsense reasoning (system description) (Q2104518) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- Lpopt: a rule optimization tool for answer set programming (Q2409731) (← links)
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy (Q2694555) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
- Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
- The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← links)
- Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
- The External Interface for Extending WASP (Q4957194) (← links)
- Rethinking Defeasible Reasoning: A Scalable Approach (Q4957204) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- (Q5020542) (← links)
- (Q5020560) (← links)
- (Q5020987) (← links)
- Enhancing Magic Sets with an Application to Ontological Reasoning (Q5108494) (← links)
- Better Paracoherent Answer Sets with Less Resources (Q5108500) (← links)
- Partial Compilation of ASP Programs (Q5108506) (← links)
- Precomputing Datalog Evaluation Plans in Large-Scale Scenarios (Q5108523) (← links)
- Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More (Q5140003) (← links)
- Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints (Q5140015) (← links)
- DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries (Q5140027) (← links)
