@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.} }