A Temporal extension of Prolog
- 31 January 1993
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 15 (1-2) , 113-145
- https://doi.org/10.1016/0743-1066(93)90016-a
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Temporal data base managementArtificial Intelligence, 1987
- Logic programming and digital circuit analysisThe Journal of Logic Programming, 1987
- An assumption-based TMSArtificial Intelligence, 1986
- Nonclausal temporal deductionPublished by Springer Nature ,1985
- A qualitative physics based on confluencesArtificial Intelligence, 1984
- Diagnostic reasoning based on structure and behaviorArtificial Intelligence, 1984
- Verify: A program for proving correctness of digital hardware designsArtificial Intelligence, 1984
- Towards a general theory of action and timeArtificial Intelligence, 1984
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983
- A truth maintenance systemArtificial Intelligence, 1979