Krahmer, E. & Piwek, P. (1996), Presupposition projection as proof construction, manuscript no. 1187, Institute for Perception Research, Eindhoven. Accepted for the Second International Workshop on Computational Semantics (IWCS II). Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Three Processes in Natural Language Interpretation - Fernando (2000) (Correct)
....and can, up to a point, be read independently of the two preceding sections. Interest in the general line investigated in xx2 and 3 does, however, seem to be growing witness, for instance, Ahn and Kolb [2] Kamareddine and Klein [15] Fox [13] Krause [21] Borghuis [6] Krahmer and Piwek [20], Cooper [7] Ranta [26] and it is natural to relate this to explicit mathematics (Feferman [8] Explicit mathematics provides in x2 the basis for an answer to (Q2) as well as a transparent treatment of subtypes, without any need for type coercion. 1 1.2. From entailment to translation and ....
E. Krahmer and P. Piwek, Presupposition projection as proof construction, Computing meaning, Kluwer Academic Publishers, Dordrecht, 1999.
A Type Reduction From Proof-Conditional to Dynamic Semantics - Fernando (2000) (Correct)
.... the input output relations jj Delta jj M , but on some algorithm constructing logical forms for English discourse (e.g. van der Sandt [25] 14 What impact could replacing models by proofs have on the design of such an algorithm Some answers are under way (e.g. Krause [18] Krahmer and Piwek [17], Fernando [8] Acknowledgments I am very grateful to an anonymous referee for taking this paper on at a stage when it was hardly readable, and for much help in trying to get it past that stage. I thank also Krister Segerberg for not giving up on it me. 14 It is perhaps in such construction ....
E. Krahmer and P. Piwek. Presupposition projection as proof construction. In Computing Meaning. Kluwer Academic Publishers, Dordrecht, 1999.
Partial Matches and the Interpretation of Anaphoric Noun.. - Krahmer, van Deemter (1997) Self-citation (Krahmer) (Correct)
No context found.
Krahmer, E. & P. Piwek (to appear). Presupposition Projection as Proof Construction. In: H. Bunt & R. Muskens (eds.), Computing Meanings, Kluwer.
On the Interpretation of Anaphoric Noun Phrases: Towards a .. - Krahmer, van Deemter (1998) Self-citation (Krahmer) (Correct)
....the existence of a motor. Clearly, the presupposition triggered by the motor does not even match partially with one of the potential antecedents (John and a car) Hence, global) accommodation of the presupposition is predicted. The fact that cars have motors is not taken into account at all. In Krahmer Piwek (1997) and Piwek Krahmer (1997) it is shown how van der Sandt s presuppositions as anaphors theory can be combined with a constructive inference system, which allows for a formal interaction between presupposition resolution and world knowledge. What is relevant for our purpose here, is that a piece ....
....the presupposition triggered by the motor does not even match partially with one of the potential antecedents (John and a car) Hence, global) accommodation of the presupposition is predicted. The fact that cars have motors is not taken into account at all. In Krahmer Piwek (1997) and Piwek Krahmer (1997) it is shown how van der Sandt s presuppositions as anaphors theory can be combined with a constructive inference system, which allows for a formal interaction between presupposition resolution and world knowledge. What is relevant for our purpose here, is that a piece of world knowledge stating ....
Krahmer, E. & P. Piwek (1997), `Presupposition projection as proof construction', in H. Bunt & R.
Presuppositions in Context: Constructing Bridges - Piwek, Krahmer (1997) (3 citations) Self-citation (Krahmer Piwek) (Correct)
No context found.
Krahmer, E. & P. Piwek 1997. Presupposition Projection as Proof Construction. In: H. Bunt & R. Muskens (eds) Computing Meanings: Current Issues in Computational Semantics. Kluwer Academic Publishers, Dordrecht (to appear).
Presuppositions as anaphors: Towards a full understanding.. - Krahmer, van Deemter (1997) (1 citation) Self-citation (Krahmer) (Correct)
No context found.
Krahmer, E. &P. Piwek (1997a). Presupposition Projection as Proof Construction, in: H. Bunt et al. (eds.), Proceedings of the second Workshop on Computational Semantics, Tilburg
INFORMATION FLOW and Gaps - Position Statement on Questions.. - Piwek (1997) Self-citation (Piwek) (Correct)
....car, g = the garage, m = Mary, and h = Mary s home. 3 But see, for instance, Piwek (1997) 4 Zeevat (1992) compares the Van der Sandtian (Van der Sandt, 1992) resolution of a presupposition with answering a query in PROLOG, requiring the instantiation of a variable. 5 See, for instance, Krahmer Piwek (1997) for a formalization of the notion of presupposition hood as sketched in this paragraph. The formalization is mainly based on the work by Van der Sandt on presuppositions (Van der Sandt, 1992) We assume that Gamma S contains the sort of objects to which one can refer by means of referring ....
Krahmer, E. and P. Piwek (1997). `Presupposition Projection as Proof Construction ', In: Bunt, H., L. Kievit, R. Muskens & M. Verlinden (eds.), Proceedings of the Second International Workshop on Computational Semantics, Tilburg.
Communication Modelling and Context Dependent Interpretation.. - We Present An (Correct)
No context found.
Krahmer, E. & Piwek, P. (1996), Presupposition projection as proof construction, manuscript no. 1187, Institute for Perception Research, Eindhoven. Accepted for the Second International Workshop on Computational Semantics (IWCS II).
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