EFFICIENT TEMPORAL REASONING IN THE CACHED EVENT CALCULUS
- 1 August 1996
- journal article
- Published by Wiley in Computational Intelligence
- Vol. 12 (3) , 359-382
- https://doi.org/10.1111/j.1467-8640.1996.tb00267.x
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A Modal Calculus of Partially Ordered Events in a Logic Programming FrameworkPublished by MIT Press ,1995
- Temporal reasoning for planning and schedulingACM SIGART Bulletin, 1993
- Memoing for logic programsCommunications of the ACM, 1992
- Database updates in the event calculusThe Journal of Logic Programming, 1992
- Using temporal hierarchies to efficiently maintain large temporal databasesJournal of the ACM, 1989
- Temporal data base managementArtificial Intelligence, 1987
- A logic-based calculus of eventsNew Generation Computing, 1986