<> "The repository administrator has not yet configured an RDF license."^^ . <> . . "Situated Nonmonotonic Temporal Reasoning with BABY-SIT"^^ . "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 formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories."^^ . "1997" . . "10" . . "AI Communications"^^ . . . . . . . . . . . "Erkan"^^ . "Tin"^^ . "Erkan Tin"^^ . . "Varol"^^ . "Akman"^^ . "Varol Akman"^^ . . . . . . "Situated Nonmonotonic Temporal Reasoning with BABY-SIT (Postscript)"^^ . . . . . . "aicom.ps"^^ . . "HTML Summary of #462 \n\nSituated Nonmonotonic Temporal Reasoning with BABY-SIT\n\n" . "text/html" . . . "Artificial Intelligence" . . . "Language" . . . "Computational Linguistics" . . . "Semantics" . . . "Logic" . .