TY  - GEN
ID  - cogprints204
UR  - http://cogprints.org/204/
A1  - Tin, Erkan
A1  - Akman, Varol
Y1  - 1995///
N2  - Serious thinking about the computational aspects of situation theory is just starting. There have been some recent proposals in this direction (viz. PROSIT and ASTL), with varying degrees of divergence from the ontology of the theory. We believe that a programming environment incorporating bona fide situation-theoretic constructs is needed and describe our very recent BABY-SIT implementation. A detailed critical account of PROSIT and ASTL is also offered in order to compare our system with these pioneering and influential frameworks.
PB  - Seminar fuer Sprachwissenschaft (SfS), Computerlinguistik, Eberhard-Karls-Universitaet Tuebingen, Tuebingen, Germany
KW  - computational situation theory
KW  -  situation semantics
KW  -  situation schemata
KW  -  knowledge representation
KW  -  inference
KW  -  PROSIT (programming in situation theory)
KW  -  ASTL (a situation-theoretic language)
KW  -  BABY-SIT
KW  -  KEE (knowledge engineering environment).
TI  - Situations and Computation: An Overview of Recent Research
SP  - 77
AV  - public
EP  - 106
ER  -

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