{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:25:06Z","timestamp":1742955906530,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031742088"},{"type":"electronic","value":"9783031742095"}],"license":[{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-74209-5_11","type":"book-chapter","created":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T06:01:44Z","timestamp":1728626504000},"page":"140-153","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An ASP-Based Approach to\u00a0Water Distribution System Reconstruction"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-9644-7975","authenticated-orcid":false,"given":"Antonio","family":"Ielo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salvatore","family":"Falco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salvatore","family":"Iiritano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9202-6544","authenticated-orcid":false,"given":"Patrizia","family":"Piro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ada","family":"Polizzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8218-3178","authenticated-orcid":false,"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,9]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","unstructured":"QGIS. In: Shekhar, S., Xiong, H., Zhou, X. (eds.) Encyclopedia of GIS, p.\u00a01695. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-17885-1_101029","DOI":"10.1007\/978-3-319-17885-1_101029"},{"key":"11_CR2","unstructured":"Relazione annuale sullo stato dei servizi e sull\u2019attivit\u00e0 svolta nel corso del 2022 (2022). https:\/\/www.arera.it\/fileadmin\/allegati\/relaz_ann\/23\/ra23_sintesi.pdf. Accessed 01 July 2024"},{"key":"11_CR3","unstructured":"Andres, B., Kaufmann, B., Matheis, O., Schaub, T.: Unsatisfiability-based optimization in clasp. In: Dovier, A., Costa, V.S. (eds.) Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012. LIPIcs, Budapest, Hungary, 4\u20138 September 2012, vol.\u00a017, pp. 211\u2013221. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2012)"},{"key":"11_CR4","unstructured":"International Water Association, et al.: Losses from water supply systems: standard terminology and recommended performance measures. IWA the Blue Pages (2000)"},{"key":"11_CR5","unstructured":"Benvenuto, G., et al.: Hydrocontrol IT: an attempt to mitigate water losses in Italy towns. In: DP@ AI* IA, pp. 99\u2013107 (2021)"},{"issue":"8","key":"11_CR6","doi-asserted-by":"publisher","first-page":"2210","DOI":"10.3390\/w12082210","volume":"12","author":"MA Bonora","year":"2020","unstructured":"Bonora, M.A., Caldarola, F., Maiolo, M.: A new set of local indices applied to a water network through demand and pressure driven analysis (DDA and PDA). Water 12(8), 2210 (2020)","journal-title":"Water"},{"issue":"12","key":"11_CR7","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"},{"issue":"5","key":"11_CR8","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1109\/69.877512","volume":"12","author":"F Buccafurri","year":"2000","unstructured":"Buccafurri, F., Leone, N., Rullo, P.: Enhancing disjunctive datalog by constraints. IEEE Trans. Knowl. Data Eng. 12(5), 845\u2013860 (2000)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"2","key":"11_CR9","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1017\/S1471068419000450","volume":"20","author":"F Calimeri","year":"2020","unstructured":"Calimeri, F., et al.: ASP-Core-2 input language format. Theory Pract. Log. Program. 20(2), 294\u2013309 (2020)","journal-title":"Theory Pract. Log. Program."},{"issue":"3","key":"11_CR10","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-319-22002-4_7","volume-title":"Web Reasoning and Rule Systems","author":"C Dodaro","year":"2015","unstructured":"Dodaro, C., Leone, N., Nardi, B., Ricca, F.: Allotment problem in travel industry: a solution based on ASP. In: ten Cate, B., Mileo, A. (eds.) RR 2015. LNCS, vol. 9209, pp. 77\u201392. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-22002-4_7"},{"issue":"4","key":"11_CR12","doi-asserted-by":"publisher","first-page":"233","DOI":"10.6028\/jres.071B.032","volume":"71","author":"J Edmonds","year":"1967","unstructured":"Edmonds, J., et al.: Optimum branchings. J. Res. Natl. Bur. Stand. B 71(4), 233\u2013240 (1967)","journal-title":"J. Res. Natl. Bur. Stand. B"},{"issue":"3","key":"11_CR13","first-page":"53","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":"11_CR14","unstructured":"EurEau, A.: Europe\u2019s water in figures. An overview of the European drinking water and waste water sectors (2017). https:\/\/www.eureau.org\/resources\/publications\/1460-eureau-data-report-2017-1\/file. Accessed 01 July 2024"},{"issue":"2\u20133","key":"11_CR15","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s13218-018-0548-6","volume":"32","author":"AA Falkner","year":"2018","unstructured":"Falkner, A.A., Friedrich, G., Schekotihin, K., Taupe, R., Teppan, E.C.: Industrial applications of answer set programming. K\u00fcnstliche Intell. 32(2\u20133), 165\u2013176 (2018)","journal-title":"K\u00fcnstliche Intell."},{"issue":"3","key":"11_CR16","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1061\/(ASCE)1076-0342(2004)10:3(119)","volume":"10","author":"YR Filion","year":"2004","unstructured":"Filion, Y.R., MacLean, H.L., Karney, B.W.: Life-cycle energy analysis of a water distribution system. J. Infrastruct. Syst. 10(3), 120\u2013130 (2004)","journal-title":"J. Infrastruct. Syst."},{"key":"11_CR17","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman (1979)"},{"issue":"6","key":"11_CR18","doi-asserted-by":"publisher","first-page":"1351","DOI":"10.1093\/logcom\/ext065","volume":"25","author":"M Gavanelli","year":"2015","unstructured":"Gavanelli, M., Nonato, M., Peano, A.: An ASP approach for the valves positioning optimization in a water distribution system. J. Log. Comput. 25(6), 1351\u20131369 (2015)","journal-title":"J. Log. Comput."},{"issue":"2","key":"11_CR19","doi-asserted-by":"publisher","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: the Potsdam answer set solving collection. AI Commun. 24(2), 107\u2013124 (2011)","journal-title":"AI Commun."},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Gebser, M., Leone, N., Maratea, M., Perri, S., Ricca, F., Schaub, T.: Evaluation techniques and systems for answer set programming: a survey. In: IJCAI, pp. 5450\u20135456. ijcai.org (2018)","DOI":"10.24963\/ijcai.2018\/769"},{"issue":"3\/4","key":"11_CR21","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\u2013386 (1991)","journal-title":"New Gener. Comput."},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1007\/978-3-642-04238-6_63","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"G Grasso","year":"2009","unstructured":"Grasso, G., Iiritano, S., Leone, N., Ricca, F.: Some DLV applications for knowledge management. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS (LNAI), vol. 5753, pp. 591\u2013597. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04238-6_63"},{"issue":"4","key":"11_CR23","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1109\/MPRV.2008.80","volume":"7","author":"MM Haklay","year":"2008","unstructured":"Haklay, M.M., Weber, P.: OpenStreetMap: user-generated street maps. IEEE Pervasive Comput. 7(4), 12\u201318 (2008)","journal-title":"IEEE Pervasive Comput."},{"issue":"4","key":"11_CR24","first-page":"594","volume":"30","author":"MVS Kotwal","year":"2024","unstructured":"Kotwal, M.V.S., Pati, S., Patil, J.: Review on AI and IOT based integrated smart water management and distribution system. Educ. Adm. Theory Pract. 30(4), 594\u2013605 (2024)","journal-title":"Educ. Adm. Theory Pract."},{"key":"11_CR25","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":"10","key":"11_CR26","doi-asserted-by":"publisher","first-page":"803","DOI":"10.3390\/w9100803","volume":"9","author":"M Maiolo","year":"2017","unstructured":"Maiolo, M., Mendicino, G., Pantusa, D., Senatore, A.: Optimization of drinking water distribution systems in relation to the effects of climate change. Water 9(10), 803 (2017)","journal-title":"Water"},{"issue":"8","key":"11_CR27","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.3390\/w10081005","volume":"10","author":"M Maiolo","year":"2018","unstructured":"Maiolo, M., Pantusa, D., Carini, M., Capano, G., Chiaravalloti, F., Procopio, A.: A new vulnerability measure for water distribution network. Water 10(8), 1005 (2018)","journal-title":"Water"},{"key":"11_CR28","series-title":"Internet of Things","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-319-96550-5_12","volume-title":"The Internet of Things for Smart Urban Ecosystems","author":"P Piro","year":"2019","unstructured":"Piro, P., Turco, M., Palermo, S.A., Principato, F., Brunetti, G.: A comprehensive approach to stormwater management problems in the next generation drainage networks. In: Cicirelli, F., Guerrieri, A., Mastroianni, C., Spezzano, G., Vinci, A. (eds.) The Internet of Things for Smart Urban Ecosystems. IT, pp. 275\u2013304. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-96550-5_12"},{"key":"11_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/978-3-030-39081-5_50","volume-title":"Numerical Computations: Theory and Algorithms","author":"B Pirouz","year":"2020","unstructured":"Pirouz, B., Palermo, S.A., Turco, M., Piro, P.: New mathematical optimization approaches for LID systems. In: Sergeyev, Y.D., Kvasov, D.E. (eds.) NUMTA 2019. LNCS, vol. 11973, pp. 583\u2013595. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-39081-5_50"},{"key":"11_CR30","unstructured":"P\u00f6rtner, H., et al.: SPM-summary for policymakers (2023)"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Rossman, L.A.: An overview of EPANET version 3.0. In: Water Distribution Systems Analysis 2010, pp. 14\u201318 (2010)","DOI":"10.1061\/41203(425)3"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-74209-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T17:02:59Z","timestamp":1736614979000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-74209-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,9]]},"ISBN":["9783031742088","9783031742095"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-74209-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,9]]},"assertion":[{"value":"9 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LPNMR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Logic Programming and Nonmonotonic Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dallas, TX","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lpnmr2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/lpnmr2024.demacs.unical.it","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}