A CLP framework for time-related reasoning in industrial applications

The aim of this paper is to present an implementation of the "general representation formalism", a formalism to represent temporal knowledge, based on constraint logic programming (CLP). The work is a result of the ESPRIT project EQUATOR which focused on new formalisms and tools for developing applications requiring sophisticated time-related reasoning techniques. The general representation formalism is an extension of the event calculus due to Kowalski and Sergot (1986). Its implementation presented has been used to develop several parts taken from the EQUATOR demonstrators relevant to the air and urban traffic control applications.<
>