The ASP system DLV2
From MaRDI portal
Publication:2401936
DOI10.1007/978-3-319-61660-5_19zbMath1472.68178OpenAlexW2733732676WikidataQ62043809 ScholiaQ62043809MaRDI QIDQ2401936
Francesco Ricca, Mario Alviano, Simona Perri, Nicola Leone, Pierfrancesco Veltri, Davide Fuscà, Jessica Zangari, Francesco Calimeri, Carmine Dodaro
Publication date: 5 September 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-61660-5_19
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items
Recursive rules with aggregation: a simple unified semantics, LARS: a logic-based framework for analytic reasoning over streams, Shared aggregate sets in answer set programming, Cautious reasoning in ASP via minimal models and unsatisfiable cores, Lpopt: a rule optimization tool for answer set programming, Model enumeration in propositional circumscription via unsatisfiable core analysis, Enhancing Magic Sets with an Application to Ontological Reasoning, Better Paracoherent Answer Sets with Less Resources, Precomputing Datalog Evaluation Plans in Large-Scale Scenarios, On combining ontologies and rules, Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy, Unnamed Item, Unnamed Item, Unnamed Item, Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More, Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints, Optimizing Answer Set Computation via Heuristic-Based Decomposition, The Seventh Answer Set Programming Competition: Design and Results, Efficiently Coupling the I-DLV Grounder with ASP Solvers, The External Interface for Extending WASP, Testing in ASP: revisited language and programming environment, DLV2, Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search, GK: implementing full first order default logic for commonsense reasoning (system description)
Uses Software
