arXiv AI

Declarative Problem Solving in UAM Strategic Deconfliction

arXiv:2607. 21197v1 Announce Type: cross Abstract: The growing demand for Urban Air Mobility (UAM) introduces significant challenges in airspace management, particularly within densely populated metropolitan regions.

arXiv AI
Aug 11

ASPaeroFlow: Decomposition Heuristics for Joint Air Traffic Flow & Capacity Management

arXiv:2608. 09315v1 Announce Type: new Abstract: While mathematical models act as vital decision support systems for operational Air Traffic Flow and Capacity Management (ATFCM), existing approaches isolate Air Traffic Flow Management (ATFM) from Dynamic Airspace Configuration (DAC).

By Alexander Beiser, Markus Hecher, Nysret Musliu, Georg Trausmuth, Stefan Woltran
arXiv AI
Jul 8

Implementing Metric Temporal Answer Set Programming

arXiv:2601. 20735v2 Announce Type: replace Abstract: We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constraints, like durations and deadlines.

By Arvid Becker, Pedro Cabalar, Martin Di\'eguez, Susana Hahn, Javier Romero, Torsten Schaub