Integrating Metric and Qualitative Temporal Reasoning

Proceedings of the 9th National Conference on Artificial Intelligence, AAAI 1991

Volumn 1, Issue , 1991, Pages 241-246

  Kautz, Henry A ^a   Ladkin, Peter B ^b  

^a LUCENT TECHNOLOGIES   (United States)

^b INTERNATIONAL COMPUTER SCIENCE INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ENCODING (SYMBOLS);

BINARY CONSTRAINTS; CONSTRAINT-BASED; LINEAR INEQUALITIES; METRIC RELATIONS; QUALITATIVE TEMPORAL REASONING; SIMPLEST LINEAR; TEMPORAL REASONING; TIME INTERVAL; TIME POINTS; TIME SYSTEMS;

KNOWLEDGE REPRESENTATION;

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

References (14)

1. Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley Publishing Co., Reading, MA, 1976.
2. J ames F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, ll(26):832-843, November 1983.
3. James Allen. Planning as temporal reasoning. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR-89), Cambridge, MA, 1991.
4. T. L. Dean and D. V. McDermott. Temporal data base management. Artificial Intelligence, 32:1-55, 87.
5. Rina Dechter, Itay Meiri, and Judea Pearl. Temporal constraint networks. In Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, editors, Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR '89), page 83, San Mateo, CA, May 1989. Morgan Kaufmann Publishers, Inc.
6. Rina Dechter, Itay Meiri, and Judea Pearl. Temporal constraint networks. Artificial Intelligence, (to appear), 1991.
7. Henry Kautz and Peter Ladkin. Communicating temporal constraint networks. (In preparation), 1991.
8. Peter Ladkin and Roger Maddux. The algebra of convex time intervals, 1987.
9. Peter B. Ladkin and Roger D. Maddux. On binary constraint networks. Technical Report KES.UNIVERSITY.88.8, Kestrel Institute, Palo Alto, CA, 1988.
10. J. Malik and T.O. Binford. Reasoning in time and space. In Proceedings of 8th IJCAI1983, pages 343-345. IJCAI, 1983.
11. U. Montanari. Networks of constraints: Fundamental properties and applications to picture processing. Information Sciences, 7:95-132, 74.
12. Raul E. Valdes-Perez. Spatiotemporal reasoning and linear inequalities. A.I. Memo No. 875, M.I.T. Artificial Intelligence Laboratory, Cambridge, MA, February 1986.
13. Peter van Beek and Robin Cohen. Approximation algorithms for temporal reasoning. Research Report CS-89-12, University of Waterloo, Waterloo, Ontario, Canada, 1989.
14. Marc Vilain, Henry Kautz, and Peter van Beek. Constraint propagation algorithms for temporal reasoning: a revised report. In Johan deKleer and Dan Weld, editors, Readings in Qualitative Reasoning About Physical Systems. Morgan Kaufmann, Los Altos, CA, 1989.