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

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

1 2 next

  1. Liu, Yanhong A.; Stoller, Scott D.: Recursive rules with aggregation: a simple unified semantics (2022)
  2. Alviano, Mario; Dodaro, Carmine: Unsatisfiable core analysis and aggregates for optimum stable model search (2020)
  3. Bichler, Manuel; Morak, Michael; Woltran, Stefan: lpopt: a rule optimization tool for answer set programming (2020)
  4. Calimeri, Francesco; Dodaro, Carmine; Fuscà, Davide; Perri, Simona; Zangari, Jessica: Technical note. Efficiently coupling the (\mathscrI)-DLV grounder with ASP solvers (2020)
  5. Dodaro, Carmine; Ricca, Francesco: The external interface for extending WASP (2020)
  6. Fiorentino, Alessio; Zangari, Jessica; Manna, Marco: DaRLing: a Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries (2020)
  7. Gebser, Martin; Maratea, Marco; Ricca, Francesco: The Seventh Answer Set Programming Competition: design and results (2020)
  8. Maher, Michael J.; Tachmazidis, Ilias; Antoniou, Grigoris; Wade, Stephen; Cheng, Long: Rethinking defeasible reasoning: a scalable approach (2020)
  9. Mastria, Elena; Zangari, Jessica; Perri, Simona; Calimeri, Francesco: A machine learning guided rewriting approach for ASP logic programs (2020)
  10. Taupe, Richard; Weinzierl, Antonius; Friedrich, Gerhard: Conflict generalisation in ASP: learning correct and effective non-ground constraints (2020)
  11. Weinzierl, Antonius; Taupe, Richard; Friedrich, Gerhard: Advancing lazy-grounding ASP solving techniques -- restarts, phase saving, heuristics, and more (2020)
  12. Alviano, Mario; Leone, Nicola; Veltri, Pierfrancesco; Zangari, Jessica: Enhancing magic sets with an application to ontological reasoning (2019)
  13. Amendola, Giovanni; Dodaro, Carmine; Ricca, Francesco: Better paracoherent answer sets with less resources (2019)
  14. Calimeri, Francesco; Perri, Simona; Zangari, Jessica: Optimizing answer set computation via heuristic-based decomposition (2019)
  15. Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter: Partial compilation of ASP programs (2019)
  16. Fiorentino, Alessio; Leone, Nicola; Manna, Marco; Perri, Simona; Zangari, Jessica: Precomputing Datalog evaluation plans in large-scale scenarios (2019)
  17. 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)
  18. Taupe, Richard; Schekotihin, Konstantin; Schüller, Peter; Weinzierl, Antonius; Friedrich, Gerhard: Exploiting partial knowledge in declarative domain-specific heuristics for ASP (2019)
  19. Tekle, K. Tuncay; Liu, Yanhong A.: Extended magic for negation: efficient demand-driven evaluation of stratified Datalog with precise complexity guarantees (2019)
  20. Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro: Cautious reasoning in ASP via minimal models and unsatisfiable cores (2018)

1 2 next