The following pages link to The ASP system DLV2 (Q2401936):
Displaying 25 items.
- DLV2 (Q44803) (← 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)
- Model enumeration in propositional circumscription via unsatisfiable core analysis (Q4592705) (← 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)
- 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)
- 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)
- Logic Programming and Nonmonotonic Reasoning (Q5424884) (← links)
- Generative Datalog and answer set programming (extended abstract) (Q6545514) (← links)
