The ASP System DLV2

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10377)


We introduce Open image in new window , a new Answer Set Programming (ASP) system. Open image in new window combines Open image in new window , a fully-compliant ASP-Core-2 grounder, with the well-assessed solver Open image in new window . 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 Open image in new window outperforms the old Open image in new window system and is close to the state-of-the-art ASP system \(\textsc {clingo} \).


Answer Set Programming Systems Grounding Solving 



The work has been partially supported by the Italian ministry for economic development (MISE) under project “PIUCultura - Paradigmi Innovativi per l’Utilizzo della Cultura” (n. F/020016/01-02/X27), and under project “Smarter Solutions in the Big Data World (S2BDW)”.


  1. 1.
    Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)CrossRefGoogle Scholar
  2. 2.
    Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3/4), 365–386 (1991)CrossRefzbMATHGoogle Scholar
  3. 3.
    Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53–68 (2016)Google Scholar
  4. 4.
    Lifschitz, V.: Answer set planning. In: ICLP, pp. 23–37. MIT Press (1999)Google Scholar
  5. 5.
    Kaufmann, B., Leone, N., Perri, S., Schaub, T.: Grounding and solving in answer set programming. AI Mag. 37(3), 25–32 (2016). Google Scholar
  6. 6.
    Lierler, Y., Maratea, M., Ricca, F.: Systems, engineering environments, and competitions. AI Mag. 37(3), 45–52 (2016). Google Scholar
  7. 7.
    Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499–562 (2006)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Wanko, P.: Theory solving made easy with clingo 5. In: ICLP TCs, pp. 2:1–2:15 (2016).
  9. 9.
    Calimeri, F., Fuscà, D., Perri, S., Zangari, J.: I-DLV: the new Intelligent Grounder of DLV. Intelligenza Artificiale 11(1), 5–20 (2017). doi: 10.3233/IA-170104 CrossRefGoogle Scholar
  10. 10.
    Alviano, M., Dodaro, C., Leone, N., Ricca, F.: Advances in WASP. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS (LNAI), vol. 9345, pp. 40–54. Springer, Cham (2015). doi: 10.1007/978-3-319-23264-5_5 CrossRefGoogle Scholar
  11. 11.
    Alviano, M., Dodaro, C., Ricca, F.: Anytime computation of cautious consequences in answer set programming. TPLP 14(4–5), 755–770 (2014)zbMATHGoogle Scholar
  12. 12.
    Alviano, M., Faber, W., Greco, G., Leone, N.: Magic sets for disjunctive datalog programs. Artif. Intell. 187, 156–192 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Calimeri, F., Cozza, S., Ianni, G.: External sources of knowledge and value invention in logic programming. Ann. Math. Artif. Intell. 50(3–4), 333–361 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Dodaro, C., Gasteiger, P., Leone, N., Musitsch, B., Ricca, F., Schekotihin, K.: Combining answer set programming and domain heuristics for solving hard industrial problems (application paper). TPLP 16(5–6), 653–669 (2016)MathSciNetGoogle Scholar
  15. 15.
    Gebser, M., Maratea, M., Ricca, F.: The design of the sixth answer set programming competition – report. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS (LNAI), vol. 9345, pp. 531–544. Springer, Cham (2015). doi: 10.1007/978-3-319-23264-5_44 CrossRefGoogle Scholar
  16. 16.
    Calimeri, F., Ianni, G., Ricca, F.: The third open answer set programming competition. TPLP 14(1), 117–135 (2014). Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.DeMaCSUniversity of CalabriaRendeItaly
  2. 2.DIBRISUniversity of GenovaGenovaItaly

Personalised recommendations