Abstract
We briefly describe the answer set programming system DLV, focusing on some of its peculiar features and mentioning a number of successful applications.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Alviano M, Calimeri F, Dodaro C, Fuscà D, Leone N, Perri S, Ricca F, Veltri P, Zangari J (2017) The ASP system DLV2. LPNMR, LNCS, vol 10377. Springer, New York, pp 215–221
Alviano M, Dodaro C, Leone N, Ricca F (2015) Advances in WASP. LPNMR, LNCS, vol 9345. Springer, New York, pp 40–54
Brewka G, Eiter T, Truszczynski M (2011) Answer set programming at a glance. Commun ACM 54(12):92–103
Calimeri F, Cozza S, Ianni G, Leone N (2008) Computable functions in ASP: theory and implementation. ICLP, LNCS, vol 5366. Springer, New York, pp 407–424
Calimeri F, Fuscà D, Perri S, Zangari J (2017) I-DLV: the new intelligent grounder of DLV. Intell Artif 11(1):5–20
Dodaro C, Gasteiger P, Leone N, Musitsch B, Ricca F, Schekotihin K (2016) Combining answer set programming and domain heuristics for solving hard industrial problems (application paper). TPLP 16(5–6):653–669
Erdem E, Gelfond M, Leone N (2016) Applications of answer set programming. AI Mag 37(3):53–68
Febbraro O, Leone N, Grasso G, Ricca F (2012) JASP: a framework for integrating answer set programming with java. In: Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning. AAAI Press, pp 541–551
Febbraro O, Reale K, Ricca F (2011) ASPIDE: integrated development environment for answer set programming. LPNMR, LNCS, vol 6645. Springer, New York, pp 317–330
Fuscà D, Germano S, Zangari J, Anastasio M, Calimeri F, Perri S (2016) A framework for easing the development of applications embedding answer set programming. In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5–7, 2016. ACM, pp 38–49
Gelfond M, Lifschitz V (1991) Classical negation in logic programs and disjunctive databases. New Gener Comput 9(3/4):365–385
Leone N, Pfeifer G, Faber W, Eiter T, Gottlob G, Perri S, Scarcello F (2006) The DLV system for knowledge representation and reasoning. ACM ToCL 7(3):499–562
Leone N, Ricca F (2015) Answer set programming: a tour from the basics to advanced development tools and industrial applications. RW. Web Logic Rules, Int. Summer School, LNCS, vol 9203. Springer, New York, pp 308–326
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Adrian, W.T., Alviano, M., Calimeri, F. et al. The ASP System DLV: Advancements and Applications. Künstl Intell 32, 177–179 (2018). https://doi.org/10.1007/s13218-018-0533-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13218-018-0533-0