DocumentCode
1801629
Title
Reasoning with sequences of point events
Author
Wetprasit, R. ; Sattar, A. ; Khatib, L.
Author_Institution
Sch. of Comput. & Inf. Tech., Griffith Univ., Nathan, Qld., Australia
fYear
1996
fDate
19-20 May 1996
Firstpage
36
Lastpage
38
Abstract
Proposes the modeling of recurring events as multi-point events by extending Vilain and Kautz´s (1986) point algebra. We then propose an exact algorithm, based on van Beek´s (1990) exact algorithm, for finding feasible relations for multi-point event networks. The complexity of our method is compared with previously known results both for recurring and non-recurring events. We identify the special cases for which our multi-point based algorithm can find an exact solution. Finally, we summarise our paper with brief discussion on ongoing and future research
Keywords
computational complexity; sequences; temporal reasoning; complexity; exact algorithm; feasible relations; multi-point event networks; point algebra; point event sequences; reasoning; recurring events; Algebra; Artificial intelligence; Australia; Computer networks; Computer science; Polynomials; Radiofrequency interference;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning, 1996. (TIME '96), Proceedings., Third International Workshop on
Conference_Location
Key West, FL
Print_ISBN
0-8186-7528-4
Type
conf
DOI
10.1109/TIME.1996.555672
Filename
555672
Link To Document