Now showing items 1-15 of 15

    • Computational situation theory with baby-sit 

      Tin, Erkan (Bilkent University, 1995)
      Language is an integral part of our everyday experience and encompasses situated activities such as talking, listening, reading, and writing. These activities are situated because they occur in situations and they are about ...
    • Computer-aided analysis of English punctuation on a parsed corpus: the special case of comma 

      Bayraktar, Murat (Bilkent University, 1996)
      Punctuation, an orthographical component of language, has usually been ignored by most research in computational linguistics over the years. One reason for this is the overall difficulty of the subject, and another is ...
    • Computing with causal theories 

      Tın, Erkan (Bilkent University, 1990)
      Formalizing commonsense knowledge for reasoning about time has long been a central issue in Artificial Intelligence (AI). It has been recognized that the existing formalisms do not provide satisfactory solutions to some ...
    • Contexts and situations 

      Surav, Mehmet (Bilkent University, 1994)
      The issue of context arises in assorted areas of Artificial Intelligence, Mathematical Logic, and Natural Language Semantics. Although its importance is realized by various researchers, there is not much work towards a ...
    • An Electronic topological picturebook 

      Arslan, Ahmet (Bilkent University, 1992)
      An electronic topological picturebook is envisaged as a computerized version of A Topological Picturehook by George K. Francis, .Springer-Verlag, New York (1987). Francis’ book is full of complicated topological figures, ...
    • Extensible Markup Language (XML) in electronic government : some exemplary scenarios 

      Sevdik, Ayışığı B. (Bilkent University, 2004)
      In the last decade or two, information technology (IT) has evolved remarkably as can be perceived by the fact that the Internet has become an indispensable part of our lives. With the advent of the Internet in almost ...
    • Focusing for pronoun resolution in English discourse: an implementation 

      Ersan, Ebru (Bilkent University, 1994)
      Anaphora resolution is one of the most active research areas in natural language processing. This study examines focusing as a tool for the resolution of pronouns which are a kind of anaphora. Focusing is a discourse ...
    • Linear planning logic and linear logic graph planner: domain independent task planners based on linear logic 

      Kortik, Sıtar (Bilkent University, 2017-10)
      Linear Logic is a non-monotonic logic, with semantics that enforce single-use assumptions thereby allowing native and e cient encoding of domains with dynamic state. Robotic task planning is an important example for such ...
    • A performatory analysis of the overt use of the predicate "true" 

      Şenol, Mahmut Burak (Bilkent University, 2013)
      The de ationary theory has been one of the most in uential theories of truth in contemporary philosophy. This theory holds that there is no property of truth at all, and that overt uses of the predicate \true" in our ...
    • Semantic argument classification and semantic categorization of Turkish existential sentences using support vector learning 

      Koca, Aylin (Bilkent University, 2004)
      There are three types of sentences that form all existing natural languages: verbal sentences (e.g. “I read the book.”), copulative sentences (e.g. “The book is on the table.”), and existential sentences (e.g. “There is ...
    • SIMLIB : a class library for object-oriented simulation 

      Işıklı, Oğuz (Bilkent University, 1993)
      Simulation is one of the most widely used techniques in decision making. Mathematical modeling of a real world system is a major task of the simulation analyst. The selection of a computer language for implementing the ...
    • Situated modeling of epistemic puzzles 

      Ersan, Murat (Bilkent University, 1994)
      Situation theory is a mathematical theory of meaning introduced by Jon Barwise and John Perry. It has evoked great theoretical and practical interest and motivated the framework of a few ‘computational’ systems. PROSIT ...
    • Solving equations in the universe of hypersets 

      Pakkan, Müjdat (Bilkent University, 1993)
      Hyperset Theory (a.k.a. ZFC~/AFA) of Peter Aczel is an enrichment of the classical ZFC set theory and uses a graphical representation for sets. By allowing non-well-founded sets, the theory provides an appropriate ...
    • The use of a theorem prover to verifity a liquid flow control program 

      Uçar, Erkan (Bilkent University, 1993)
      Program verification is an important task since it produces reliable software. Verification of real-time control programs needs special attention since these run in the real world and it is difficult to determine their ...
    • Utilization of the MVL system in qualitative reasoning about the physical world 

      Şencan, Mine Ülkü (Bilkent University, 1993)
      An experimental progra.m, QRM, has been implemented using the inference mechanism of the Multivalued Logics (MVL) Theorem Proving System of Matthew Ginsberg. QRM has suitable facilities to reason about dynamical systems ...