{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T09:15:09Z","timestamp":1768036509295,"version":"3.49.0"},"reference-count":42,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2024,10,28]],"date-time":"2024-10-28T00:00:00Z","timestamp":1730073600000},"content-version":"unspecified","delay-in-days":119,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2024,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Answer set programming (ASP) has demonstrated its potential as an effective tool for concisely representing and reasoning about real-world problems. In this paper, we present an application in which ASP has been successfully used in the context of dynamic traffic distribution for urban networks, within a more general framework devised for solving such a real-world problem. In particular, ASP has been employed for the computation of the \u201coptimal\u201d routes for all the vehicles in the network. We also provide an empirical analysis of the performance of the whole framework, and of its part in which ASP is employed, on two European urban areas, which shows the viability of the framework and the contribution ASP can give.<\/jats:p>","DOI":"10.1017\/s1471068424000309","type":"journal-article","created":{"date-parts":[[2024,10,28]],"date-time":"2024-10-28T08:36:42Z","timestamp":1730104602000},"page":"825-843","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":4,"title":["Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming"],"prefix":"10.1017","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3788-9475","authenticated-orcid":false,"given":"MATTEO","family":"CARDELLINI","sequence":"first","affiliation":[]},{"given":"CARMINE","family":"DODARO","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9034-2527","authenticated-orcid":false,"given":"MARCO","family":"MARATEA","sequence":"additional","affiliation":[]},{"given":"MAURO","family":"VALLATI","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2024,10,28]]},"reference":[{"key":"S1471068424000309_ref18","doi-asserted-by":"publisher","DOI":"10.3233\/IA-160099"},{"key":"S1471068424000309_ref33","doi-asserted-by":"publisher","DOI":"10.1049\/ip-its:20060014"},{"key":"S1471068424000309_ref24","doi-asserted-by":"publisher","DOI":"10.1613\/jair.2044"},{"key":"S1471068424000309_ref2","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068420000046"},{"key":"S1471068424000309_ref40","doi-asserted-by":"crossref","unstructured":"Vallati, M. , Magazzeni, D. , Schutter, B. D. , Chrpa, L. and Mccluskey, T. L. 2016. Efficient macroscopic urban traffic models for reducing congestion: A PDDL+ planning approach. In Proc. of AAAI, AAAI Press, 3188\u20133194.","DOI":"10.1609\/aaai.v30i1.10399"},{"key":"S1471068424000309_ref37","first-page":"273","article-title":"MRGM: An adaptive mechanism for congestion control in smart vehicular network","volume":"12","author":"Shahi","year":"2020","journal-title":"International Journal of Communication Networks and Information Security"},{"key":"S1471068424000309_ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.trpro.2021.07.115"},{"key":"S1471068424000309_ref13","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068423000030"},{"key":"S1471068424000309_ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"S1471068424000309_ref14","doi-asserted-by":"crossref","unstructured":"Cardellini, M. , Dodaro, C. , Maratea, M. and Vallati, M. 2023. A framework for risk-aware routing of connected vehicles via artificial intelligence. In 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC), IEEE, 5008\u20135013.","DOI":"10.1109\/ITSC57777.2023.10422165"},{"key":"S1471068424000309_ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"S1471068424000309_ref25","doi-asserted-by":"publisher","DOI":"10.1287\/opre.37.6.893"},{"key":"S1471068424000309_ref15","doi-asserted-by":"crossref","unstructured":"Cardellini, M. , Maratea, M. , Percassi, F. , Scala, E. and Vallati, M. 2024b.Taming discretised PDDL+ through multiple discretisations. Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS, 59\u201367.","DOI":"10.1609\/icaps.v34i1.31461"},{"key":"S1471068424000309_ref29","doi-asserted-by":"crossref","unstructured":"Lopez, P.\u00c1. , Behrisch, M. , Bieker-Walz, L. , Erdmann, J. , Flotterod, Y. , Hilbrich, R. , Lucken, L. , Rummel, J. , Wager, P. and Wiebner, E. 2018. Microscopic traffic simulation using SUMO. In Proc. of ITSC, IEEE, 2575\u20132582.","DOI":"10.1109\/ITSC.2018.8569938"},{"key":"S1471068424000309_ref31","doi-asserted-by":"crossref","unstructured":"Mccluskey, T. and Vallati, M. 2017. Embedding automated planning within urban traffic management operations. In Proc. of ICAPS, 391\u2013399.","DOI":"10.1609\/icaps.v27i1.13842"},{"key":"S1471068424000309_ref39","doi-asserted-by":"crossref","unstructured":"Vallati, M. and Chrpa, L. 2018. A principled analysis of the interrelation between vehicular communication and reasoning capabilities of autonomous vehicles. In Proc. of ITSC, 3761\u20133766.","DOI":"10.1109\/ITSC.2018.8569953"},{"key":"S1471068424000309_ref41","doi-asserted-by":"publisher","DOI":"10.1243\/095440704322829155"},{"key":"S1471068424000309_ref34","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"key":"S1471068424000309_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357"},{"key":"S1471068424000309_ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2022.103686"},{"key":"S1471068424000309_ref32","doi-asserted-by":"publisher","DOI":"10.1287\/trsc.12.3.183"},{"key":"S1471068424000309_ref3","unstructured":"Andres, B. , Kaufmann, B. , Matheis, O. and Schaub, T. 2012. Unsatisfiability-based optimization in clasp. In Proc. of ICLP Technical Communications, volume 17 of LIPIcs, 211\u2013221, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik"},{"key":"S1471068424000309_ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23264-5_31"},{"key":"S1471068424000309_ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.04.002"},{"key":"S1471068424000309_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2021.103076"},{"key":"S1471068424000309_ref11","doi-asserted-by":"publisher","DOI":"10.1109\/69.877512"},{"key":"S1471068424000309_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33353-8_7"},{"key":"S1471068424000309_ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.trb.2019.02.010"},{"key":"S1471068424000309_ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2005.06.013"},{"key":"S1471068424000309_ref30","unstructured":"Max Roser, H. R. and Ortiz-Ospina, E. 2013. World population growth."},{"key":"S1471068424000309_ref16","doi-asserted-by":"crossref","unstructured":"Cardellini, M. , Maratea, M. , Vallati, M. , Bpleto, G. and Oneto, L. 2021. In-station train dispatching: A PDDL+ planning approach. In Proc. of ICAPS., AAAI Press, 450\u2013458.","DOI":"10.1609\/icaps.v31i1.15991"},{"key":"S1471068424000309_ref17","unstructured":"Cenamor, I. , Chrpa, L. , Jimoh, F. , Mccluskey, T. L. and Vallati, M. 2014. Planning & scheduling applications in urban traffic management. In Proc. of PlanSIG."},{"key":"S1471068424000309_ref36","unstructured":"Ramirez, M. , Papasimeon, M. , Lipovetzky, N. , Benke, L. , Miller, T. , Pearce, A. R. , Scala, E. and Zamani, M. 2018. Integrated hybrid planning and programmed control for real time UAV maneuvering. In Proc. of AAMAS, ACM, Richland, SC, USA, 1318\u20131326."},{"key":"S1471068424000309_ref38","doi-asserted-by":"publisher","DOI":"10.1080\/15472450.2017.1336053"},{"key":"S1471068424000309_ref35","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.819610"},{"key":"S1471068424000309_ref12","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068419000450"},{"key":"S1471068424000309_ref1","doi-asserted-by":"publisher","DOI":"10.3390\/su11010189"},{"key":"S1471068424000309_ref42","doi-asserted-by":"crossref","unstructured":"Wegener, A. , Pi\u00f3rkowski, M. , Raya, M. , Hellbr\u00fcck, H. , Fischer, S. and Haubaux, J.-P. 2008. TraCI: an interface for coupling road traffic and network simulators. In Proc. of the Communications and Networking Simulation Symposium, 155\u2013163.","DOI":"10.1145\/1400713.1400740"},{"key":"S1471068424000309_ref21","unstructured":"Eiter, T. , Falkner, A. A. , Schneider, P. and Sch\u00fcller, P. 2020. ASP-Based Signal Plan Adjustments for Traffic Flow Optimization. In Proc. of ECAI, volume 325 of FAIA IOS Press, 325, 3026\u20133033"},{"key":"S1471068424000309_ref7","article-title":"Traffic simulation for all: a real world traffic scenario from the city of Bologna","author":"Bieker","year":"2014","journal-title":"Modeling Mobility with Open Data: 2nd SUMO Conference 2014"},{"key":"S1471068424000309_ref22","doi-asserted-by":"crossref","unstructured":"El Kouaiti, A. , Percassi, F. , Saetti, A. , Mccluskey, T. L. and Vallati, M. 2024. PDDL+ models for deployable yet effective traffic signal optimisation. In Proceedings of the International Conference on Automated Planning and Scheduling, 34, 168\u2013177.","DOI":"10.1609\/icaps.v34i1.31473"},{"key":"S1471068424000309_ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)52676-2"}],"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\/S1471068424000309","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,15]],"date-time":"2025-01-15T09:52:55Z","timestamp":1736934775000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068424000309\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7]]},"references-count":42,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,7]]}},"alternative-id":["S1471068424000309"],"URL":"https:\/\/doi.org\/10.1017\/s1471068424000309","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7]]},"assertion":[{"value":"\u00a9 The Author(s), 2024. 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 licence (http:\/\/creativecommons.org\/licenses\/by\/4.0\/), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited.","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"}]}}