Maintaining knowledge about temporal intervals
- 1 November 1983
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 26 (11), 832-843
- https://doi.org/10.1145/182.358434
Abstract
No abstract availableThis 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
- Temporal LogicPublished by Springer Nature ,1971