| 1 |
Turing Test: 50 years later
|
|
|
|
In: http://www.cs.bilkent.edu.tr/~ilyas/PDF/minds2000.pdf (1999)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Rethinking Context as a Social Construct
|
|
|
|
In: http://www.cs.bilkent.edu.tr/~akman/jour-papers/jprag/jopfinal.ps (1999)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
An Analysis of English Punctuation: The Special Case of Comma
|
|
|
|
In: http://www.cs.bilkent.edu.tr/~akman/jour-papers/ijcl/ijcl1998.pdf (1998)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Situated Processing of Pronominal Anaphora
|
|
|
|
In: http://www.cs.bilkent.edu.tr/~akman/book-chapters/konvens94/paper.ps (1998)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Dashes As Typographical Cues For The Information Structure (Extended Abstract)
|
|
|
|
In: http://www.cs.bilkent.edu.tr/~akman/conf-papers/itallc98/itallc98.ps (1998)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
The Use Of Situation Theory In Context Modeling
|
|
|
|
In: http://www.cs.bilkent.edu.tr/~akman/jour-papers/ci/cipaper.ps (1997)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Information-Based Aspects of Punctuation
|
|
|
|
In: http://www.hcrc.ed.ac.uk/publications/wp-2-say.ps.gz (1996)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
An Information-Based Treatment of Punctuation
|
|
|
|
In: http://www.cs.bilkent.edu.tr/~akman/conf-papers/icml96/icml96.ps (1996)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
HYPERSOLVER: A Graphical Tool for Commonsense Set Theory
|
|
|
|
In: http://www.cs.bilkent.edu.tr/~akman/jour-papers/ins/paper.ps (1996)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Steps toward formalizing context
|
|
|
|
In: http://www.onto-med.de/Archiv/ontomed2002/de/lehre/ont-eng-2005-ss/protectedFiles/akman-v-1996-55-a.pdf (1996)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Situated Modeling of Epistemic Puzzles
|
|
|
|
In: ftp://ftp.mpi-sb.mpg.de/pub/igpl/Journal/V3-1/Ersan.ps.gz (1995)
|
|
Abstract:
Situation theory is a mathematical theory of meaning introduced by Jon Barwise and John Perry. It has evoked great theoretical interest and motivated the framework of a few `computational' systems. PROSIT is the pioneering work in this direction. Unfortunately, there is a lack of real-life applications on these systems and this study is a preliminary attempt to remedy this deficiency. Here, we solve a group of epistemic puzzles using the constructs provided by PROSIT. Keywords: computational situation theory, epistemic puzzles, common knowledge, PROSIT 1 Introduction Situation theory is a principled programme to develop a mathematical theory of meaning which aims to clarify and resolve some formidable problems in the study of language, information, logic, and philosophy of mind. It was introduced by Jon Barwise and John Perry in their Situations and Attitudes [3] and stimulated great interest. The theory matured within the last ten years or so [6, 7] and various versions of it have b.
|
|
Keyword:
common knowledge; computational situation theory; epistemic puzzles; PROSIT
|
|
URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.8097
|
|
BASE
|
|
Hide details
|
|
|
| 12 |
Axiomatic Set Theories And Common Sense
|
|
|
|
In: http://www.cs.bilkent.edu.tr/~akman/cdrom-papers/sets/sets.ps (1994)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Computational situation theory
|
|
|
|
In: http://www.cs.bilkent.edu.tr/~akman/jour-papers/sigart/sigart1994.pdf (1994)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Situated Nonmonotonic Temporal Reasoning with BABY-SIT
|
|
|
|
In: http://www.cs.bilkent.edu.tr/~akman/jour-papers/aicom/aicom.ps
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Focusing for Pronoun Resolution in Discourse: An Implementation
|
|
|
|
In: http://www.cs.bilkent.edu.tr/~akman/cdrom-papers/focus/focus.ps
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Nonstandard Set Theories and Information Management
|
|
|
|
In: http://www.cs.bilkent.edu.tr/~akman/jour-papers/jiis/jiis.ps
|
|
BASE
|
|
Show details
|
|
|
| 17 |
XV European Summerschool in Logic, Language and Information (ESSLLI) Organizers:
|
|
|
|
In: http://www.ilg.uni-stuttgart.de/vonHeusinger/konferenzen/03DirRefSpec/brochure.pdf
|
|
BASE
|
|
Show details
|
|
|
| 18 |
Specificity, Automatic Designation, and `I' Varol Akman and Aylin Koca
|
|
|
|
In: http://ling.uni-konstanz.de/pages/home/heusinger/konf-proj/03DirRefSpec/pdf/Akman_Koca.pdf
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Book Reviews: From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory
|
|
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Book Reviews: Survey of the State of the Art in Human Language Technology
|
|
|
|
BASE
|
|
Show details
|
|
|
|
|
