Train scheduling with hybrid answer set programming

DOI10.1017/S1471068420000046MaRDI QIDQ4957222zbMATH OpenOpenAlexFDO

Authors Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko

Publication date 3 September 2021

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2003.08598

zbMATH Keywords

constraintsknowledge representation and nonmonotonic reasoninglogic programming methodology and application

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Train scheduling with hybrid ASP
• Industrial-size scheduling with ASP+CP
• Representing production scheduling with constraint answer set programming
• A tutorial on hybrid answer set solving with \textit{clingo}
• Freight train threading with different algorithms

Cites work

• Abstract gringo
• Benchmarks for basic scheduling problems
• Clingo goes linear constraints over reals and integers
• Constraint-based scheduling: Applying constraint programming to scheduling problems.
• Modeling and Solving the Train Timetabling Problem
• Multi-shot ASP solving with clingo
• Solving constraint satisfaction problems with SAT modulo theories
• Train scheduling with hybrid ASP
• Unsatisfiability-based optimization in clasp

Cited in

(8)

• A MaxSAT approach for solving a new dynamic discretization discovery model for train rescheduling problems
• How to build your own ASP-based system?!
• Industrial-size scheduling with ASP+CP
• Representing production scheduling with constraint answer set programming
• Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
• Train scheduling with hybrid ASP
• Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy
• Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes

Describes a project that uses

Uses Software

• Clingo
• Gringo

This page was built for publication: Train scheduling with hybrid answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4957222)