creators_name: Tin, Erkan creators_name: Akman, Varol type: journalp datestamp: 1998-06-19 lastmod: 2011-03-11 08:53:44 metadata_visibility: show title: Computational Situation Theory ispublished: pub subjects: comp-sci-art-intel subjects: comp-sci-lang subjects: ling-comput subjects: ling-sem subjects: phil-lang subjects: phil-logic full_text_status: public 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. 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. date: 1994-10 date_type: published publication: SIGART Bulletin volume: 5 number: 4 pagerange: 4-17 refereed: TRUE citation: Tin, Erkan and Akman, Varol (1994) Computational Situation Theory. [Journal (Paginated)] document_url: http://cogprints.org/200/2/sig.ps