Situated Nonmonotonic Temporal Reasoning with BABY-SIT.

Erkan Tin Varol Akman Situated Nonmonotonic Temporal Reasoning with BABY-SIT. 93-109 1997 10 AI Commun. 2 db/journals/aicom/aicom10.html#TinA97