The Set of Support Strategy in Temporal Resolution

Authors:
Clare Dixon;Michael Fisher
Affiliations:
-;-
Venue:
TIME '98 Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning
Year:
1998

Citing 0
Cited 3

Clausal temporal resolution

ACM Transactions on Computational Logic (TOCL)
Algorithms for Guiding Clausal Temporal Resolution

KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Logical foundations for more expressive declarative temporal logic programming languages

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract

One of the main reasons that current commercial DBMSs provide only minimal support for temporal concepts is the size and complexity involved. Object-oriented databases, on the other hand, were developed to deal with complex database applications. Because ...