DLV2

swMATH33094MaRDI QIDQ44803FDOQ44803

Author name not available (Why is that?)

Described by source

• Enhancing DLV for large-scale reasoning
• The ASP system DLV2

Cited In (24)

• Rethinking Defeasible Reasoning: A Scalable Approach
• GK: implementing full first order default logic for commonsense reasoning (system description)
• Lpopt: a rule optimization tool for answer set programming
• Efficiently Coupling the I-DLV Grounder with ASP Solvers
• Optimizing Answer Set Computation via Heuristic-Based Decomposition
• Partial Compilation of ASP Programs
• Title not available (Why is that?)
• LARS: a logic-based framework for analytic reasoning over streams
• Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search
• Precomputing Datalog Evaluation Plans in Large-Scale Scenarios
• The Seventh Answer Set Programming Competition: Design and Results
• 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
• Cautious reasoning in ASP via minimal models and unsatisfiable cores
• Recursive rules with aggregation: a simple unified semantics
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• Title not available (Why is that?)
• Testing in ASP: revisited language and programming environment
• Title not available (Why is that?)
• The External Interface for Extending WASP
• Better Paracoherent Answer Sets with Less Resources
• 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