{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T23:52:19Z","timestamp":1768434739580,"version":"3.49.0"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319616599","type":"print"},{"value":"9783319616605","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61660-5_19","type":"book-chapter","created":{"date-parts":[[2017,6,27]],"date-time":"2017-06-27T05:22:22Z","timestamp":1498540942000},"page":"215-221","source":"Crossref","is-referenced-by-count":59,"title":["The ASP System DLV2"],"prefix":"10.1007","author":[{"given":"Mario","family":"Alviano","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Calimeri","sequence":"additional","affiliation":[]},{"given":"Carmine","family":"Dodaro","sequence":"additional","affiliation":[]},{"given":"Davide","family":"Fusc\u00e0","sequence":"additional","affiliation":[]},{"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[]},{"given":"Simona","family":"Perri","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[]},{"given":"Pierfrancesco","family":"Veltri","sequence":"additional","affiliation":[]},{"given":"Jessica","family":"Zangari","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,28]]},"reference":[{"issue":"12","key":"19_CR1","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"issue":"3\/4","key":"19_CR2","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3\/4), 365\u2013386 (1991)","journal-title":"New Gener. Comput."},{"issue":"3","key":"19_CR3","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1609\/aimag.v37i3.2678","volume":"37","author":"E Erdem","year":"2016","unstructured":"Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53\u201368 (2016)","journal-title":"AI Mag."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Answer set planning. In: ICLP, pp. 23\u201337. MIT Press (1999)","DOI":"10.1007\/3-540-46767-X_28"},{"issue":"3","key":"19_CR5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1609\/aimag.v37i3.2672","volume":"37","author":"B Kaufmann","year":"2016","unstructured":"Kaufmann, B., Leone, N., Perri, S., Schaub, T.: Grounding and solving in answer set programming. AI Mag. 37(3), 25\u201332 (2016). http:\/\/www.aaai.org\/ojs\/index.php\/aimagazine\/article\/view\/2672","journal-title":"AI Mag."},{"issue":"3","key":"19_CR6","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1609\/aimag.v37i3.2675","volume":"37","author":"Y Lierler","year":"2016","unstructured":"Lierler, Y., Maratea, M., Ricca, F.: Systems, engineering environments, and competitions. AI Mag. 37(3), 45\u201352 (2016). http:\/\/www.aaai.org\/ojs\/index.php\/aimagazine\/article\/view\/2675","journal-title":"AI Mag."},{"issue":"3","key":"19_CR7","doi-asserted-by":"crossref","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.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Log."},{"key":"19_CR8","unstructured":"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\u20132:15 (2016). http:\/\/dx.doi.org\/10.4230\/OASIcs.ICLP.2016.2"},{"issue":"1","key":"19_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.3233\/IA-170104","volume":"11","author":"F Calimeri","year":"2017","unstructured":"Calimeri, F., Fusc\u00e0, D., Perri, S., Zangari, J.: I-DLV: the new Intelligent Grounder of DLV. Intelligenza Artificiale 11(1), 5\u201320 (2017). doi: 10.3233\/IA-170104","journal-title":"Intelligenza Artificiale"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-319-23264-5_5","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Alviano","year":"2015","unstructured":"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\u201354. Springer, Cham (2015). doi: 10.1007\/978-3-319-23264-5_5"},{"issue":"4\u20135","key":"19_CR11","first-page":"755","volume":"14","author":"M Alviano","year":"2014","unstructured":"Alviano, M., Dodaro, C., Ricca, F.: Anytime computation of cautious consequences in answer set programming. TPLP 14(4\u20135), 755\u2013770 (2014)","journal-title":"TPLP"},{"key":"19_CR12","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/j.artint.2012.04.008","volume":"187","author":"M Alviano","year":"2012","unstructured":"Alviano, M., Faber, W., Greco, G., Leone, N.: Magic sets for disjunctive datalog programs. Artif. Intell. 187, 156\u2013192 (2012)","journal-title":"Artif. Intell."},{"issue":"3\u20134","key":"19_CR13","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s10472-007-9076-z","volume":"50","author":"F Calimeri","year":"2007","unstructured":"Calimeri, F., Cozza, S., Ianni, G.: External sources of knowledge and value invention in logic programming. Ann. Math. Artif. Intell. 50(3\u20134), 333\u2013361 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"5\u20136","key":"19_CR14","first-page":"653","volume":"16","author":"C Dodaro","year":"2016","unstructured":"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\u20136), 653\u2013669 (2016)","journal-title":"TPLP"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/978-3-319-23264-5_44","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gebser","year":"2015","unstructured":"Gebser, M., Maratea, M., Ricca, F.: The design of the sixth answer set programming competition \u2013 report. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS (LNAI), vol. 9345, pp. 531\u2013544. Springer, Cham (2015). doi: 10.1007\/978-3-319-23264-5_44"},{"issue":"1","key":"19_CR16","first-page":"117","volume":"14","author":"F Calimeri","year":"2014","unstructured":"Calimeri, F., Ianni, G., Ricca, F.: The third open answer set programming competition. TPLP 14(1), 117\u2013135 (2014). http:\/\/dx.doi.org\/10.1017\/S1471068412000105","journal-title":"TPLP"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61660-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,27]],"date-time":"2019-09-27T01:37:20Z","timestamp":1569548240000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61660-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319616599","9783319616605"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61660-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}