We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Train Scheduling with Hybrid Answer Set Programming.
- Authors
ABELS, DIRK; JORDI, JULIAN; OSTROWSKI, MAX; SCHAUB, TORSTEN; TOLETTI, AMBRA; WANKO, PHILIPP
- Abstract
We present a solution to real-world train scheduling problems, involving routing, scheduling, and optimization, based on Answer Set Programming (ASP). To this end, we pursue a hybrid approach that extends ASP with difference constraints to account for a fine-grained timing. More precisely, we exemplarily show how the hybrid ASP system clingo[DL] can be used to tackle demanding planning and scheduling problems. In particular, we investigate how to boost performance by combining distinct ASP solving techniques, such as approximations and heuristics, with preprocessing and encoding techniques for tackling large-scale, real-world train-scheduling instances.
- Subjects
TRAIN schedules; HYBRID systems; KNOWLEDGE representation (Information theory); NONMONOTONIC logic; LOGIC programming
- Publication
Theory & Practice of Logic Programming, 2021, Vol 21, Issue 3, p317
- ISSN
1471-0684
- Publication type
Article
- DOI
10.1017/S1471068420000046