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