Ahn, R. & Kolb, H.P. (1990): `Discourse Representation meets Constructive Mathematics'. In:Papers from the Second Symposium on Logic and Language, K'alm'an, L. & P'olos, L. (eds.), Akad'emia Kiad'o, Budapest. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Comments on Constructive Semantics for Natural Language - Pérez (1996) (Correct)
Semantics and Parsing in Intuitionistic Categorial Grammar - Pérez (1995) (1 citation) (Correct)
Three Processes in Natural Language Interpretation - Fernando (Correct)
Representing Discourse in Context - van Eijck, Kamp (1996) (6 citations) (Correct)
Three Processes in Natural Language Interpretation - Fernando (2000) (Correct)
A Type Reduction From Proof-Conditional to Dynamic Semantics - Fernando (2000) (Correct)
Multimodal Cooperative Resolution of Referential Expressions.. - Kievit, Piwek (2001) (Correct)
Resolving Lexical Ambiguity using a Formal Theory of Context - Buvac (1996) (12 citations) (Correct)
What is an Answer? That is the Question - Piwek (1997) (Correct)
Representing Discourse in Context - van Eijck, Kamp (1997) (6 citations) (Correct)
Describing the Approaches - Cooper, Crouch, van Eijck, Fox, van.. (1994) (Correct)
Presupposition Projection as Proof Construction - Krahmer, Piwek (1997) (3 citations) (Correct)
The Bluffer's Guide To Computational Semantics - Fracas (1996) (Correct)
Presuppositional Discourse Representation Theory - Krahmer (1996) (Correct)
Presupposition and Abduction in Type Theory - Krause (1995) (6 citations) (Correct)
Communication Modelling and Context Dependent Interpretation.. - We Present An (Correct)
Harmonizing the Approaches - The Fracas Consortium (1994) (2 citations) (Correct)
Presuppositions in Context: Constructing Bridges - Piwek, Krahmer (1997) (3 citations) (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