References

  1. Rusul Abduljabbar, Hussein Dia, Sohani Liyanage & Saeed Asadi Bagloee (2019): Applications of artificial intelligence in transport: An overview. Sustainability 11(1), pp. 189, doi:10.3390/SU11010189.
  2. Mario Alviano & Carmine Dodaro (2020): Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search. Fundam. Informaticae 176(3-4), pp. 271–297, doi:10.3233/FI-2020-1974.
  3. Chitta Baral (2010): Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press. Available at http://www.cambridge.org/de/academic/subjects/computer-science/artificial-intelligence-and-natural-language-processing/knowledge-representation-reasoning-and-declarative-problem-solving.
  4. R.D. Bretherton (1990): SCOOT urban traffic control system — Philosophy and evaluation, pp. 237–239, doi:10.1016/B978-0-08-037025-5.50040-2.
  5. Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca & Torsten Schaub (2020): ASP-Core-2 Input Language Format. Theory Pract. Log. Program. 20(2), pp. 294–309, doi:10.1017/S1471068419000450.
  6. Matteo Cardellini, Marco Maratea, Mauro Vallati, Gianluca Boleto & Luca Oneto (2021): In-Station Train Dispatching: A PDDL+ Planning Approach. In: Susanne Biundo, Minh Do, Robert Goldman, Michael Katz, Qiang Yang & Hankz Hankui Zhuo: Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, Guangzhou, China (virtual), August 2-13, 2021. AAAI Press, pp. 450–458. Available at https://ojs.aaai.org/index.php/ICAPS/article/view/15991.
  7. Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea & Ivan Porro (2021): A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling. In: Sotiris Moschoyiannis, Rafael Peñaloza, Jan Vanthienen, Ahmet Soylu & Dumitru Roman: Rules and Reasoning - 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings, Lecture Notes in Computer Science 12851. Springer, pp. 111–125, doi:10.1007/978-3-030-91167-6_8.
  8. Isabel Cenamor, Lukáš Chrpa, Falilat Jimoh, Thomas L McCluskey & Mauro Vallati (2014): Planning & scheduling applications in urban traffic management. In: Proceedings of PlanSIG 2014, Annual Workshop of UK Planning & Scheduling Special Interest Group, 2014..
  9. Lukás Chrpa, Daniele Magazzeni, Keith McCabe, Thomas Leo McCluskey & Mauro Vallati (2016): Automated planning for Urban traffic control: Strategic vehicle routing to respect air quality limitations. Intelligenza Artificiale 10(2), pp. 113–128, doi:10.3233/IA-160099.
  10. Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi & Ivan Porro (2021): An ASP-based Solution to the Chemotherapy Treatment Scheduling problem. Theory Pract. Log. Program. 21(6), pp. 835–851, doi:10.1017/S1471068421000363.
  11. Carmine Dodaro & Marco Maratea (2017): Nurse Scheduling via Answer Set Programming. In: Marcello Balduccini & Tomi Janhunen: Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, Lecture Notes in Computer Science 10377. Springer, pp. 301–307, doi:10.1007/978-3-319-61660-5_27.
  12. Mariagrazia Dotoli, Maria Pia Fanti & Carlo Meloni (2006): A signal timing plan formulation for urban traffic control. Control Engineering Practice 14(11), pp. 1297–1311, doi:10.1016/j.conengprac.2005.06.013.
  13. Thomas Eiter, Andreas A. Falkner, Patrik Schneider & Peter Schüller (2020): ASP-Based Signal Plan Adjustments for Traffic Flow Optimization. In: Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín & Jérôme Lang: ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), Frontiers in Artificial Intelligence and Applications 325. IOS Press, pp. 3026–3033, doi:10.3233/FAIA200478.
  14. Maria Fox & Derek Long (2006): Modelling Mixed Discrete-Continuous Domains for Planning. J. Artif. Intell. Res. 27, pp. 235–297, doi:10.1613/jair.2044.
  15. Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub & Philipp Wanko (2016): Theory Solving Made Easy with Clingo 5. In: Manuel Carro, Andy King, Neda Saeedloei & Marina De Vos: Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA, OASIcs 52. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 2:1–2:15, doi:10.4230/OASIcs.ICLP.2016.2.
  16. Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero & Torsten Schaub (2015): Progress in clasp Series 3. In: Francesco Calimeri, Giovambattista Ianni & Miroslaw Truszczynski: Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, Lecture Notes in Computer Science 9345. Springer, pp. 368–383, doi:10.1007/978-3-319-23264-5_31.
  17. Michael Gelfond & Vladimir Lifschitz (1991): Classical Negation in Logic Programs and Disjunctive Databases. New Gener. Comput. 9(3/4), pp. 365–386, doi:10.1007/BF03037169.
  18. Pablo Álvarez López, Michael Behrisch, Laura Bieker-Walz, Jakob Erdmann, Yun-Pang Flötteröd, Robert Hilbrich, Leonhard Lücken, Johannes Rummel, Peter Wagner & Evamarie WieBner (2018): Microscopic Traffic Simulation using SUMO. In: Wei-Bin Zhang, Alexandre M. Bayen, Javier J. Sánchez Medina & Matthew J. Barth: 21st International Conference on Intelligent Transportation Systems, ITSC 2018, Maui, HI, USA, November 4-7, 2018. IEEE, pp. 2575–2582, doi:10.1109/ITSC.2018.8569938.
  19. Hannah Ritchie Max Roser & Esteban Ortiz-Ospina (2013): World Population Growth. Our World in Data. Available at https://ourworldindata.org/world-population-growth.
  20. JC Miles & Andrew J Walker (2006): The potential application of artificial intelligence in transport. In: IEE Proceedings-Intelligent Transport Systems 153. IET, pp. 183–198.
  21. Ilkka Niemelä (1999): Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Ann. Math. Artif. Intell. 25(3-4), pp. 241–273, doi:10.1023/A:1018930122475.
  22. Markos Papageorgiou, Christina Diakaki, Vaya Dinopoulou, Apostolos Kotsialos & Yibing Wang (2003): Review of road traffic control strategies. Proc. IEEE 91(12), pp. 2043–2067, doi:10.1109/JPROC.2003.819610.
  23. Miquel Ramírez, Michael Papasimeon, Nir Lipovetzky, Lyndon Benke, Tim Miller, Adrian R. Pearce, Enrico Scala & Mohammad Zamani (2018): Integrated Hybrid Planning and Programmed Control for Real Time UAV Maneuvering. In: Elisabeth André, Sven Koenig, Mehdi Dastani & Gita Sukthankar: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, pp. 1318–1326. Available at http://dl.acm.org/citation.cfm?id=3237896.
  24. Tom Schaffnit (2010): Automotive Standardization of Vehicle Networks. John Wiley & Sons, Ltd, doi:10.1002/9780470661314.ch7.
  25. Mauro Vallati, Daniele Magazzeni, Bart De Schutter, Lukás Chrpa & Thomas Leo McCluskey (2016): Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach. In: Dale Schuurmans & Michael P. Wellman: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. AAAI Press, pp. 3188–3194. Available at http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/11985.
  26. Joeri Van Mierlo, G Maggetto, E Burgwal & R Gense (2004): Driving style and traffic measures - Influence on vehicle emissions and fuel consumption. Proceedings of the Institution of Mechanical Engineers Part D Journal of Automobile Engineering 218, pp. 43–50, doi:10.1243/095440704322829155.
  27. Axel Wegener, Michal Piorkowski, Maxim Raya, Horst Hellbrück, Stefan Fischer & Jean-Pierre Hubaux (2008): TraCI: An Interface for Coupling Road Traffic and Network Simulators, doi:10.1145/1400713.1400740.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org