On revising temporal models of discrete event systems
暂无分享,去创建一个
[1] Abbas K. Zaidi,et al. On temporal logic programming using Petri nets , 1999, IEEE Trans. Syst. Man Cybern. Part A.
[2] Drew McDermott,et al. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..
[3] Alexander H. Levis,et al. TEMPER: a temporal programmer for time-sensitive control of discrete event systems , 2001, IEEE Trans. Syst. Man Cybern. Part A.
[4] Rina Dechter,et al. Temporal Constraint Networks , 1989, Artif. Intell..
[5] Alasdair Urquhart,et al. Temporal Logic , 1971 .
[6] Itay Meiri,et al. Combining Qualitative and Quantitative Constraints in Temporal Reasoning , 1991, Artif. Intell..
[7] James F. Allen. Towards a General Theory of Action and Time , 1984, Artif. Intell..
[8] Y. Yao,et al. A Petri Net Model for Temporal Knowledge Representation and Reasoning , 1994, IEEE Trans. Syst. Man Cybern. Syst..
[9] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.
[10] Patrick J. Hayes,et al. A Common-Sense Theory of Time , 1985, IJCAI.
[11] A.K. Zaidi,et al. A temporal programmer for time-sensitive modeling of discrete event systems , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.