{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:38:12Z","timestamp":1742913492969,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030195694"},{"type":"electronic","value":"9783030195700"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-19570-0_29","type":"book-chapter","created":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T16:27:54Z","timestamp":1557160074000},"page":"453-461","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Memory-Saving Evaluation Plans for Datalog"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7305-3790","authenticated-orcid":false,"given":"Carlo","family":"Allocca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3285-8621","authenticated-orcid":false,"given":"Roberta","family":"Costabile","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3298-0256","authenticated-orcid":false,"given":"Alessio","family":"Fiorentino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8036-5709","authenticated-orcid":false,"given":"Simona","family":"Perri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6418-7711","authenticated-orcid":false,"given":"Jessica","family":"Zangari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,6]]},"reference":[{"key":"29_CR1","unstructured":"Adrian, W.T., Manna, M., Leone, N., Amendola, G., Adrian, M.: Entity set expansion from the web via ASP. In: ICLP (Technical Communications). OASICS, vol. 58, pp. 1:1\u20131:5. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2017)"},{"key":"29_CR2","unstructured":"Amendola, G.: Preliminary results on modeling interdependent scheduling games via answer set programming. In: Proceedings of RCRA. CEUR-WS.org (2018, to appear)"},{"key":"29_CR3","unstructured":"Amendola, G.: Solving the stable roommates problem using incoherent answer set programs. In: Proceedings of RCRA. CEUR-WS.org (2018, to appear)"},{"key":"29_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-319-49130-1_13","volume-title":"AI*IA 2016: Advances in Artificial Intelligence","author":"G Amendola","year":"2016","unstructured":"Amendola, G., Dodaro, C., Leone, N., Ricca, F.: On the application of answer set programming to the conference paper assignment problem. In: Adorni, G., Cagnoni, S., Gori, M., Maratea, M. (eds.) AI*IA 2016. LNCS (LNAI), vol. 10037, pp. 164\u2013178. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49130-1_13"},{"key":"29_CR5","unstructured":"Amendola, G., Greco, G., Leone, N., Veltri, P.: Modeling and reasoning about NTU games via answer set programming. In: IJCAI, pp. 38\u201345 (2016)"},{"issue":"5\u20136","key":"29_CR6","first-page":"726","volume":"17","author":"G Amendola","year":"2017","unstructured":"Amendola, G., Leone, N., Manna, M.: Finite model reasoning over existential rules. TPLP 17(5\u20136), 726\u2013743 (2017)","journal-title":"TPLP"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Amendola, G., Leone, N., Manna, M.: Finite controllability of conjunctive query answering with existential : Two steps forward. In: IJCAI, pp. 5189\u20135193 (2018)","DOI":"10.24963\/ijcai.2018\/719"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Amendola, G., Leone, N., Manna, M., Veltri, P.: Enhancing existential rules by closed-world variables. In: IJCAI, pp. 1676\u20131682 (2018)","DOI":"10.24963\/ijcai.2018\/232"},{"issue":"12","key":"29_CR9","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.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: Tractable query answering over ontologies with datalog+\/-. In: Proceedings of DL 2009 (2009)","DOI":"10.1007\/978-3-642-04329-1_12"},{"key":"29_CR11","unstructured":"Calimeri, F., et al.: ASP-core-2: Input language format (2012). https:\/\/www.mat.unical.it\/aspcomp2013\/files\/ASP-CORE-2.03b.pdf"},{"issue":"1","key":"29_CR12","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)","journal-title":"Intelligenza Artificiale"},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Calimeri, F., Perri, S., Zangari, J.: Optimizing answer set computation via heuristic-based decomposition. In: TPLP, pp. 1\u201326 (2019)","DOI":"10.1017\/S1471068419000036"},{"key":"29_CR14","series-title":"SECS","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-1-4615-1567-8_4","volume-title":"Logic-Based Artificial Intelligence","author":"T Eiter","year":"2000","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative problem-solving using the DLV system. In: Minker, J. (ed.) Logic-Based Artificial Intelligence. SECS, vol. 597, pp. 79\u2013103. Springer, Boston (2000). https:\/\/doi.org\/10.1007\/978-1-4615-1567-8_4"},{"key":"29_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-03754-2_2","volume-title":"Reasoning Web. Semantic Technologies for Information Systems","author":"T Eiter","year":"2009","unstructured":"Eiter, T., Ianni, G., Krennwallner, T.: Answer set programming: a primer. In: Tessaris, S., et al. (eds.) Reasoning Web 2009. LNCS, vol. 5689, pp. 40\u2013110. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03754-2_2"},{"key":"29_CR16","unstructured":"Eiter, T., Ortiz, M., Simkus, M., Tran, T., Xiao, G.: Query rewriting for Horn-SHIQ plus rules. In: Proceedings of AAAI (2012)"},{"issue":"3\/4","key":"29_CR17","doi-asserted-by":"publisher","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."},{"key":"29_CR18","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1613\/jair.3470","volume":"43","author":"BC Grau","year":"2012","unstructured":"Grau, B.C., Motik, B., Stoilos, G., Horrocks, I.: Completeness guarantees for incomplete ontology reasoners: theory and practice. J. Artif. Intell. Res. 43, 419\u2013476 (2012)","journal-title":"J. Artif. Intell. Res."},{"issue":"3","key":"29_CR19","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., et al.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Logic 7(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"2","key":"29_CR20","first-page":"227","volume":"13","author":"M Manna","year":"2013","unstructured":"Manna, M., Ricca, F., Terracina, G.: Consistent query answering via ASP from different perspectives: theory and practice. TPLP 13(2), 227\u2013252 (2013)","journal-title":"TPLP"},{"issue":"4\u20135","key":"29_CR21","first-page":"696","volume":"15","author":"M Manna","year":"2015","unstructured":"Manna, M., Ricca, F., Terracina, G.: Taming primary key violations to query large inconsistent data via ASP. TPLP 15(4\u20135), 696\u2013710 (2015)","journal-title":"TPLP"},{"key":"29_CR22","series-title":"AI","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm - A 25-Year Perspective","author":"VW Marek","year":"1999","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: Apt, K.R., Marek, V.W., Truszczy\u0144ski, M., Warren, D.S. (eds.) The Logic Programming Paradigm - A 25-Year Perspective. AI, pp. 375\u2013398. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/978-3-642-60085-2_17"},{"key":"29_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/978-3-642-41338-4_24","volume-title":"The Semantic Web \u2013 ISWC 2013","author":"J Mora","year":"2013","unstructured":"Mora, J., Corcho, O.: Towards a systematic benchmarking of ontology-based query rewriting systems. In: Alani, H., et al. (eds.) ISWC 2013. LNCS, vol. 8219, pp. 376\u2013391. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41338-4_24"},{"issue":"3\u20134","key":"29_CR24","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programming with stable model semantics as constraint programming paradigm. Ann. Math. Artif. Intell. 25(3\u20134), 241\u2013273 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"29_CR25","unstructured":"Ortiz, M.: Ontology based query answering: the story so far. In: AMW. CEUR Workshop Proceedings, vol. 1087. CEUR-WS.org (2013)"},{"issue":"1\u20132","key":"29_CR26","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3233\/FI-2010-357","volume":"105","author":"F Ricca","year":"2010","unstructured":"Ricca, F., et al.: A logic-based system for e-tourism. Fundam. Inform. 105(1\u20132), 35\u201355 (2010)","journal-title":"Fundam. Inform."},{"issue":"3","key":"29_CR27","first-page":"361","volume":"12","author":"F Ricca","year":"2012","unstructured":"Ricca, F., et al.: Team-building with answer set programming in the Gioia-Tauro seaport. TPLP 12(3), 361\u2013381 (2012)","journal-title":"TPLP"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19570-0_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,10]],"date-time":"2020-12-10T14:33:21Z","timestamp":1607610801000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19570-0_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030195694","9783030195700"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19570-0_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"6 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rende","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/jelia2019.mat.unical.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}