Now showing items 1-17 of 17

    • Baby-Sit: Towards a situation-theoretic computational environment 

      Tın, Erkan; Akman, Varol (Elsevier, 1994)
    • Desirable functionalities of intelligent CAD systems 

      Akman, Varol; ten Hagen, P. J. V. (Amer Society of Mechanical, 1994)
    • Heterogeneous inference in design 

      Akman, Varol (Publ by ASME, New York, NY, United States, 1992)
      For those of us involved in the attempt to construct formal models and environments in which the world of design can be subjected to scientific experimentation, the raison d'etre of logic has been rather well-understood. ...
    • "'Identity', 'Logical connectives', 'Vagueness'" 

      Akman, Varol (Continuum, 2006)
    • An Information-based treatment of punctuation in discourse representation theory 

      Say, B.; Akman, Varol (John Benjamins Publishing, 1996-05)
      Punctuation has so far attracted attention within the linguistics community mostly from a syntactic perspective. In this paper, we give a preliminary account of the information-based aspects of punctuation, drawing our ...
    • Information-oriented computation with BABY-SIT 

      Akman, Varol; Tin, Erkan (CSLI Publications, 1996)
      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. ...
    • An integrated data description language for coding design knowledge 

      Akman, Varol; Bernus, P.; Hagen, P. T.; Rogier, J.; Tomiyama, T.; Veerkamp, P. (CWI , 1997)
    • Modeling and visualization of complex geometric environments 

      Yılmaz, Türker; Güdükbay, Uğur; Akman, Varol (Springer, 2004)
      Visualization of large geometric environments has always been an exciting project for computer graphics practitioners. Modern graphics workstations allow rendering of millions of polygons per second. Although these systems ...
    • On a proposal of Strawson concerning context vs. ‘what is said’ 

      Akman, Varol (CSLI Publications, 2008)
    • Similar situations 

      Akman, Varol (John Benjamins Publishing, 2007)
      This paper studies the notion of similarity with reference to situations of situation theory. While the commonsense notion of two situations resembling each other appears to be valuable in our daily life, we show that it ...
    • Situated analysis of anaphora in Turkish 

      Tın, Erkan; Akman, Varol (Harrassowitz, 1998)
    • Situated processing of pronominal anaphora 

      Tın, Erkan; Akman, Varol (Informatik Xpress 6, 1998)
      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 ...
    • Situated semantics 

      Akman, Varol (Cambridge University Press, 2008)
      This chapter sets out how an account of vision in which the world is considered to form an external memory allows for explanation of the experienced continuity of vision. It shows how the hypothesis of the world as an ...
    • Situation semantics 

      Akman, Varol (Elsevier, 2006)
      Real-life situations are at the heart of an innovative theory of information aimed at some long-standing problems of philosophy. This (situation) theory was proposed more than 2 decades ago and has matured over the years. ...
    • Situational semantics 

      Akman, Varol (Edinburgh University Press, 2009)
    • Turing test: 50 years later 

      Saygı, A. P.; Çiçekli, İlyas; Akman, Varol (Kluwer Academic Publishers, 2003)
      The Turing Test is one of the most disputed topics in artificial intelligence, philosophy of mind, and cognitive science. This paper is a review of the past 50 years of the Turing Test. Philosophical debates, practical ...
    • Using criticalities as a heuristic for Answer Set Programming 

      Sabuncu, O.; Alpaslan, F. N.; Akman, Varol (Springer, Berlin, Heidelberg, 2004)
      Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic programs. Generally, systems utilize some heuristics to ...