Constraint Propagation Algorithms for Temporal Reasoning: A Revised Report
- 1 January 1990
- book chapter
- Published by Elsevier
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A Temporal Logic for Reasoning about Processes and Plans*Cognitive Science, 1982
- A Sufficient Condition for Backtrack-Free SearchJournal of the ACM, 1982
- A truth maintenance systemArtificial Intelligence, 1979
- Mechanizing temporal knowledgeArtificial Intelligence, 1977
- Modeling simultaneous actions and continuous processesArtificial Intelligence, 1973
- A model for temporal references and its application in a question answering programArtificial Intelligence, 1972
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971