In: IEEE Trans. on Systems, Man, and Cybernetics, Part B: Cybernetics, Vol. 29, No. 4, pages 541-545. 1999.
Abstract: This paper presents 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 by Yao (1994). It provides a useful way to check the consistency of the temporal knowledge.
Keywords: knowledge representation, reasoning techniques, rule-based systems, temporal knowledge, time Petri nets.