On spatial modeling of discrete event systems using point-interval logic

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 2, Issue , 2003, Pages 1699-1704

  Zaidi, Abbas K ^a   Rizvi, Kazim H ^b   Hussain, S Sajjad ^c  

^a GEORGE MASON UNIVERSITY   (United States)

^b CAPITAL UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Pakistan)

^c MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

Point graphs; Point interval logic; Spatial logic; Verification and qualitative reasoning

Indexed keywords

ARTIFICIAL INTELLIGENCE; COGNITIVE SYSTEMS; PETRI NETS; SEARCH ENGINES;

DISCRETE EVENT SYSTEMS; POINT GRAPHS; POINT-INTERVAL LOGIC;

FORMAL LOGIC;

EID: 0242408691     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. S. Sajjad Hussain and A. K. Zaidi, "On Spatial Reasoning Using Point Interval Logic," in Proc. Of One Day National Conference on Computer Science Trends in Pakistan, University of Sindh, Jamshoro, 16 Feb 2002.
2. A. K. Zaidi. "On Temporal Logic Programming Using Petri Nets," IEEE Transactions on Systems, Man and Cybernetics, Part A, 29(3): 245-254, May 1999.
3. A. Randell, Z. Cui and A. G. Cohn, "A Spatial Logic Based on Regions and Connections", in Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference, pages 165-176, Cambridge, MA, 1992, Morgan-Kaufmann.
4. J. F. Allen, "An interval based representation of temporal knowledge," in Proc. 7th IJCAI, 1981.
5. A. K. Zaidi, "A Temporal Programmer for Time-Sensitive Modeling of Discrete-Event Systems," in Proc. of IEEE - Systems, Man, and Cybernetics Society 2000 Meeting, Nashville, TN, October 2001.
6. A. K. Zaidi and A. H. Levis, "A Temporal Programmer for Time-sensitive Modeling of Discrete-event Systems," IEEE Transactions on Systems, Man and Cybernetics, Part A, 31(6): 485-496, Nov. 2001.
7. I. Rauf and A. K. Zaidi, "A Temporal Programmer for Revising Temporal Models of Discrete-Event Systems," in Proc. of 2002 IEEE International Conference on Systems, Man, and Cybernetics, Hemmamat, Tunisia, 6-9 October 2002.
8. H. W. Guesgen, "Fuzzifying Spatial Relations," in Applying Soft Computing in Defining Spatial Relations, Springer-Verlag Publications (P. Matsakis and L. Sztandera, Eds.), to appear.