Order:
  1.  63
    Computational Situation Theory.Erkan Tin & Varol Akman - 1994 - ACM SIGART Bulletin 5 (4):4-17.
    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.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  2.  11
    Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications. [REVIEW]Erkan Tin & Varol Akman - 1995 - Philosophical Explorations.
    This is review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  3.  10
    Towards Situation-Oriented Programming Languages.Erkan Tin, Varol Akman & Murat Ersan - 1995 - Philosophical Explorations.
    Recently, there have been some attempts towards developing programming languages based on situation theory. These languages employ situation-theoretic constructs with varying degrees of divergence from the ontology of the theory. In this paper, we review three of these programming languages.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4.  9
    Situated Processing of Pronominal Anaphora.Erkan Tin & Varol Akman - unknown
    We describe a novel approach to the analysis of pronominal anaphora in Turkish. A computational medium which is based on situation theory is used as our implementation tool. The task of resolving pronominal anaphora is demonstrated in this environment which employs situation-theoretic constructs for processing.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5.  6
    Situated Nonmonotonic Temporal Reasoning with Baby-Sit.Erkan Tin & Varol Akman - 1997 - Philosophical Explorations.
    After a review of situation theory and previous attempts at `computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  6.  5
    Situations and Computation: An Overview of Recent Research.Erkan Tin & Varol Akman - unknown
    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.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7.  3
    Baby-Sit: A Computational Medium Based on Situations.Erkan Tin & Varol Akman - unknown
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  8.  3
    Information-Oriented Computation with Baby-Sit.Erkan Tin & Varol Akman - 1996 - In Jerry Seligman & Dag Westerståhl (eds.), [Book Chapter]. Csli Publications, Stanford. pp. 19--34.
    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 only recently 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  9. [Book Chapter].Erkan Tin & Varol Akman - 1996
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography