@misc{cogprints200,
volume = {5},
number = {4},
month = {October},
author = {Erkan Tin and Varol Akman},
title = {Computational Situation Theory},
journal = {SIGART Bulletin},
pages = {4--17},
year = {1994},
keywords = {situation theory, situation semantics, PROSIT (programming in situation theory), ASTL (a situation-theoretic language), BABY-SIT, natural language semantics, knowledge representation, inference, DRT (discourse representation theory), situation schemata.},
url = {http://cogprints.org/200/},
abstract = {Situation theory has been developed over the last decade and various versions of the theory have been applied to a number of linguistic issues. However, not much work has been done in regard to its computational aspects. In this paper, we review the existing approaches towards `computational situation theory' with considerable emphasis on our own research.}
}