Krause, P., 1995. "Presupposition and Abduction in Type Theory", in E. Klein, S. Manandhar, W. Nutt and J. Siekmann (eds.), Working Notes of the Edinburgh Conference on Computational Logic and Natural Language Processing, Human Communications Research Centre, University of Edinburgh. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Presupposition Computation And Presupposition Justification: One.. - Kamp (Correct)
....PRESUPPOSITION COMPUTATION AND PRESUPPOSITION JUSTIFICATION: ONE ASPECT OF THE INTERPRETATION OF MULTI SENTENCE DISCOURSE Hans Kamp Institute for Computational Linguistics (IMS) Azenbergstr. 12 70174 Stuttgart, Germany hans ims.uni stuttgart.de 1 INTRODUCTION As a rule discourse meanings are more than plain conjunctions of sentence meanings 1 . And this more is often the effect of interpretation principles that are an integral part of linguistic knowledge, and thus legitimate ....
....PRESUPPOSITION COMPUTATION AND PRESUPPOSITION JUSTIFICATION: ONE ASPECT OF THE INTERPRETATION OF MULTI SENTENCE DISCOURSE Hans Kamp Institute for Computational Linguistics (IMS) Azenbergstr. 12 70174 Stuttgart, Germany hans ims.uni stuttgart.de 1 INTRODUCTION As a rule discourse meanings are more than plain conjunctions of sentence meanings 1 . And this more is often the effect of interpretation principles that are an integral part of linguistic knowledge, and thus legitimate objects ....
[Article contains additional citation context not shown here]
Krause, P. (1995). Presupposition and Abduction in Type Theory. In Working Notes of CLNLP-95: Computational Logic and Natural Language Processing
A Type Reduction From Proof-Conditional to Dynamic Semantics - Fernando (2000) (Correct)
.... DRT revolves not around 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 ....
Peter Krause. Presupposition and abduction in type theory. In E. Klein et al, editor, Computational Logic and Natural Language Processing. South Queensferry, Scotland, 1995.
What is an Answer? That is the Question - Piwek (1997) (Correct)
....of answerhood in detail. In defining answerhood, we proceed as follows: we start with a definition of positive answers, which is stepwise extended to cover the different types of context dependence of answers. 12 A different approach to presuppositions, also using a Type System, is presented in Krause (1995). Krause deals with presuppositions (binding and global accommodation) by using the Type System in combination with abductive inference. 5.1 The common background as context Below, the context (henceforth, Gamma) is taken to correspond to the information which the questioner assumes to be the ....
Krause, P. (1995), `Presupposition and Abduction in Type Theory', in E. Klein, S. Mandandhar, W.
Presupposition - Beaver (1996) (4 citations) (Correct)
....non standard static logical systems have been proposed, although the application of these systems to natural language is in many ways informed by the dynamic systems of 4, below. I am thinking of the proposals to deal with presupposition in property theory [Ra92, Fo:MS] constructive type theory [Krau95], and also of situation theory. But note that whilst situation theorists have used partial semantics to deal with presuppositional phenomena such as definites, quantifier domain restriction and questions (see e.g. GP90, Co92, Gi95] there is, to my knowledge, not yet any proposal in situation ....
Krause, P., 1995. "Presupposition and Abduction in Type Theory", in E. Klein, S. Manandhar, W. Nutt and J. Siekmann (eds.), Working Notes of the Edinburgh Conference on Computational Logic and Natural Language Processing, Human Communications Research Centre, University of Edinburgh.
Presupposition - Beaver (1994) (4 citations) (Correct)
No context found.
Krause, P., 1995. "Presupposition and Abduction in Type Theory", in E. Klein, S. Manandhar, W. Nutt and J. Siekmann (eds.), Working Notes of the Edinburgh Conference on Computational Logic and Natural Language Processing, Human Communications Research Centre, University of Edinburgh.
Presuppositions in Context: Constructing Bridges - Piwek, Krahmer (1997) (3 citations) (Correct)
No context found.
Krause, P. 1995. Presupposition and Abduction in Type Theory. In: E. Klein et al. (eds.), Working Notes of the Edinburgh Conference on Computational Logic and Natural Language Processing, HCRC, Edinburgh.
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