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 19 articles , 2 standard articles )

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

  1. Alviano, Mario; Dodaro, Carmine: Unsatisfiable core analysis and aggregates for optimum stable model search (2020)
  2. Bichler, Manuel; Morak, Michael; Woltran, Stefan: lpopt: a rule optimization tool for answer set programming (2020)
  3. Calimeri, Francesco; Dodaro, Carmine; Fuscà, Davide; Perri, Simona; Zangari, Jessica: Technical note. Efficiently coupling the (\mathscrI)-DLV grounder with ASP solvers (2020)
  4. Dodaro, Carmine; Ricca, Francesco: The external interface for extending WASP (2020)
  5. Fiorentino, Alessio; Zangari, Jessica; Manna, Marco: DaRLing: a Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries (2020)
  6. Gebser, Martin; Maratea, Marco; Ricca, Francesco: The Seventh Answer Set Programming Competition: design and results (2020)
  7. Maher, Michael J.; Tachmazidis, Ilias; Antoniou, Grigoris; Wade, Stephen; Cheng, Long: Rethinking defeasible reasoning: a scalable approach (2020)
  8. Taupe, Richard; Weinzierl, Antonius; Friedrich, Gerhard: Conflict generalisation in ASP: learning correct and effective non-ground constraints (2020)
  9. Weinzierl, Antonius; Taupe, Richard; Friedrich, Gerhard: Advancing lazy-grounding ASP solving techniques -- restarts, phase saving, heuristics, and more (2020)
  10. Alviano, Mario; Leone, Nicola; Veltri, Pierfrancesco; Zangari, Jessica: Enhancing magic sets with an application to ontological reasoning (2019)
  11. Amendola, Giovanni; Dodaro, Carmine; Ricca, Francesco: Better paracoherent answer sets with less resources (2019)
  12. Calimeri, Francesco; Perri, Simona; Zangari, Jessica: Optimizing answer set computation via heuristic-based decomposition (2019)
  13. Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter: Partial compilation of ASP programs (2019)
  14. Fiorentino, Alessio; Leone, Nicola; Manna, Marco; Perri, Simona; Zangari, Jessica: Precomputing Datalog evaluation plans in large-scale scenarios (2019)
  15. 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)
  16. Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro: Cautious reasoning in ASP via minimal models and unsatisfiable cores (2018)
  17. Alviano, Mario; Dodaro, Carmine; Maratea, Marco: Shared aggregate sets in answer set programming (2018)
  18. Beck, Harald; Dao-Tran, Minh; Eiter, Thomas: LARS: a logic-based framework for analytic reasoning over streams (2018)
  19. Alviano, Mario; Calimeri, Francesco; Dodaro, Carmine; Fuscà, Davide; Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica: The ASP system DLV2 (2017)