Hugging Face Trending Papers

Joint Air Traffic Flow and Capacity Management via Answer Set Programming

Operational Air Traffic Flow and Capacity Management (ATFCM) balances flight demand with available sector capacity, to ensure safe and efficient operations. Mathematical models enhance operational ATFCM performance by framing demand-capacity balancing as an optimization problem, maximizing efficiency while adhering to safety constraints.

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 24

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.

By Gioacchino Sterlicchio (DMMM, Polytechnic University of Bari, Bari, Italy), Angelo Oddi (ISTC-CNR, Rome, Italy), Riccardo Rasconi (ISTC-CNR, Rome, Italy), Francesca Alessandra Lisi (DIB,CILA, University of Bari Aldo Moro, Bari, Italy)
arXiv AI
Jul 24

Streamliners for Answer Set Programming

arXiv:2604. 19251v2 Announce Type: replace-cross Abstract: Streamliner constraints reduce the search space of combinatorial problems by ruling out portions of the solution space.

By Florentina Voboril (TU Wien), Martin Gebser (University of Klagenfurt), Stefan Szeider (TU Wien), Alice Tarzariol (University of Klagenfurt)