{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T01:05:27Z","timestamp":1784163927444,"version":"3.55.0"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2018,5,14]],"date-time":"2018-05-14T00:00:00Z","timestamp":1526256000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s13218-018-0533-0","type":"journal-article","created":{"date-parts":[[2018,5,14]],"date-time":"2018-05-14T06:27:31Z","timestamp":1526279251000},"page":"177-179","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":27,"title":["The ASP System DLV: Advancements and Applications"],"prefix":"10.1007","volume":"32","author":[{"given":"Weronika T.","family":"Adrian","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mario","family":"Alviano","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0866-0834","authenticated-orcid":false,"given":"Francesco","family":"Calimeri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernardo","family":"Cuteri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carmine","family":"Dodaro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wolfgang","family":"Faber","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Davide","family":"Fusc\u00e0","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Manna","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simona","family":"Perri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pierfrancesco","family":"Veltri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jessica","family":"Zangari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,5,14]]},"reference":[{"key":"533_CR1","first-page":"215","volume-title":"The ASP system DLV2. LPNMR, LNCS, vol 10377","author":"M Alviano","year":"2017","unstructured":"Alviano M, Calimeri F, Dodaro C, Fusc\u00e0 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\u2013221"},{"key":"533_CR2","first-page":"40","volume-title":"Advances in WASP. LPNMR, LNCS, vol 9345","author":"M Alviano","year":"2015","unstructured":"Alviano M, Dodaro C, Leone N, Ricca F (2015) Advances in WASP. LPNMR, LNCS, vol 9345. Springer, New York, pp 40\u201354"},{"issue":"12","key":"533_CR3","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka G, Eiter T, Truszczynski M (2011) Answer set programming at a glance. Commun ACM 54(12):92\u2013103","journal-title":"Commun ACM"},{"key":"533_CR4","first-page":"407","volume-title":"Computable functions in ASP: theory and implementation. ICLP, LNCS, vol 5366","author":"F Calimeri","year":"2008","unstructured":"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\u2013424"},{"issue":"1","key":"533_CR5","first-page":"5","volume":"11","author":"F Calimeri","year":"2017","unstructured":"Calimeri F, Fusc\u00e0 D, Perri S, Zangari J (2017) I-DLV: the new intelligent grounder of DLV. Intell Artif 11(1):5\u201320","journal-title":"Intell Artif"},{"issue":"5\u20136","key":"533_CR6","first-page":"653","volume":"16","author":"C Dodaro","year":"2016","unstructured":"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\u20136):653\u2013669","journal-title":"TPLP"},{"issue":"3","key":"533_CR7","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1609\/aimag.v37i3.2678","volume":"37","author":"E Erdem","year":"2016","unstructured":"Erdem E, Gelfond M, Leone N (2016) Applications of answer set programming. AI Mag 37(3):53\u201368","journal-title":"AI Mag"},{"key":"533_CR8","unstructured":"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\u2013551"},{"key":"533_CR9","first-page":"317","volume-title":"ASPIDE: integrated development environment for answer set programming. LPNMR, LNCS, vol 6645","author":"O Febbraro","year":"2011","unstructured":"Febbraro O, Reale K, Ricca F (2011) ASPIDE: integrated development environment for answer set programming. LPNMR, LNCS, vol 6645. Springer, New York, pp 317\u2013330"},{"key":"533_CR10","doi-asserted-by":"crossref","unstructured":"Fusc\u00e0 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\u20137, 2016. ACM, pp 38\u201349","DOI":"10.1145\/2967973.2968594"},{"issue":"3\/4","key":"533_CR11","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond M, Lifschitz V (1991) Classical negation in logic programs and disjunctive databases. New Gener Comput 9(3\/4):365\u2013385","journal-title":"New Gener Comput"},{"issue":"3","key":"533_CR12","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"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\u2013562","journal-title":"ACM ToCL"},{"key":"533_CR13","first-page":"308","volume-title":"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","author":"N Leone","year":"2015","unstructured":"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\u2013326"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-018-0533-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-018-0533-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-018-0533-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T00:28:28Z","timestamp":1557793708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-018-0533-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,14]]},"references-count":13,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["533"],"URL":"https:\/\/doi.org\/10.1007\/s13218-018-0533-0","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,5,14]]},"assertion":[{"value":"14 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}