{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T05:12:53Z","timestamp":1757567573550,"version":"3.37.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319701684"},{"type":"electronic","value":"9783319701691"}],"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-70169-1_13","type":"book-chapter","created":{"date-parts":[[2017,11,6]],"date-time":"2017-11-06T02:14:23Z","timestamp":1509934463000},"page":"172-185","source":"Crossref","is-referenced-by-count":7,"title":["External Computations and Interoperability in the New DLV Grounder"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Calimeri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Fusc\u00e0","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simona","family":"Perri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jessica","family":"Zangari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,7]]},"reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-61660-5_19","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Alviano","year":"2017","unstructured":"Alviano, M., et al.: The ASP system DLV2. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS, vol. 10377, pp. 215\u2013221. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61660-5_19"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","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, vol. 9345, pp. 40\u201354. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23264-5_5"},{"issue":"12","key":"13_CR3","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\u20134","key":"13_CR4","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."},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/978-3-642-04238-6_46","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F Calimeri","year":"2009","unstructured":"Calimeri, F., Cozza, S., Ianni, G., Leone, N.: An ASP system with functions, lists, and sets. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 483\u2013489. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04238-6_46"},{"key":"13_CR6","unstructured":"Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Ricca, F., Schaub, T.: Asp-core-2: input language format. Technical Report, ASP Standardization Working Group (2012)"},{"issue":"1","key":"13_CR7","doi-asserted-by":"crossref","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)","journal-title":"Intelligenza Artificiale"},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.artint.2015.09.008","volume":"231","author":"F Calimeri","year":"2016","unstructured":"Calimeri, F., Gebser, M., Maratea, M., Ricca, F.: Design and results of the fifth answer set programming competition. Artif. Intell. 231, 151\u2013181 (2016)","journal-title":"Artif. Intell."},{"key":"13_CR9","unstructured":"Calimeri, F., Perri, S., Fusc\u00e0, D., Zangari, J.: $$\\cal{I}$$ I -DLV homepage (since 2016). https:\/\/github.com\/DeMaCS-UNICAL\/I-DLV\/wiki"},{"issue":"4","key":"13_CR10","first-page":"418","volume":"16","author":"T Eiter","year":"2016","unstructured":"Eiter, T., Fink, M., Ianni, G., Krennwallner, T., Redl, C., Sch\u00fcller, P.: A model building framework for answer set programming with external computations. TPLP 16(4), 418\u2013464 (2016)","journal-title":"TPLP"},{"issue":"3","key":"13_CR11","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":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-642-30743-0_17","volume-title":"Correct Reasoning","author":"W Faber","year":"2012","unstructured":"Faber, W., Leone, N., Perri, S.: The intelligent grounder of DLV. In: Erdem, E., Lee, J., Lierler, Y., Pearce, D. (eds.) Correct Reasoning. LNCS, vol. 7265, pp. 247\u2013264. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30743-0_17"},{"key":"13_CR13","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)"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-642-20895-9_39","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., K\u00f6nig, A., Schaub, T.: Advances in gringo series 3. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 345\u2013351. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20895-9_39"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Gebser, M., Maratea, M., Ricca, F.: What\u2019s hot in the answer set programming competition. In: AAAI 2016, pp. 4327\u20134329. AAAI Press (2016)","DOI":"10.1609\/aaai.v30i1.9872"},{"key":"13_CR16","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: ICLP 1988, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"issue":"3\/4","key":"13_CR17","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\u2013385 (1991)","journal-title":"New Gener. Comput."},{"issue":"2","key":"13_CR18","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","volume":"3","author":"Y Guo","year":"2005","unstructured":"Guo, Y., Pan, Z., Heflin, J.: LUBM: a benchmark for OWL knowledge base systems. Web Semant.: Sci. Serv. Agents World Wide Web 3(2), 158\u2013182 (2005)","journal-title":"Web Semant.: Sci. Serv. Agents World Wide Web"},{"issue":"3","key":"13_CR19","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)","journal-title":"AI Mag."},{"issue":"3","key":"13_CR20","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. (TOCL) 7(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Log. (TOCL)"},{"issue":"3","key":"13_CR21","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)","journal-title":"AI Mag."},{"key":"13_CR22","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"},{"key":"13_CR23","volume-title":"Principles of Database and Knowledge-Base Systems","author":"JD Ullman","year":"1988","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol. 1. Computer Science Press, New York (1988)"},{"key":"13_CR24","unstructured":"Walega, P.A., Schultz, C.P.L., Bhatt, M.: Non-monotonic spatial reasoning with answer set programming modulo theories. CoRR abs\/1606.07860 (2016). http:\/\/arxiv.org\/abs\/1606.07860"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2017 Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70169-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,6]],"date-time":"2022-08-06T13:36:33Z","timestamp":1659792993000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70169-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319701684","9783319701691"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70169-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}