A knowledge representation and reasoning based on Petri nets with Spatio-temporal tokens

EUROCON 2007 - The International Conference on Computer as a Tool

Volumn , Issue , 2007, Pages 793-800

  Ribarić, Slobodan ^a   Hrkać, Tomislav ^a  

^a UNIVERSITY OF ZAGREB   (Croatia)

Author keywords

High level Petri nets; Reasoning; Spatio temporal knowledge representation; Spatio temporal relations

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER VISION; DATA PROCESSING; GRAPH THEORY; INFORMATION THEORY; MARINE BIOLOGY; MULTIMEDIA SYSTEMS; PETRI NETS; ROBOTICS; ROBOTS; TWO DIMENSIONAL;

(E ,2E) THEORY; (E ,3E) PROCESS; (EXTENDED) PETRI NETS; BUILDING BLOCKS; FORMAL MODELING; GEOGRAPHICAL INFORMATION SYSTEMS; HIGH-LEVEL PETRI NETS; INTERNATIONAL CONFERENCES; KNOWLEDGE REPRESENTATION AND REASONING; ROBOT VISION; SPATIAL RELATIONS (SR); SPATIO TEMPORAL REASONING; SPATIO-TEMPORAL; SPATIO-TEMPORAL DATA; SPATIO-TEMPORAL RELATIONS; TEMPORAL RELATIONS; TWO-DIMENSIONAL (2D); VISION APPLICATIONS; VISUAL OBJECT TRACKING;

KNOWLEDGE REPRESENTATION;

EID: 46149125697     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURCON.2007.4400398     Document Type: Conference Paper

References (14)

1. K. Hornsby and M. Egenhofer, "Identity-Based Change: A Foundation for Spatio-Temporal Knowledge Representation," International Journal of Geographical Information Science, 14 (3), pp. 207-224, 2000.
2. Shu-Ching Chen and R. L. Kashyap, "A Spatio-Temporal Semantic Model for Multimedia Database Systems and Multimedia Information Systems," IEEE Transactions on Knowledge and Data Engineering, vol. 13, no. 4, pp. 607-622, July/August 2001.
3. F. Wolter and M. Zakharyaschev, "Qualitative Spatiotemporal Representation and Reasoning: A Computational Perspective," in Exploring Artificial Intelligence in the New Millennium, G. Lakemeyer and B. Nebel, Eds. Morgan Kauffman Publisher, Amsterdam, 2003.
4. B. Bennett, D. Magee, A. G. Cohn and D. C. Hogg, "Using Spatio-Temporal Continuity Constraints to Enhance Visual Tracking of Moving Objects," in R. Lopez de Mantras and L. Saitta (Eds), ECAI 2004 Proceedings of the 16th European Conference on Artificial Intelligence, pp. 922-926, IOS Press, 2004.
5. C-B Shim and Y-W Shin, "Spatio-temporal Modeling of Moving Objects for Content-Based Retreival in Video Data," in R. Kosla et al. (Eds): KES 2005, LNAI3684, pp. 343-352, 2005.
6. N. Van de Weghe, A. G. Cohn, P. De Maeyer and F. Witlox, "Representing moving objects in computer-based expert systems: the overtake event example," Expert Systems with Applications, vol. 29, pp. 977-983, 2005.
7. N. Van de Weghe, B. Kuijpers, P. Bogaert and P. De Maeyer, "A Qualitative Trajectory Calculus and the Composition of Its Relations", Proceedings of the 1st Intl. Conf. on Geospatial Semantics (GeOS), Mexico City, A. Rodriguez, I.Cruz, M. Egenhofer, S. Levashkin (Eds.), Lecture Notes in Computer Science (LNCS), Springer, Vol. 3799, pp. 60-76, 2005.
8. P-Y. Hsu, Y-B. Chang and Y-L. Chen, "STRPN: A Petri Net Approach for Modeling Spatial-Temporal Relations between Moving Multimedia Objects," IEEE Trans. on Software Engineering, vol. 29, No. 1, pp. 62-76, January 2003.
9. A. Gomaa, N. Adam and V. Atluri, "Color Time Petri Net for Interactive Adaptive Multimedia Objects," Proceedings of the 1st International Multimedia Modelling Conference (MMM '05), pp.147-157, January 2005.
10. J. L. Peterson, Petri Net Theory and Modeling of Systems, Prentice Hall, Englewood Cliffs, 1981.
11. K. Jensen, Coloured Petri Nets, Springer-Verlag, Berlin, 1997.
12. J. F. Allen, "Maintaining Knowledge about Temporal Intervals," Communications of the ACM, 26 (11), pp. 832-843, 1983.
13. D. A. Randell, Z. Cui and A. G. Cohn, "A Spatial Logic Based on Regions and Connection," in B. Nebel, W. Swartout and C. Rich (Eds), Proceedings of the 3rd Int. Conf on Knowledge Representation and Reasoning, San Mateo, USA, pp. 165-176, 1992.
14. S. Ribarić and T. Hrkać, "TeMAS - a Multi-Agent System for Temporally Rich Domains", Knowledge and Information Systems, DOI 10.1007/s10115-006-0049-z, 2006.