Browsing by Keywords "Temporal Reasoning"
Now showing items 1-2 of 2
-
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 ... -
Situated nonmonotonic temporal reasoning with BABY-SIT
(IOS Press, 1997)After a review of situation theory and previous attempts at 'computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring ...