论文信息 - Maintaining knowledge about temporal intervals

Maintaining knowledge about temporal intervals

An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation. This system is notable in offering a delicate balance between

James F. Allen

[1] K. Abromeit. Music Received , 2023, Notes.

[2] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[3] Alasdair Urquhart,et al. Temporal Logic , 1971 .

[4] Bertram C. Bruce. A Model for Temporal References and Its Application in a Question Answering Program , 1972, Artif. Intell..

[5] Gary G. Hendrix,et al. Modeling Simultaneous Actions and Continuous Processes , 1989, Artif. Intell..

[6] Earl David Sacerdoti,et al. A Structure for Plans and Behavior , 1977 .

[7] Kenneth M. Kahn,et al. Mechanizing Temporal Knowledge , 1977, Artif. Intell..

[8] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..

[9] Janis A. Bubenko,et al. Information Modeling in the Context of System Development , 1980, IFIP Congress.

[10] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[11] Eugene C. Freuder. A Sufficient Condition for Backtrack-Free Search , 1982, JACM.

[12] Drew McDermott,et al. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[13] Marc B. Vilain,et al. A System for Reasoning About Time , 1982, AAAI.

[14] James F. Allen,et al. ARGOT: The Rochester Dialogue System , 1982, AAAI.

[15] James F. Allen,et al. Planning Using a Temporal World Model , 1983, IJCAI.

[16] Henry Kautz,et al. A model of naive temporal reasoning , 1985 .