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 (23)

• GK: implementing full first order default logic for commonsense reasoning (system description)
• 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
• Title not available (Why is that?)
• Partial compilation of ASP programs
• 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
• 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