DocumentCode
2164271
Title
A CLP framework for time-related reasoning in industrial applications
Author
Barber, F. ; Dondossola, Giovanna ; Berlanga, Rafael ; Toledo, F. ; Martin, G.
Author_Institution
Jaume I Univ.
fYear
1994
fDate
5-9 Sep 1994
Firstpage
183
Lastpage
188
Abstract
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
Keywords
constraint handling; knowledge representation; logic programming; temporal reasoning; traffic control; EQUATOR; ESPRIT project; air traffic control; constraint logic programming; event calculus; general representation formalism; temporal knowledge; time-related reasoning; urban traffic control;
fLanguage
English
Publisher
iet
Conference_Titel
Intelligent Systems Engineering, 1994., Second International Conference on
Conference_Location
Hamburg-Harburg
Print_ISBN
0-85296-621-0
Type
conf
DOI
10.1049/cp:19940622
Filename
332042
Link To Document