Temporal knowledge representation and reasoning model for temporally rich domains

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3682 LNAI, Issue , 2005, Pages 430-436

  Ribarić, Slobodan ^a  

^a UNIVERSITY OF ZAGREB   (Croatia)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION RETRIEVAL; KNOWLEDGE ENGINEERING; MATHEMATICAL MODELS; PETRI NETS;

PETRI NETS WITH TIME TOKENS (PNTT); REASONING;

KNOWLEDGE REPRESENTATION;

EID: 33745311159     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11552451_57     Document Type: Conference Paper

References (12)

1. Pelevan, R., Allen, J. F.: A Formal Logic Plans in Temporally Rich Domains, Proceedings of the IEEE, Vol. 74. No. 10. (1986) 1364-1382
2. McCharty, J., Hayes, P. J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence, in Meltzer, B., Michie, D., (eds.), Machine Intelligence 4, Edinburgh University Press, Edinburgh (1969)
3. Kahn, K., Gorry, G. A.: Mechanizing Temporal Knowledge, Artificial Intelligence 9 (1977) 87-108.
4. Dean, T. L., McDermott, D., V.: Temporal Data Base Management, Artificial Intelligence 32 (1987) 1-55
5. Allen, J., F.: Maintaining Knowledge about Temporal Intervals, Communications of the ACM, Vo. 26, No. 11 (1983) 832-843
6. Decther R., Meiri, I., Pearl J.: Temporal Constraint Network, Artificial Intelligence 49, (1991) 61-69
7. Merlin, P.: A Methodology for the Design and Implementation of Communication Proto' cols, IEEE Transactions on the Communications, Vol. 24, No. 6, (1976), 614-621
8. Suzuki, I., Lu, H.: Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter, IEEE Transactions on Computers, Vol. 38, No. 5, (1989) 696-704
9. Meimei, G., Xiaoguang, H., Zhiming, W.: Linear logic as a tool for presentation and temporal reasoning of time Petri nets, Proceedings of the American Control Conference, Chicago, (2000), 3177-3181
10. Murata, T., Suzuki, T., Shatz, S. M.: Fuzzy-Timing High-Level Petri Nets (FTHNs) for Time-Critical Systems, in Cardoso, J., Camargo, H. (eds.), Fuzziness in Petri Nets, A Springer-Verlag, Heidelberg (1999)
11. Zaidi, A. K., Rizvi, K. H., Hussain, S. S.: On Spatial Modeling of Discrete Event Systems Using Point-interval Logic, Proceedings of the Second Int. Conf. on Machine Learning and Cybernetics, Xian,(2003) 1699-1704.
12. Peterson, J. L.: Petri Net theory and Modeling of Systems, Prentice-Hall, Englewood Cliffs, (1981)