Belief-based programs generalize knowledgebased programs [Fagin et al., 1995] by allowing for incorrect beliefs, unreliable observations, and branching conditions that refer to implicit graded beliefs, such as in “while my belief about the direction to the railway station is not strong enough do ask someone”. We show how to reason off-line about the possible executions of a belief-based program...

This issue contains six papers that were presented in preliminary form at the 5th Workshop on Algorithmic Methods and Models for Optimization of Railways (ATMOS 2005), held at Palma de Mallorca, Spain, October 7, 2005 in conjunction with ALGO 2005. These papers are representative of several areas of research within the scope of ATMOS: rolling stock circulation and engine assignment, station loc...

In this paper we consider the problem of routing trains through railway stations. This problem occurs as a subproblem in a project which the authors are carrying out in cooperation with the Dutch railways. The project involves the analysis of future infrastructural capacity requirements in the Dutch railway network. Part of this project is the automatic generation and evaluation of timetables. ...

This issue contains six papers that were presented in preliminary form at the 5th Workshop on Algorithmic Methods and Models for Optimization of Railways (ATMOS 2005), held at Palma de Mallorca, Spain, October 7, 2005 in conjunction with ALGO 2005. These papers are representative of several areas of research within the scope of ATMOS: rolling stock circulation and engine assignment, station loc...

Electrification structures design for railway systems is a crucial and complex process, since it compounds plenty of infrastructure elements, design decisions, and calculation conditions. In this paper, an ontologydriven decision support system for designing complex railway portal frames is presented and developed. A knowledge-rules database has been also developed relying on experts knowledge ...