TY  - GEN
ID  - cogprints200
UR  - http://cogprints.org/200/
A1  - Tin, Erkan
A1  - Akman, Varol
Y1  - 1994/10//
N2  - 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.
KW  - situation theory
KW  -  situation semantics
KW  -  PROSIT (programming in situation theory)
KW  -  ASTL (a situation-theoretic language)
KW  -  BABY-SIT
KW  -  natural language semantics
KW  -  knowledge representation
KW  -  inference
KW  -  DRT (discourse representation theory)
KW  -  situation schemata.
TI  - Computational Situation Theory
SP  - 4
AV  - public
EP  - 17
ER  -

<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>