Alexander Beiser. Tackling the Air Traffic Flow and Capacity Management Problem with Explainable Answer Set Programming. In Damiano Azzolini, Sotirios Batsakis, Manuel Alejandro Borroto Santana, Pierangela Bruno, Laura Andrea Cecchi, Jorge Fandinno, Markus Hecher, Marco Maratea, José F. Morales 0001, Brais Muñiz, Emmanuel Papadakis 0001, Livio Robaldo, Luciano Serafini, Fabrizio Lo Scudo, Ilias Tachmazidis, Alice Tarzariol, Mauro Vallati, Adam Wyner 0001, editors, Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, September 9-13, 2025. Volume 4117 of CEUR Workshop Proceedings, pages 7, CEUR-WS.org, 2025. [doi]
Abstract is missing.