Constraint Propagation Algorithms for Temporal Reasoning

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 1986, Pages 377-382

  Vilain, Marc ^a   Kautz, Henry ^b  

^a BBN TECHNOLOGIES   (United States)

^b UNIVERSITY OF ROCHESTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

COMPUTATIONAL ASPECTS; CONSTRAINT PROPAGATION; CONSTRAINT PROPAGATION ALGORITHMS; INTERVAL ALGEBRA; REPRESENTATION SCHEMES; SIMPLE++; SOUND AND COMPLETE; TEMPORAL REASONING; TEMPORAL REPRESENTATIONS; TIME POINTS;

POLYNOMIAL APPROXIMATION;

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

References (9)

1. Allen, J. F. Maintaining Knowledge About Temporal Intervals. Communications of the ACM 26(11):832-843, November, 1983.
2. Allen, J. F. Towards a General Theory of Action and Time. Artificial Intelligence 23(2):123-154, 1984.
3. Allen, J. F. and Hayes, P. J. A Common-Sense Theory of Time. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, pages 528-531. The International Joint Conference on Artificial Intelligence (IJCAI), Los Angeles, CA, August, 1985.
4. Allen, James F., and Koomen, Johannes A. Planning Using a Temporal World Model. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, pages 741-747. The International Joint Conference on Artificial Intelligence (IJCAI), Karlsruhe, W. Germany, August, 1983.
5. Fikes, R., and Nilsson, N.J. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2:189-208, 1971.
6. Malik, J. and Binford, T. O. Reasoning in Time and Space. In Proceedings of the Eighth Int'l. Joint Conference on Artificial Intelligence, pages 343-345. The International Joint Conference on Artificial Intelligence (IJCAI), Karlsruhe, W. Germany, August, 1983.
7. Schmolze, J. G. Physics for Robots: Representing Everyday Physics for Robot Planning. PhD thesis, The University of Massachusetts, Amherst, 1986.
8. Simmons, R. G. The Use of Qualitative and Quantitative Simulations. In Proceedings of the Third National Conference on Artificial Intelligence (AAAI-83). The American Association for Artificial Intelligence, Washington, D.C., August, 1983.
9. Valdes-Perez, R. E. Spatio-Temporal Reasoning and Linear Inequalities. 1986. Unpublished A.I Memo, Massachusetts Institute of Technology Artificial Intelligence Laboratory.