@misc{cogprints203,
          editor = {Paul Dekker and Martin Stokhof},
           title = {BABY-SIT: A Computational Medium Based on Situations},
          author = {Erkan Tin and Varol Akman},
       publisher = {Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam, The Netherlands},
            year = {1993},
           pages = {665--681},
        keywords = {computational situation theory, situation semantics, ASTL (a situation-theoretic language), PROSIT (programming in situation theory), BABY-SIT, natural language semantics, knowledge representation, inference, KEE (knowledge engineering environment).},
             url = {http://cogprints.org/203/},
        abstract = {While situation theory and situation semantics provide an appropriate framework for a realistic model-theoretic treatment of natural language, serious thinking on their `computational' aspects has just started. Existing proposals mainly offer a Prolog- or Lisp-like programming environment with varying degrees of divergence from the ontology of situation theory. In this paper, we introduce a computational medium (called BABY-SIT) based on situations. The primary motivation underlying BABY-SIT is to facilitate the development and testing of programs in domains ranging from linguistics to artificial intelligence in a unified framework built upon situation-theoretic constructs.}
}

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