Database updates in the event calculus
- 31 January 1992
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 12 (1-2), 121-146
- https://doi.org/10.1016/0743-1066(92)90041-z
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987
- The temporal query language TQuelACM Transactions on Database Systems, 1987
- A logic-based calculus of eventsNew Generation Computing, 1986
- Temporal inferencing on administrative databasesInformation Systems, 1985
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Towards a general theory of action and timeArtificial Intelligence, 1984
- Formal semantics for time in databasesACM Transactions on Database Systems, 1983
- Temporal aspects of logical procedure definitionInformation Systems, 1980
- LEGOL 2.0: A relational specification language for complex rulesInformation Systems, 1979