The ASP system DLV2

DOI10.1007/978-3-319-61660-5_19MaRDI QIDQ2401936zbMATH OpenOpenAlexWikidataFDO

Authors M. Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, N. Leone, Simona Perri, F. Ricca, Pierfrancesco Veltri, Jessica Zangari

Publication date 5 September 2017

Full work available at URL https://doi.org/10.1007/978-3-319-61660-5_19

zbMATH Keywords

answer-set programminggroundingsolving

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 1890626
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• Logic Programming and Nonmonotonic Reasoning
• A dynamic-programming based ASP-solver
• Logic Programming and Nonmonotonic Reasoning

Cited in

(45)

• LARS: a logic-based framework for analytic reasoning over streams
• Testing in ASP: revisited language and programming environment
• GK: implementing full first order default logic for commonsense reasoning (system description)
• Recursive rules with aggregation: a simple unified semantics
• Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy
• The intelligent grounder of DLV
• OntoDLV: An ASP-based System for Enterprise Ontologies
• Towards a Type Discipline for Answer Set Programming
• DLV2
• Shared aggregate sets in answer set programming
• Cautious reasoning in ASP via minimal models and unsatisfiable cores
• Model enumeration in propositional circumscription via unsatisfiable core analysis
• scientific article; zbMATH DE number 1931693 (Why is no real title available?)
• scientific article; zbMATH DE number 1890626 (Why is no real title available?)
• \textsf{dl2asp}: implementing default logic via answer set programming
• A dynamic-programming based ASP-solver
• Optimizing answer set computation via heuristic-based decomposition
• The Seventh Answer Set Programming Competition: Design and Results
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• The External Interface for Extending WASP
• Unsatisfiable core analysis and aggregates for optimum stable model search
• scientific article; zbMATH DE number 7453100 (Why is no real title available?)
• Extended magic for negation: efficient demand-driven evaluation of stratified Datalog with precise complexity guarantees
• scientific article; zbMATH DE number 7455725 (Why is no real title available?)
• Enhancing magic sets with an application to ontological reasoning
• Better paracoherent answer sets with less resources
• Precomputing Datalog evaluation plans in large-scale scenarios
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• Conflict generalisation in ASP: learning correct and effective non-ground constraints
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• On combining ontologies and rules
• Generative Datalog and answer set programming (extended abstract)
• Lazy atom discovery in compilation-based ASP solving
• Bounded satisfiability checking of \(\mathrm{FOL}^*\) formulas with aggregations
• ASPECT: answer set representation as vector graphics in LaTeX
• Declarative approaches to counterfactual explanations for classification
• On the configuration of more and less expressive logic programs
• Answer set planning: a survey
• Aggregate semantics for propositional answer set programs
• How to build your own ASP-based system?!
• Forgetting in answer set programming -- a survey
• Abstract argumentation frameworks with strong and weak constraints

Describes a project that uses

Uses Software

• WASP
• DLV
• Clingo

This page was built for publication: The ASP system DLV2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2401936)