{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:46:38Z","timestamp":1757544398082,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,9,20]],"date-time":"2022-09-20T00:00:00Z","timestamp":1663632000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,9,20]]},"DOI":"10.1145\/3551357.3551371","type":"proceedings-article","created":{"date-parts":[[2022,9,20]],"date-time":"2022-09-20T15:37:25Z","timestamp":1663688245000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding"],"prefix":"10.1145","author":[{"given":"Francesco","family":"Calimeri","sequence":"first","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovambattista","family":"Ianni","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Pacenza","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simona","family":"Perri","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jessica","family":"Zangari","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"2021 3rd East Indonesia Conference on Computer and Information Technology (EIConCIT). 7\u201313","author":"Dani\u00a0Prasetyo Adi Puput","year":"2021","unstructured":"Puput Dani\u00a0Prasetyo Adi , Volvo Sihombing , Victor Marudut\u00a0Mulia Siregar , Gomal\u00a0Juni Yanris , Fricles\u00a0Ariwisanto Sianturi , Windania Purba , Saut\u00a0Parsaoran Tamba , Julianto Simatupang , Rahman Arifuddin , Subairi, and Dwi\u00a0Arman Prasetya . 2021 . A Performance Evaluation of ZigBee Mesh Communication on the Internet of Things (IoT) . In 2021 3rd East Indonesia Conference on Computer and Information Technology (EIConCIT). 7\u201313 . https:\/\/doi.org\/10.1109\/EIConCIT50028.2021.9431875 10.1109\/EIConCIT50028.2021.9431875 Puput Dani\u00a0Prasetyo Adi, Volvo Sihombing, Victor Marudut\u00a0Mulia Siregar, Gomal\u00a0Juni Yanris, Fricles\u00a0Ariwisanto Sianturi, Windania Purba, Saut\u00a0Parsaoran Tamba, Julianto Simatupang, Rahman Arifuddin, Subairi, and Dwi\u00a0Arman Prasetya. 2021. A Performance Evaluation of ZigBee Mesh Communication on the Internet of Things (IoT). In 2021 3rd East Indonesia Conference on Computer and Information Technology (EIConCIT). 7\u201313. https:\/\/doi.org\/10.1109\/EIConCIT50028.2021.9431875"},{"volume-title":"LPNMR(Lecture Notes in Computer Science, Vol.\u00a010377)","author":"Alviano Mario","key":"e_1_3_2_1_2_1","unstructured":"Mario Alviano , Francesco Calimeri , Carmine Dodaro , Davide Fusc\u00e0 , Nicola Leone , Simona Perri , Francesco Ricca , Pierfrancesco Veltri , and Jessica Zangari . 2017. The ASP System DLV2 . In LPNMR(Lecture Notes in Computer Science, Vol.\u00a010377) . Springer , 215\u2013221. Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fusc\u00e0, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, and Jessica Zangari. 2017. The ASP System DLV2. In LPNMR(Lecture Notes in Computer Science, Vol.\u00a010377). Springer, 215\u2013221."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2017.7996762"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2018.04.003"},{"key":"e_1_3_2_1_5_1","first-page":"5","article-title":"Ticker: A system for incremental ASP-based stream reasoning","volume":"17","author":"Beck Harald","year":"2017","unstructured":"Harald Beck , Thomas Eiter , and Christian Folie . 2017 . Ticker: A system for incremental ASP-based stream reasoning . TPLP 17 , 5 - 6 (2017), 744\u2013763. https:\/\/doi.org\/10.1017\/S1471068417000370 10.1017\/S1471068417000370 Harald Beck, Thomas Eiter, and Christian Folie. 2017. Ticker: A system for incremental ASP-based stream reasoning. TPLP 17, 5-6 (2017), 744\u2013763. https:\/\/doi.org\/10.1017\/S1471068417000370","journal-title":"TPLP"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33012694"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068419000450"},{"key":"#cr-split#-e_1_3_2_1_9_1.1","doi-asserted-by":"crossref","unstructured":"Francesco Calimeri Stefano Germano Giovambattista Ianni Francesco Pacenza Simona Perri and Jessica Zangari. 2018. Integrating Rule-Based AI Tools into Mainstream Game Development. In RuleML+RR 2018(LNCS Vol.\u00a011092). 310-317. https:\/\/doi.org\/10.1007\/978-3-319-99906-7_23 10.1007\/978-3-319-99906-7_23","DOI":"10.1007\/978-3-319-99906-7_23"},{"key":"#cr-split#-e_1_3_2_1_9_1.2","doi-asserted-by":"crossref","unstructured":"Francesco Calimeri Stefano Germano Giovambattista Ianni Francesco Pacenza Simona Perri and Jessica Zangari. 2018. Integrating Rule-Based AI Tools into Mainstream Game Development. In RuleML+RR 2018(LNCS Vol.\u00a011092). 310-317. https:\/\/doi.org\/10.1007\/978-3-319-99906-7_23","DOI":"10.1007\/978-3-319-99906-7_23"},{"key":"e_1_3_2_1_10_1","first-page":"5","article-title":"Incremental Answer Set Programming with Overgrounding","volume":"19","author":"Calimeri Francesco","year":"2019","unstructured":"Francesco Calimeri , Giovambattista Ianni , Francesco Pacenza , Simona Perri , and Jessica Zangari . 2019 . Incremental Answer Set Programming with Overgrounding . TPLP 19 , 5 - 6 (2019), 957\u2013973. Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, and Jessica Zangari. 2019. Incremental Answer Set Programming with Overgrounding. TPLP 19, 5-6 (2019), 957\u2013973.","journal-title":"TPLP"},{"key":"e_1_3_2_1_11_1","volume-title":"Stream Reasoning with Incremental Grounding. In 5th Stream Reasoning Workshop.","author":"Calimeri Francesco","year":"2021","unstructured":"Francesco Calimeri , Giovambattista Ianni , Francesco Pacenza , Simona Perri , and Jessica Zangari . 2021 . Stream Reasoning with Incremental Grounding. In 5th Stream Reasoning Workshop. Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, and Jessica Zangari. 2021. Stream Reasoning with Incremental Grounding. In 5th Stream Reasoning Workshop."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S147106842100034X"},{"key":"e_1_3_2_1_13_1","first-page":"297","article-title":"GASP","volume":"96","author":"Dal\u00a0Pal\u00f9 Alessandro","year":"2009","unstructured":"Alessandro Dal\u00a0Pal\u00f9 , Agostino Dovier , Enrico Pontelli , and Gianfranco Rossi . 2009 . GASP : Answer Set Programming with Lazy Grounding. Fundam. Inform. 96 , 3 (2009), 297 \u2013 322 . Alessandro Dal\u00a0Pal\u00f9, Agostino Dovier, Enrico Pontelli, and Gianfranco Rossi. 2009. GASP: Answer Set Programming with Lazy Grounding. Fundam. Inform. 96, 3 (2009), 297\u2013322.","journal-title":"Answer Set Programming with Lazy Grounding. Fundam. Inform."},{"key":"e_1_3_2_1_14_1","first-page":"1","article-title":"Stream reasoning: A survey and outlook","volume":"1","author":"Dell\u2019Aglio Daniele","year":"2017","unstructured":"Daniele Dell\u2019Aglio , Emanuele\u00a0Della Valle , Frank van Harmelen , and Abraham Bernstein . 2017 . Stream reasoning: A survey and outlook . Data Sci. 1 , 1 - 2 (2017), 59\u201383. Daniele Dell\u2019Aglio, Emanuele\u00a0Della Valle, Frank van Harmelen, and Abraham Bernstein. 2017. Stream reasoning: A survey and outlook. Data Sci. 1, 1-2 (2017), 59\u201383.","journal-title":"Data Sci."},{"key":"e_1_3_2_1_15_1","volume-title":"Handbook of Data Structures and Applications, D.\u00a0P. Mehta and S.\u00a0Sahni (Eds.)","author":"Demetrescu Camil","year":"2003","unstructured":"Camil Demetrescu , Irene Finocchi , and Giuseppe\u00a0 F. Italiano . 2004. Dynamic Graphs . In Handbook of Data Structures and Applications, D.\u00a0P. Mehta and S.\u00a0Sahni (Eds.) . Chapman and Hall\/CRC. https:\/\/doi.org\/10.1201\/97814 2003 5179.ch36 10.1201\/9781420035179.ch36 Camil Demetrescu, Irene Finocchi, and Giuseppe\u00a0F. Italiano. 2004. Dynamic Graphs. In Handbook of Data Structures and Applications, D.\u00a0P. Mehta and S.\u00a0Sahni (Eds.). Chapman and Hall\/CRC. https:\/\/doi.org\/10.1201\/9781420035179.ch36"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S147106842000037X"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03754-2_2"},{"key":"#cr-split#-e_1_3_2_1_18_1.1","doi-asserted-by":"crossref","unstructured":"Wolfgang Faber Nicola Leone and Simona Perri. 2012. The Intelligent Grounder of DLV. In Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz(Lecture Notes in Computer Science Vol.\u00a07265). 247-264. https:\/\/doi.org\/10.1007\/978-3-642-30743-0_17 10.1007\/978-3-642-30743-0_17","DOI":"10.1007\/978-3-642-30743-0_17"},{"key":"#cr-split#-e_1_3_2_1_18_1.2","doi-asserted-by":"crossref","unstructured":"Wolfgang Faber Nicola Leone and Simona Perri. 2012. The Intelligent Grounder of DLV. In Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz(Lecture Notes in Computer Science Vol.\u00a07265). 247-264. https:\/\/doi.org\/10.1007\/978-3-642-30743-0_17","DOI":"10.1007\/978-3-642-30743-0_17"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068418000054"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/769"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"e_1_3_2_1_22_1","volume-title":"ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings(Lecture Notes in Computer Science, Vol.\u00a08889)","author":"He Meng","year":"2014","unstructured":"Meng He , Ganggui Tang , and Norbert Zeh . 2014 . Orienting Dynamic Graphs, with Applications to Maximal Matchings and Adjacency Queries. In Algorithms and Computation - 25th International Symposium , ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings(Lecture Notes in Computer Science, Vol.\u00a08889) , Hee-Kap Ahn and Chan-Su Shin (Eds.). Springer, 128\u2013140. https:\/\/doi.org\/10.1007\/978-3-319-13075-0_11 10.1007\/978-3-319-13075-0_11 Meng He, Ganggui Tang, and Norbert Zeh. 2014. Orienting Dynamic Graphs, with Applications to Maximal Matchings and Adjacency Queries. In Algorithms and Computation - 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings(Lecture Notes in Computer Science, Vol.\u00a08889), Hee-Kap Ahn and Chan-Su Shin (Eds.). Springer, 128\u2013140. https:\/\/doi.org\/10.1007\/978-3-319-13075-0_11"},{"key":"e_1_3_2_1_23_1","first-page":"719","article-title":"Incremental maintenance of overgrounded logic programs with tailored simplifications","volume":"20","author":"Ianni Giovambattista","year":"2020","unstructured":"Giovambattista Ianni , Francesco Pacenza , and Jessica Zangari . 2020 . Incremental maintenance of overgrounded logic programs with tailored simplifications . TPLP 20 , 5 (2020), 719 \u2013 734 . Giovambattista Ianni, Francesco Pacenza, and Jessica Zangari. 2020. Incremental maintenance of overgrounded logic programs with tailored simplifications. TPLP 20, 5 (2020), 719\u2013734.","journal-title":"TPLP"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(76)90065-X"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068416000569"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"e_1_3_2_1_27_1","volume-title":"RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings(Lecture Notes in Computer Science, Vol.\u00a07994)","author":"Mileo Alessandra","year":"2013","unstructured":"Alessandra Mileo , Ahmed Abdelrahman , Sean Policarpio , and Manfred Hauswirth . 2013 . StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web. In Web Reasoning and Rule Systems - 7th International Conference , RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings(Lecture Notes in Computer Science, Vol.\u00a07994) , Wolfgang Faber and Domenico Lembo (Eds.). Springer, 247\u2013252. https:\/\/doi.org\/10.1007\/978-3-642-39666-3_23 10.1007\/978-3-642-39666-3_23 Alessandra Mileo, Ahmed Abdelrahman, Sean Policarpio, and Manfred Hauswirth. 2013. StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web. In Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings(Lecture Notes in Computer Science, Vol.\u00a07994), Wolfgang Faber and Domenico Lembo (Eds.). Springer, 247\u2013252. https:\/\/doi.org\/10.1007\/978-3-642-39666-3_23"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2018.12.004"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-018-9721-x"},{"key":"e_1_3_2_1_30_1","volume-title":"\u00a0L. Schultz","author":"Suchan Jakob","year":"2018","unstructured":"Jakob Suchan , Mehul Bhatt , Przemyslaw\u00a0Andrzej Walega , and Carl P . \u00a0L. Schultz . 2018 . Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects. In AAAI. 1965\u20131972. https:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI18\/paper\/view\/17303 Jakob Suchan, Mehul Bhatt, Przemyslaw\u00a0Andrzej Walega, and Carl P.\u00a0L. Schultz. 2018. Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects. In AAAI. 1965\u20131972. https:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI18\/paper\/view\/17303"},{"volume-title":"Principles of Database and Knowledge-Base Systems","author":"Ullman D.","key":"e_1_3_2_1_31_1","unstructured":"Jeffrey\u00a0 D. Ullman . 1988. Principles of Database and Knowledge-Base Systems , Volume I . Principles of computer science series, Vol.\u00a014. Computer Science Press . http:\/\/www.worldcat.org\/oclc\/310956623 Jeffrey\u00a0D. Ullman. 1988. Principles of Database and Knowledge-Base Systems, Volume I. Principles of computer science series, Vol.\u00a014. Computer Science Press. http:\/\/www.worldcat.org\/oclc\/310956623"},{"key":"e_1_3_2_1_32_1","volume-title":"First Future Internet Symposium, FIS 2008","author":"Valle Emanuele\u00a0Della","year":"2008","unstructured":"Emanuele\u00a0Della Valle , Stefano Ceri , Davide\u00a0Francesco Barbieri , Daniele Braga , and Alessandro Campi . 2008 . A First Step Towards Stream Reasoning. In Future Internet - FIS 2008 , First Future Internet Symposium, FIS 2008 , Vienna, Austria , September 29-30, 2008, Revised Selected Papers(Lecture Notes in Computer Science, Vol.\u00a05468), John Domingue, Dieter Fensel, and Paolo Traverso (Eds.). Springer, 72\u201381. https:\/\/doi.org\/10.1007\/978-3-642-00985-3_6 10.1007\/978-3-642-00985-3_6 Emanuele\u00a0Della Valle, Stefano Ceri, Davide\u00a0Francesco Barbieri, Daniele Braga, and Alessandro Campi. 2008. A First Step Towards Stream Reasoning. In Future Internet - FIS 2008, First Future Internet Symposium, FIS 2008, Vienna, Austria, September 29-30, 2008, Revised Selected Papers(Lecture Notes in Computer Science, Vol.\u00a05468), John Domingue, Dieter Fensel, and Paolo Traverso (Eds.). Springer, 72\u201381. https:\/\/doi.org\/10.1007\/978-3-642-00985-3_6"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s41019-019-00105-0"}],"event":{"name":"PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming","acronym":"PPDP 2022","location":"Tbilisi Georgia"},"container-title":["Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551357.3551371","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551357.3551371","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:24Z","timestamp":1750186824000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551357.3551371"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,20]]},"references-count":35,"alternative-id":["10.1145\/3551357.3551371","10.1145\/3551357"],"URL":"https:\/\/doi.org\/10.1145\/3551357.3551371","relation":{},"subject":[],"published":{"date-parts":[[2022,9,20]]},"assertion":[{"value":"2022-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}