| Description | The HARMONIC research project investigates, among other things, the optimization of the assignment of flights to arrival times at the airport in case of ATFM regulations (e.g., due to bad weather conditions). Normally, flights are assigned to arrival times according to the 'first-planned, first-served' principle, which is not efficient as some flights are more important than others. The aim of the bachelor thesis is to investigate the optimization of the assignment under consideration of various constraints using Answer Set Programming. |
|---|