Diagrammatic Representation of Interval Space in Proving Theorems about Interval Relations

Reliable Computing

Volumn 3, Issue 3, 1997, Pages 209-217

  Kulpa, Zenon ^a  

^a INSTITUTE OF FUNDAMENTAL TECHNOLOGICAL RESEARCH   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0012327486     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1009919304728     Document Type: Article

References (12)

1. Allen, J. F.: Maintaining Knowledge about Temporal Relations, Comm. ACM 26 (11) (1983), pp. 832-843.
2. Allwein, G. and Barwise, J. (eds): Logical Reasoning with Diagrams, Oxford Univ. Press, Oxford, 1996.
3. van Beek, P. and Cohen, R.: Exact and Approximate Reasoning about Temporal Relations, Comput. Intell. 6 (1990), pp. 132-144.
4. Freksa, C.: Temporal Reasoning Based on Semi-Intervals, Artificial Intelligence 54 (1-2) (1992), pp. 199-227.
5. Gardẽes, E., Trepat, A., and Janer, J. M.: SIGLA-PL/1: Development and Applications, in: Nickel, K. L. E. (ed.), Interval Mathematics 1980, Academic Press, New York, 1980, pp. 301-315.
6. Hammer, E.: Logic and Visual Information, Cambridge Univ. Press, Cambridge, 1996.
7. Kulpa, Z.: Diagrammatic Representation and Reasoning, Machine GRAPHICS & VISION 3 (1/2) (1994), pp. 77-103. (PostScript file: see http://www.ippt.gov.pl/~zkulpa/zkpubl.html#diagrammatic.)
8. Kulpa, Z.: Two-dimensional Representation of Interval Relations: Preliminaries, Internal Report, IFTR, Warsaw, 1995.
9. Kulpa, Z.: Diagrammatic Representation for a Space of Intervals, Machine GRAPHICS & VISION 6 (1) (1997), to appear.
10. Nökel, K.: Temporally Distributed Symptoms in Technical Diagnosis, Lect. Notes in AI 517, Springer-Verlag, Berlin, 1991.
11. Rit, J.-F.: Propagating Temporal Constraints for Scheduling, in: Proc. AAAI-86, Morgan Kaufmann, Los Altos, CA, 1986, pp. 383-388.
12. Simon, H. A.: The Sciences of the Artificial, 2nd ed., MIT Press, Cambridge, MA, 1981.