Implementing an Object-Oriented Deductive Database Using Temporal Reasoning
Published in Journal of Database Management • Oct 1, 1996
Authors:,
N. Kesim
Marek Sergot
Abstract
A general approach for temporal reasoning, the event calculus, has been modified and applied to the development of a historical deductive object base. The event calculus is a theory of time in first-order logic augmented with negation as failure. It is shown how an object-based variant of the event ...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!