{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,23]],"date-time":"2025-06-23T11:10:07Z","timestamp":1750677007369,"version":"3.41.0"},"reference-count":39,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T00:00:00Z","timestamp":1747785600000},"content-version":"unspecified","delay-in-days":20,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2025,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>DLV2 is an AI tool for knowledge representation and reasoning that supports answer set programming (ASP) \u2013 a logic-based declarative formalism, successfully used in both academic and industrial applications. Given a logic program modeling a computational problem, an execution of DLV2 produces the so-called answer sets that correspond one-to-one to the solutions to the problem at hand. The computational process of DLV2 relies on the typical ground &amp; solve approach, where the grounding step transforms the input program into a new, equivalent ground program, and the subsequent solving step applies propositional algorithms to search for the answer sets. Recently, emerging applications in contexts such as stream reasoning and event processing created a demand for multi-shot reasoning: here, the system is expected to be reactive while repeatedly executed over rapidly changing data. In this work, we present a new incremental reasoner obtained from the evolution of DLV2 toward iterated reasoning. Rather than restarting the computation from scratch, the system remains alive across repeated shots, and it incrementally handles the internal grounding process. At each shot, the system reuses previous computations for building and maintaining a large, more general ground program, from which a smaller yet equivalent portion is determined and used for computing answer sets. Notably, the incremental process is performed in a completely transparent fashion for the user. We describe the system, its usage, its applicability, and performance in some practically relevant domains.<\/jats:p>","DOI":"10.1017\/s1471068425000067","type":"journal-article","created":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:26:41Z","timestamp":1747808801000},"page":"281-303","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":0,"title":["ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding"],"prefix":"10.1017","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0866-0834","authenticated-orcid":false,"given":"FRANCESCO","family":"CALIMERI","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0534-6425","authenticated-orcid":false,"given":"GIOVAMBATTISTA","family":"IANNI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6632-3492","authenticated-orcid":false,"given":"FRANCESCO","family":"PACENZA","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":"56","published-online":{"date-parts":[[2025,5,21]]},"reference":[{"key":"S1471068425000067_ref12","first-page":"1","volume-title":"Practical Aspects of Declarative Languages - 26th International Symposium, PADL 2024","volume":"14512","author":"Calimeri","year":"2024"},{"key":"S1471068425000067_ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"S1471068425000067_ref35","first-page":"1965","volume-title":"Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18)","author":"Suchan","year":"2018"},{"key":"S1471068425000067_ref1","doi-asserted-by":"publisher","DOI":"10.1109\/EIConCIT50028.2021.9431875"},{"key":"S1471068425000067_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"S1471068425000067_ref9","doi-asserted-by":"publisher","DOI":"10.3233\/IA-170104"},{"key":"S1471068425000067_ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-018-9721-x"},{"key":"S1471068425000067_ref31","first-page":"247","volume-title":"Web Reasoning and Rule Systems - 7th International Conference, RR 2013","volume":"7994","author":"Mileo","year":"2013"},{"key":"S1471068425000067_ref36","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068409990159"},{"key":"S1471068425000067_ref37","volume-title":"Principles of Database and Knowledge-Base Systems, Volume I","volume":"14","author":"Ullman","year":"1988"},{"key":"S1471068425000067_ref5","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068417000370"},{"key":"S1471068425000067_ref14","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068419000036"},{"key":"S1471068425000067_ref6","first-page":"2694","volume-title":"The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019","author":"Bomanson","year":"2019"},{"key":"S1471068425000067_ref27","doi-asserted-by":"publisher","DOI":"10.1017\/S147106842000040X"},{"key":"S1471068425000067_ref21","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068418000054"},{"key":"S1471068425000067_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30743-0_17"},{"key":"S1471068425000067_ref2","first-page":"215","volume-title":"Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017","volume":"10377","author":"Alviano","year":"2017"},{"key":"S1471068425000067_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2018.04.003"},{"key":"S1471068425000067_ref13","doi-asserted-by":"publisher","DOI":"10.1017\/S147106842100034X"},{"key":"S1471068425000067_ref29","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068416000569"},{"volume-title":"Handbook of Data Structures and Applications","year":"2004","author":"Demetrescu","key":"S1471068425000067_ref17"},{"key":"S1471068425000067_ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2018.12.004"},{"key":"S1471068425000067_ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s41019-019-00105-0"},{"key":"S1471068425000067_ref38","first-page":"72","volume-title":"Future Internet - FIS 2008, First Future Internet Symposium, FIS 2008","volume":"5468","author":"Valle","year":"2008"},{"key":"S1471068425000067_ref16","doi-asserted-by":"publisher","DOI":"10.3233\/DS-170006"},{"key":"S1471068425000067_ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(76)90065-X"},{"key":"S1471068425000067_ref34","doi-asserted-by":"publisher","DOI":"10.24963\/kr.2023\/60"},{"key":"S1471068425000067_ref15","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2009-180"},{"key":"S1471068425000067_ref3","first-page":"1","volume-title":"IEEE International Conference on Communications, ICC 2017","author":"Beck","year":"2017"},{"key":"S1471068425000067_ref10","first-page":"310","volume-title":"Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018","volume":"11092","author":"Calimeri","year":"2018"},{"key":"S1471068425000067_ref23","doi-asserted-by":"crossref","unstructured":"Gebser, M. , Leone, N. , Maratea, M. , Perri, S. , Ricca, F. and Schaub, T. 2018. Evaluation techniques and systems for answer set programming: a survey. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, J. Lang, Ed. Stockholm, Sweden, pp. 5450\u20135456, ijcai.org. 2018, July 13-19, 2018.","DOI":"10.24963\/ijcai.2018\/769"},{"key":"S1471068425000067_ref25","first-page":"128","volume-title":"Algorithms and Computation - 25th International Symposium, ISAAC 2014","volume":"8889","author":"He","year":"2014"},{"key":"S1471068425000067_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03754-2_2"},{"key":"S1471068425000067_ref11","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068419000292"},{"key":"S1471068425000067_ref8","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068419000450"},{"key":"S1471068425000067_ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"S1471068425000067_ref18","doi-asserted-by":"publisher","DOI":"10.1017\/S147106842000037X"},{"key":"S1471068425000067_ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2022.103726"},{"key":"S1471068425000067_ref22","first-page":"345","volume-title":"Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011","volume":"6645","author":"Gebser","year":"2011"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068425000067","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,23]],"date-time":"2025-06-23T10:40:52Z","timestamp":1750675252000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068425000067\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,5]]}},"alternative-id":["S1471068425000067"],"URL":"https:\/\/doi.org\/10.1017\/s1471068425000067","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2025,5]]},"assertion":[{"value":"\u00a9 The Author(s), 2025. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This is an Open Access article, distributed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivatives licence (https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/), which permits non-commercial re-use, distribution, and reproduction in any medium, provided that no alterations are made and the original article is properly cited. The written permission of Cambridge University Press must be obtained prior to any commercial use and\/or adaptation of the article.","name":"license","label":"License","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}