---
abstract: '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.'
altloc:
  - http://www.cs.bilkent.edu.tr/~akman/conf-papers/Tueb/Tueb.html
chapter: ~
commentary: ~
commref: ~
confdates: 'August 15-19, 1994'
conference: 'Topics in Constraint Grammar Formalism for Computational Linguistics: Papers Presented at the Workshop on Grammar Formalisms for Natural Language Processing held at ESSLLI-94, Copenhagen'
confloc: 'Copenhagen, Denmark'
contact_email: ~
creators_id: []
creators_name:
  - family: Tin
    given: Erkan
    honourific: ''
    lineage: ''
  - family: Akman
    given: Varol
    honourific: ''
    lineage: ''
date: 1995
date_type: published
datestamp: 1998-06-24
department: ~
dir: disk0/00/00/02/04
edit_lock_since: ~
edit_lock_until: ~
edit_lock_user: ~
editors_id: []
editors_name:
  - family: Griffith
    given: John
    honourific: ''
    lineage: ''
  - family: Hinrichs
    given: Erhard W.
    honourific: ''
    lineage: ''
  - family: Nakazawa
    given: Tsuneko
    honourific: ''
    lineage: ''
eprint_status: archive
eprintid: 204
fileinfo: /style/images/fileicons/application_postscript.png;/204/2/TinAkman.ps
full_text_status: public
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: 'computational situation theory, situation semantics, situation schemata, knowledge representation, inference, PROSIT (programming in situation theory), ASTL (a situation-theoretic language), BABY-SIT, KEE (knowledge engineering environment).'
lastmod: 2011-03-11 08:53:44
latitude: ~
longitude: ~
metadata_visibility: show
note: ~
number: ~
pagerange: 77-106
pubdom: FALSE
publication: ~
publisher: 'Seminar fuer Sprachwissenschaft (SfS), Computerlinguistik, Eberhard-Karls-Universitaet Tuebingen, Tuebingen, Germany'
refereed: FALSE
referencetext: ~
relation_type: []
relation_uri: []
reportno: ~
rev_number: 10
series: ~
source: ~
status_changed: 2007-09-12 16:25:08
subjects:
  - comp-sci-art-intel
  - comp-sci-lang
  - ling-comput
  - ling-sem
  - phil-lang
  - phil-logic
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
thesistype: ~
title: 'Situations and Computation: An Overview of Recent Research'
type: confpaper
userid: 178
volume: ~
<script src='https://archive-bar.soton.ac.uk/archive-bar.js'></script>
<script src='https://archive-bar.soton.ac.uk/google-analytics.js'></script>