English
Related papers

Related papers: Train Scheduling with Hybrid Answer Set Programmin…

200 papers

Planning in hybrid systems with both discrete and continuous control variables is important for dealing with real-world applications such as extra-planetary exploration and multi-vehicle transportation systems. Meanwhile, generating…

Robotics · Computer Science 2021-02-23 Jingkai Chen , Brian Williams , Chuchu Fan

Although most scheduling problems are NP-hard, domain specific techniques perform well in practice but are quite expensive to construct. In adaptive problem-solving solving, domain specific knowledge is acquired automatically for a general…

Artificial Intelligence · Computer Science 2009-09-25 J. Gratch , S. Chien

Train marshalling is the process of reordering the railcars of a train in such a way that the railcars with the same destination appear consecutively in the final, reassembled train. The process takes place in the shunting yard by means of…

Data Structures and Algorithms · Computer Science 2020-08-10 Hossein Falsafain , Mohammad Tamannaei

ACLP is a system which combines abductive reasoning and constraint solving by integrating the frameworks of Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). It forms a general high-level knowledge representation…

Artificial Intelligence · Computer Science 2007-05-23 Antonis Kakas

Mass transit systems are experiencing increasing congestion in many cities. The schedule-based transit assignment problem (STAP) involves a joint choice model for departure times and routes, defining a space-time path in which passengers…

Optimization and Control · Mathematics 2025-05-29 Xia Zhou , Mark Wallace , Daniel D. Harabor , Zhenliang Ma

This paper studies optimal scheduling and resource allocation under allowable over-scheduling. Formulating an optimisation problem where over-scheduling is embedded, we derive an optimal solution that can be implemented by means of a new…

Optimization and Control · Mathematics 2022-04-04 Wei Ren , Eleftherios Vlahakis , Nikolaos Athanasopoulos , Raphael M. Jungers

We address the applicability of a hybrid quantum-classical heuristics for practical railway rescheduling management problems. We build an integer linear programming model and solve it with D-Wave's quantum-classical hybrid solver (CQM) as…

We introduce a parallel machine scheduling problem in which the processing times of jobs are not given in advance but are determined by a system of linear constraints. The objective is to minimize the makespan, i.e., the maximum job…

Data Structures and Algorithms · Computer Science 2015-10-30 Kameng Nip , Zhenbo Wang , Zizhuo Wang

Ridepooling services play an increasingly important role in modern transportation systems. With soaring demand and growing fleet sizes, the underlying route planning problems become increasingly challenging. In this context, we consider the…

Optimization and Control · Mathematics 2024-10-03 Daniela Gaul , Kathrin Klamroth , Christian Pfeiffer , Arne Schulz , Michael Stiglmayr

The Integrated Process Planning and Scheduling (IPPS) problem combines process route planning and shop scheduling to achieve high efficiency in manufacturing and maximize resource utilization, which is crucial for modern manufacturing…

Optimization and Control · Mathematics 2024-09-04 Hongpei Li , Han Zhang , Ziyan He , Yunkai Jia , Bo Jiang , Xiang Huang , Dongdong Ge

The Flexible Job-shop Scheduling Problem (FJSP) is a classical combinatorial optimization problem that has a wide-range of applications in the real world. In order to generate fast and accurate scheduling solutions for FJSP, various deep…

Machine Learning · Computer Science 2025-09-10 Xinquan Wu , Xuefeng Yan , Mingqiang Wei , Donghai Guan

Answer Set Programming (ASP) is a logic programming paradigm featuring a purely declarative language with comparatively high modeling capabilities. Indeed, ASP can model problems in NP in a compact and elegant way. However, modeling…

Artificial Intelligence · Computer Science 2020-02-19 Giovanni Amendola , Francesco Ricca , Mirek Truszczynski

Real world combinatorial optimization problems such as scheduling are typically too complex to solve with exact methods. Additionally, the problems often have to observe vaguely specified constraints of different importance, the available…

Artificial Intelligence · Computer Science 2007-05-23 Andreas Raggl , Wolfgang Slany

Parking, matching, scheduling, and routing are common problems in train maintenance. In particular, train units are commonly maintained and cleaned at dedicated shunting yards. The planning problem that results from such situations is…

Artificial Intelligence · Computer Science 2019-07-11 Paulo R. de O. da Costa , J. Rhuggenaath , Y. Zhang , A. Akcay , W. Lee , U. Kaymak

The cyclic hoist scheduling problem originates in electroplating lines, where a single or multiple hoists transport parts between processing tanks subject to technological constraints. The objective is typically to determine a cyclic…

Optimization and Control · Mathematics 2026-03-26 Markó Horváth

Deep reinforcement learning (DRL) has demonstrated its potential in solving complex manufacturing decision-making problems, especially in a context where the system learns over time with actual operation in the absence of training data. One…

Machine Learning · Computer Science 2023-04-14 Miguel Neves , Pedro Neto

Answer Set Programming (ASP) is a declarative problem solving paradigm that can be used to encode a combinatorial problem as a logic program whose stable models correspond to the solutions of the considered problem. ASP has been widely…

Logic in Computer Science · Computer Science 2024-07-15 Van-Giang Trinh , Belaid Benhamou

Equipping approximate dynamic programming (ADP) with inputconstraints has a tremendous significance. This enables ADP to be applied tothe systems with actuator limitations, which is quite common for dynamicalsystems. In a conventional…

Optimization and Control · Mathematics 2018-05-24 Xuefeng Bao , Zhi-Hong Mao , Nitin Sharma

The Job-shop Scheduling Problem (JSP) is a well-known and challenging combinatorial optimization problem in which tasks sharing a machine are to be arranged in a sequence such that encompassing jobs can be completed as early as possible. In…

Artificial Intelligence · Computer Science 2025-08-13 Mohammed M. S. El-Kholany , Martin Gebser , Konstantin Schekotihin

Answer Set Programming (ASP) is a well-established formalism for logic programming. Problem solving in ASP requires to write an ASP program whose answers sets correspond to solutions. Albeit the non-existence of answer sets for some ASP…

Logic in Computer Science · Computer Science 2020-02-19 Giovanni Amendola , Carmine Dodaro , Francesco Ricca