DLV2

The ASP system DLV2. We introduce DLV2, a new answer set programming (ASP) system. DVL2 combines (mathcal {I}mathrm {-DLV}), a fully-compliant ASP-Core-2 grounder, with the well-assessed solver WASP. Input programs may be enriched by annotations and directives that customize heuristics of the system and extend its solving capabilities. An empirical analysis conducted on benchmarks from past ASP competitions shows that DLV2 outperforms the old DVL system and is close to the state-of-the-art ASP system Clingo.


References in zbMATH (referenced in 13 articles , 2 standard articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Costabile, Roberta; Catalano, Gelsomina; Cuteri, Bernardo; Morelli, Maria Concetta; Leone, Nicola; Manna, Marco: A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification (2020)
  2. Fiorentino, Alessio; Zangari, Jessica; Manna, Marco: DaRLing: a Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries (2020)
  3. Taupe, Richard; Weinzierl, Antonius; Friedrich, Gerhard: Conflict generalisation in ASP: learning correct and effective non-ground constraints (2020)
  4. Weinzierl, Antonius; Taupe, Richard; Friedrich, Gerhard: Advancing lazy-grounding ASP solving techniques -- restarts, phase saving, heuristics, and more (2020)
  5. Alviano, Mario; Leone, Nicola; Veltri, Pierfrancesco; Zangari, Jessica: Enhancing magic sets with an application to ontological reasoning (2019)
  6. Amendola, Giovanni; Dodaro, Carmine; Ricca, Francesco: Better paracoherent answer sets with less resources (2019)
  7. Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter: Partial compilation of ASP programs (2019)
  8. Fiorentino, Alessio; Leone, Nicola; Manna, Marco; Perri, Simona; Zangari, Jessica: Precomputing Datalog evaluation plans in large-scale scenarios (2019)
  9. Leone, Nicola; Allocca, Carlo; Alviano, Mario; Calimeri, Francesco; Civili, Cristina; Costabile, Roberta; Fiorentino, Alessio; Fuscà, Davide; Germano, Stefano; Laboccetta, Giovanni; Cuteri, Bernardo; Manna, Marco; Perri, Simona; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica: Enhancing DLV for large-scale reasoning (2019)
  10. Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro: Cautious reasoning in ASP via minimal models and unsatisfiable cores (2018)
  11. Alviano, Mario; Dodaro, Carmine; Maratea, Marco: Shared aggregate sets in answer set programming (2018)
  12. Beck, Harald; Dao-Tran, Minh; Eiter, Thomas: LARS: a logic-based framework for analytic reasoning over streams (2018)
  13. Alviano, Mario; Calimeri, Francesco; Dodaro, Carmine; Fuscà, Davide; Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica: The ASP system DLV2 (2017)