• 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