Publikation: An ASP Multi-Shot Encoding for the Airc...
Stammdaten
Titel: | An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem |
Untertitel: | |
Kurzfassung: | The Aircraft Routing and Maintenance Planning problems are integral parts of the airline scheduling process. We study these relevant combinatorial optimization problems from the perspective of Answer Set Programming (ASP) modeling and solving. In particular, we contrast traditional single-shot ASP solving methods to a novel multi-shot solving approach, geared to rapidly discover near-optimal solutions to sub-problems of increasing granularity. As it turns out,our multi-shot solving techniques can heavily speed up the optimization process without deteriorating the solution quality in comparison to single-shot solving.We also provide a customizable instance generator and a solution viewer to facilitate intensive investigation of Aircraft Routing and Maintenance Planning as a benchmark problem. Our multi-shot solving techniques are however not limited to this benchmark alone, and the underlying ideas can be naturally applied to a variety of scheduling problems. |
Schlagworte: |
Publikationstyp: | Beitrag in Proceedings (Autorenschaft) |
Erscheinungsdatum: | 18.09.2020 (Online) |
Erschienen in: |
Proceedings of the International Conference on Logic Programming 2020 Workshops
Proceedings of the International Conference on Logic Programming 2020 Workshops
(
CEUR Workshop Proceedings (CEUR-WS.org);
)
zur Publikation |
Titel der Serie: | - |
Bandnummer: | - |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | - |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 18.09.2020 |
ISBN (e-book): | - |
eISSN: | 1613-0073 |
DOI: | - |
Homepage: | http://ceur-ws.org/Vol-2678/paper4.pdf |
Open Access |
|
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen |
|
Kooperationen
Organisation | Adresse | ||
---|---|---|---|
Amadeus IT Group
|
FR
Villeneuve-Loubet |
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: | Keine verknüpften Projekte vorhanden |
Publikationen: |
|
Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
Vorträge: |
|