An Interval-Based Temporal Algebra Based on Binary Encoding of Point Relations

International Journal of Intelligent Systems

Volumn 15, Issue 6, 2000, Pages 495-523

  Kovarik Jr , Vincent J ^a   Gonzalez, Avelino J ^b  

^a Exigent International Inc   (United States)

^b University of Central Florida   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0347107329     PISSN: 08848173     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1098-111X(200006)15:6<495::AID-INT2>3.0.CO;2-C     Document Type: Article

References (12)

1. Allen JF. Toward a general theory of action and time. Art Intell 1994;23(2):123-154.
2. Vilain M. A system for reasoning about time. Proceedings of AAAI-82, Pittsburgh, PA. Aug 1982.
3. Allen JF. Maintaining knowledge about temporal intervals. Commun ACM 1983;26(11):832-843.
4. Allen JF, Koomen, JA. Planning using a temporal world model. Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe: Morgan Kaufmann; 1983. pp 741-747.
5. Vilain M, Kautz H. Constraint propagation algorithms for temporal reasoning. Proceedings of AAAI-86, San Mateo, CA: Morgan Kaufmann; 1986. pp 377-382.
6. Dechter R, Meiri I, Pearl J. Temporal constraint networks. Artif Intell 1991;49:61-95.
7. Alur R, Henzinger T. A really temporal logic, Journal of the ACM, vol. 41, no. 1, January 1994, 181-204.
8. Dean TL, McDermott, DV. Temporal data base management, Artificial Intelligence 1987;32:1-55.
9. Dorn J. Temporal reasoning in sequence graphs. Proceedings of AAAI-92, San Jose, CA; 1992. pp 735-740.
10. Allen JF, Hayes PJ. A commonsense theory of time. Proceedings of the 9th International Joint Conference on Artificial Intelligence, Los Angeles, CA. San Mateo, CA: Morgan Kaufmann; 1985. pp 528-531.
11. Sheppard JW, Simpson WR. Fault diagnosis under temporal constraints. IEEE Autotestcon Conference Record; 1992. pp 151-159.
12. Kovarik VJ, Jr. A computationally efficient method for representing and computing transitive closure over temporal intervals. Ph.D. dissertation, University of Central Florida, 1994.