Kazushige Terui  Home/Search
Context
Related
| illc.uva.nl/Public...199817.text.ps.gz wins.uva.nl/resear...199817.text.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: illc.uva.nl/Pub...allseries1998 (more) From: wins.uva.nl/res...wwwallpublall (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A number of attempts have been made to combine Discourse Representation Theory with type-logical grammar in order to obtain a compositional (bottom-up) framework for discourse representation (e.g., Muskens[Mus94], van Eijck & Kamp[vEK97]). In those attempts, however, it is usually assumed that anaphoric links are given in advance of the construction of discourse representation structures (DRSs). This assumption causes a difficulty, typically dealing with plural anaphora, because generally... (Update)
Active bibliography (related documents): More All
0.5: A Multi-Modal Analysis of Anaphora and Ellipsis - Jäger (1998) (Correct)
0.3: A Linear Logic Specification for Chimera - Bozzano, Delzanno, Martelli (1997) (Correct)
0.3: A Linear Logic Specification of Chimera - Bozzano, Delzanno, Martelli (1997) (Correct)
Similar documents based on text: More All
0.5: Representing Discourse in Context - van Eijck, Kamp (1996) (Correct)
0.4: Chart-based Incremental Semantics Construction with.. - Fischer, Geistert, Görz (1995) (Correct)
0.4: Presuppositional Discourse Representation Theory - Krahmer (1996) (Correct)
BibTeX entry: (Update)
@misc{ terui-anaphoric,
author = "Kazushige Terui",
title = "Anaphoric Linking at Run Time: A Type-Logical Account of Discourse Representation",
url = "citeseer.ist.psu.edu/7066.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
382 Lambda calculi with types - Barendregt - 1992
340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
278 From Discourse to Logic (context) - Kamp, Reyle - 1993
248 The mathematics of sentence structure (context) - Lambek - 1958
215 Theoretical Computer Science (context) - Girard - 1987
150 The Semantics of Definite and Indefinite Noun Phrases (context) - Heim - 1982
148 Reference to Abstract Objects in Discourse (context) - Asher - 1993
134 Labelled Deductive Systems (context) - Gabbay - 1996
88 Categorial type logics - Moortgat - 1997
51 Combining montague semantics and discourse representation (context) - Muskens - 1996
49 Type Logical Grammar: Categorial Logic of Signs - Morrill - 1994
39 Categorial Investigations (context) - Moortgat - 1988
32 Representing discourse in context - van Eijck, Kamp - 1997
32 Type-Logical Semantics (context) - Carpenter - 1998
26 Proof search in first-order linear logic and other cut-free .. - Lincoln, Shankar - 1994
20 A type-theoretic semantics for -DRT (context) - Kohlhase, Kuschert et al. - 1995
20 A compositional approach to discourse representation theory (context) - Zeevat - 1989
19 Language in Action: Categories (context) - van Benthem - 1991
17 Linear objects: Logical processes with built-in inheritance (context) - Andreoli, Pareschi - 1991
16 Generalized quantification and discontinuous type constructo.. (context) - Moortgat - 1991
11 Non-commutative intuitionistic linear propositional logic (context) - Abrusci - 1990
6 Categorial grammar and discourse representation theory - Muskens - 1994
3 i and Akinori Yonezawa. Logical, testing, and observation eq.. (context) - Kobayash - 1993
2 within-i effects in a variable free semantics and a categori.. (context) - Jacobson - 1994
Documents on the same site (http://www.illc.uva.nl/Publications/Lists/www-allseries-1998.html): More
A Modal Analysis of some Principles of the Provability Logic of.. - Iemhoff (1998) (Correct)
Axiomatising Dynamic Logics for Anaphora - van Eijck (1998) (Correct)
Deciding the E + -class by an a posteriori, liftable order - de Nivelle (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC