Temporal deductive databases and infinite objects
- 1 March 1988
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Intelligent query answering in rule based systemsThe Journal of Logic Programming, 1987
- The temporal query language TQuelACM Transactions on Database Systems, 1987
- Temporal data base managementArtificial Intelligence, 1987
- The complexity of propositional linear temporal logicsJournal of the ACM, 1985
- Complete problems in the first-order predicate calculusJournal of Computer and System Sciences, 1984
- Towards a general theory of action and timeArtificial Intelligence, 1984
- Logical syntax and computational complexityPublished by Springer Nature ,1984
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983
- Formal semantics for time in databasesACM Transactions on Database Systems, 1983
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976