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 [16]. It provides a useful way to check the consistency of the temporal knowledge.
Cite
CITATION STYLE
Jong, W. T., Shiau, Y. S., Horng, Y. J., Chen, H. H., & Chen, S. M. (1999). Temporal knowledge representation and reasoning techniques using time Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 29(4), 541–545. https://doi.org/10.1109/3477.775271
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.