Browsing by Keywords "Formal Logic"
Now showing items 1-2 of 2
-
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 ... -
Specifications are necessarily informal or: some more myths of formal methods
(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 ...