Browsing by Keywords "Formal Logic"

Now showing items 1-2 of 2

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

    • Specifications are necessarily informal or: some more myths of formal methods 

      Le Charlier, B.; Flener, P. (Elsevier, 1998)
      We reconsider the concept of specification in order to bring new insights into the debate of formal versus non-formal methods in computer science. In our view, the correctness of a useful program corresponds to an objective ...