Browsing by Keywords "Event Calculus"
Now showing items 1-1 of 1
-
A logic programming framework for modelling temporal objects
(IEEE, 1996-10)We present a general approach for modeling temporal aspects of objects in a logic programming framework. Change is formulated in the context of a database which stores explicitly a record of all changes that have occurred ...