- 1 Allen, J. F., Frisch, A. M., and Litman, D. J. ARGOT: The Rochester dialogue system, Proc. Nat. Conf. on Artificial Intelligence, AAAI 82, Pittsburgh, Pa., Aug. 1982.Google Scholar
- 2 Allen, J. F., and Kautz, H. A. "A model of naive temporal reasoning," to appear in J. R. Hobbs and R. Moore (Ed)., Contributions in Artificial Intelligence, Vol. 1, Ablex Pub. Co., Norwood, N.J., 1983.Google Scholar
- 3 Allen, J. F., and Koomen, 1- A. Planning using a temporal world model. Submitted to 8th Int. Joint Conf. Artificial Intelligence, Aug. 1983.Google Scholar
- 4 Bruce, B. C. A model for temporal references and its application in a question answering program. Artificial Intelligence 3 (1972), 1-25.Google ScholarDigital Library
- 5 Bubenko, J. A., Jr. Information modeling in the context of system development. Proc. IFIP Congress 80, Oct. 1980, North-Holland, Amsterdam.Google Scholar
- 6 Doyle, J. A truth maintenance system. Artificial Intelligence 12, 3, (Nov. 1979), 231-272.Google ScholarCross Ref
- 7 Fikes, R. E., and Nilsson, N. J. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, (1971), 189-205.Google ScholarCross Ref
- 8 Foderaro, J. K. The FRANZ LISP Manual. Dept. of Computer Science, U. of California, Berkeley, 1980.Google Scholar
- 9 Freuder, E. C. A sufficient condition for backtrack-flee search. J. ACM 29, 1 (Jan. 1982), 24-32. Google ScholarDigital Library
- 10 Hayes, P. J. The Naive Physics manifesto. In Expert Systems, D. Michie (Ed.), Edinburgh U. Press, 1979.Google Scholar
- 11 Hayes, P. J. Naive Physics I: Ontology for liquids. Working Paper 63, lnstitut pour les Etudes Semantiques et Cognitives, Geneva, 1978.Google Scholar
- 12 Hendrix, G. G. Modeling simultaneous actions and continuous processes, Artificial Intelligence 4, 3 (1973), 145-180.Google ScholarCross Ref
- 13 Kahn, K. M., and Gorry, A. G. Mechanizing temporal knowledge. Artificial Intelligence 9, 2 (1977). 87-108.Google ScholarDigital Library
- 14 McCarthy, J., and Hayes, P. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4, Edinburgh U. Press, 1969.Google Scholar
- 15 McDermott, D. A temporal logic for reasoning about processes and plans. Cognitive Science 6, (1982), 101-155.Google ScholarCross Ref
- 16 Rescher, N., and Urquhart, A. Temporal Logic. Springer-Verlag, New York, 1971.Google ScholarCross Ref
- 17 Sacerdoti, E. D. A Structure for Plans and Behavior. Elsevier North- Holland, New York, 1977.Google Scholar
- 18 Vilain, M. A system for reasoning about time. Proc. AAAI 82, Pittsburgh, Pa., Aug. 1982.Google Scholar
Index Terms
- Maintaining knowledge about temporal intervals
Recommendations
A Framework for Interval Quantization and Application to Interval Based Algorithms in Digital Signal Processing
In this article, we use the interval mathematics and targeted rounding by specific functions to establish a framework for interval quantization. The function approximation F Id, that maps x to an interval [x 1, x 2] such that x 1 is the largest floating ...
Representing preferences using intervals
In this paper we present a general framework for the comparison of intervals when preference relations have to established. The use of intervals in order to take into account imprecision and vagueness in handling preferences is well known in the ...
Optimizing the representation of intervals
A representation of intervals is proposed that, instead of both endpoints, uses the lower endpoint and the width of the interval. This proposed representation is more efficient since both endpoints have many corresponding bits that are equal. ...
Comments