Now showing items 1-1 of 1

    • 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 ...