| 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)
|
|
Abstract:
This paper investigates an alternative set theory (due to Peter Aczel) called Hyperset Theory. Aczel uses a graphical representation for sets and thereby allows the representation of non-well-founded sets. A program, called HYPERSOLVER, which can solve systems of equations defined in terms of sets in the universe of this new theory is presented. This may be a useful tool for commonsense reasoning. 1 INTRODUCTION Set theory has long occupied a unique place in mathematics since it allows various other branches of mathematics to be formally defined within it. The theory has ignited many debates on its nature and a number of different axiomatizations were developed to formalize its underlying `philosophical' principles. Collecting entities into an abstraction for further thought (i.e., set construction) is an important process in mathematics, and this brings in assorted problems [5]. The theory had many ground-shaking crises (like the discovery of the Russell's Paradox [6]) throughout it.
|
|
URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.4540
http://www.cs.bilkent.edu.tr/~akman/jour-papers/ins/paper.ps
|
|
BASE
|
|
Hide 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)
|
|
BASE
|
|
Show 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
|
|
|
|
|
