Browsing by Keywords "Temporal Reasoning"

Now showing items 1-2 of 2

    • A logic programming framework for modelling temporal objects 

      Kesim, N.; Sergot, M. (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 

      Tın, E.; Akman, V. (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 ...