title: Temporal knowledge representation and reasoning techniques using time Petri nets.
abstract: In this paper, we present temporal knowledge representation and reasoning techniques using time Petri nets. A method is also proposed to check the consistency of the temporal knowledge. The proposed method can overcome the drawback of the one presented in Yao (1994). It provides a useful way to check the consistency of the temporal knowledge.
authors.affiliation: Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu.
authors.forename: W T
authors.initials: WT
authors.lastname: Jong
authors.forename: Y S
authors.initials: YS
authors.lastname: Shiau
authors.forename: Y J
authors.initials: YJ
authors.lastname: Horng
authors.forename: H H
authors.initials: HH
authors.lastname: Chen
authors.forename: S M
authors.initials: SM
authors.lastname: Chen