Now showing items 1-1 of 1

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