Logic, information and conversation

• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers.

[1]  James Pustejovsky,et al.  The Generative Lexicon , 1995, CL.

[2]  J. Pierrehumbert.  The phonology and phonetics of English intonation , 1987 .

[3]  Robbert-Jan Beun,et al.  Deictic use of Dutch demonstratives , 1995 .

[4]  Irene Heim,et al.  The semantics of definite and indefinite noun phrases : a dissertation , 1982 .

[5]  Jens Allwood,et al.  OBLIGATIONS AND OPTIONS IN DIALOGUE , 1994 .

[6]  Wallace L. Chafe,et al.  Language and Consciousness. , 1974 .

[7]  van Cj Kees Deemter.  Contrastive stress, contrariety, and focus , 1994 .

[8]  R. Ahn,et al.  Discourse representation meets constructive mathematics , 1990 .

[9]  岩田 一男,et al.  Essentials of English grammar , 1972 .

[10]  Enric Vallduví,et al.  The Informational Component , 1990 .

[11]  AnaphoraDavid MilwardUniversit,et al.  Integrating Situations into a Theory of Discourse , 1996 .

[12]  Vaj Tijn Borghuis.  Coming to terms with modal logic : on the interpretation of modalities in typed lambda-calculus , 1994 .

[13]  W. Levelt,et al.  Speaking: From Intention to Articulation , 1990 .

[14]  Remko Scha,et al.  Discourse grammar and verb phrase anaphora , 1994 .

[15]  Eam Esther Klabbers,et al.  Speech output generation in GoalGetter , 1997 .

[16]  Rj Robbert-Jan Beun.  Rules in dialogue , 1994 .

[17]  Lauri Carlson.  Dialogue Games: An Approach to Discourse Analysis , 1982 .

[18]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[19]  Mariët Theune.  GoalGetter: predicting contrastive accent in data-to-speech generation , 1996 .

[20]  Elias George Coenraad Thijsse,et al.  Partial logic and knowledge representation , 1992 .

[21]  Uwe Reyle,et al.  From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory , 1993, Studies in linguistics and philosophy.

[22]  G. Frege.  Über Sinn und Bedeutung , 1892 .

[23]  R. Scha.  Logical foundations for question answering , 1983 .

[24]  Kees van Deemter.  Forward References in Natural Language , 1990, J. Semant..

[25]  René M. C. Ahn.  Communication Contexts: a Pragmatic Approach to Information Exchange , 1994, TYPES.

[26]  G. Yule,et al.  Discourse Analysis: Coherence in the interpretation of discourse , 1983 .

[28]  Per Martin-Löf,et al.  Intuitionistic type theory , 1984, Studies in proof theory.

[29]  E. Tiryakian,et al.  Studies in social interaction , 1972 .

[30]  Nicholas Asher,et al.  Generics and Defaults , 1997, Handbook of Logic and Language.

[31]  Yorick Wilks,et al.  Theoretical Issues in Natural Language Processing , 2018 .

[32]  Aarne Ranta.  Type-Theoretical Grammar , 1995 .

[33]  Harry Bunt,et al.  Cooperative interpretation of communicative actions , 1998 .

[34]  H B Curry,et al.  Functionality in Combinatory Logic. , 1934, Proceedings of the National Academy of Sciences of the United States of America.

[35]  Noam Chomsky,et al.  Deep structure, surface structure, and semantic interpretation , 1969 .

[36]  J. Dewey.  Experience and Nature , 1960 .

[37]  C. Raymond Perrault.  An application of default logic to speech act theory , 1987 .

[38]  Pla Paul Piwek.  Situated action and commitment in dialogue , 1997 .

[39]  Robbert-Jan Beun,et al.  Pragmatische features in DenK : PRAGTAGS D(4,9)-96-06-spec , 1997 .

[40]  李幼升,et al.  Ph , 1989 .

[41]  de Ng Dick Bruijn,et al.  A survey of the project Automath , 1980 .

[42]  James F. Allen,et al.  A Plan Recognition Model for Subdialogues in Conversations , 1987, Cogn. Sci..

[43]  Eugene Charniak,et al.  Passing Markers: A Theory of Contextual Influence in Language Comprehension* , 1983 .

[44]  Emiel Krahmer.  Presupposition and Anaphora , 1998 .

[45]  R. Quirk,et al.  A Corpus of English Conversation , 1980 .

[46]  I. I. N. Kamp.  Combining Montague Semantics and Discourse Representation , 1996 .

[47]  Mats Rooth.  A theory of focus interpretation , 1992, Natural Language Semantics.

[48]  P.J.E. Dekker,et al.  On first order information exchange , 1997 .

[49]  Lauri Karttunen,et al.  Discourse Referents , 1969, COLING.

[50]  Haskell B. Curry.  Outlines of a formalist philosophy of mathematics , 1951 .

[51]  T. Reinhart.  Pragmatics and Linguistics: an analysis of Sentence Topics , 1981, Philosophica.

[52]  H. W. Zeevat.  The common ground as a dialogue parameter , 1997 .

[53]  Jonathan Ginzburg.  Quantificational Dynamics via Dialogue , 1995 .

[54]  Ray Jackendoff,et al.  Semantic Interpretation in Generative Grammar , 1972 .

[55]  Kees van Deemter.  What's New? A Semantic Perspective on Sentence Accent , 1994, J. Semant..

[56]  L. Wittgenstein.  Philosophical investigations = Philosophische Untersuchungen , 1958 .

[57]  Harry Bunt,et al.  Dialogue acts as elements of a language game , 1980 .

[58]  Emiel Krahmer,et al.  Partial matches and the interpretation of anaphoric noun phrases , 1997 .

[59]  Jonathan Ginzburg,et al.  Resolving questions, I , 1995 .

[60]  Mari Ostendorf,et al.  Prediction of abstract prosodic labels for speech synthesis , 1996, Comput. Speech Lang..

[61]  R. Power.  The organisation of purposeful dialogues , 1979 .

[62]  Paul Piwek,et al.  Accent Interpretation, Anaphora Resolution and Implicature Derivation , 1997 .

[63]  Julia Hirschberg,et al.  Evaluation of prosodic transcription labeling reliability in the tobi framework , 1994, ICSLP.

[64]  Elias C.G. Thijsse.  The doxastic-epistemic force of declarative utterances , 2000, Abduction, Belief and Context in Dialogue.

[65]  Jeroen Groenendijk,et al.  On the semantics of questions and the pragmatics of answers , 1984 .

[66]  Harry Bunt,et al.  Multimodal Cooperative Resolution of Referential Expressions in the DenK System , 1998, Cooperative Multimodal Communication.

[67]  Henk Zeevat,et al.  Presupposition and Accommodation in Update Semantics , 1992, J. Semant..

[68]  G. Sundholm.  Proof Theory and Meaning , 1986 .

[69]  Anna-Brita Stenström,et al.  An Introduction To Spoken Interaction , 1994 .

[70]  A. Avramides.  Studies in the Way of Words , 1992 .

[71]  Herbert H. Clark,et al.  Contributing to Discourse , 1989, Cogn. Sci..

[72]  Anita Cremers,et al.  Reference to objects : an empirically based study of task-oriented dialogues , 1996 .

[73]  Pla Paul Piwek,et al.  Presupposition Projection as Proof Construction , 1999 .

[74]  B. Webber,et al.  Elements of Discourse Understanding , 1983 .

[75]  Ahm Cremers,et al.  Dutch and English demonstratives : a comparison , 1996 .

[76]  T. Coquand.  Une théorie des constructions , 1985 .

[77]  W. Francis,et al.  The London-Lund Corpus of Spoken English: Description and Research , 1992 .

[78]  Arthur Dirksen.  Accenting and Deaccenting: a Declarative Approach , 1992, COLING.

[79]  James F. Allen,et al.  A Plan Recognition Model for Subdialogues in Conversations , 1987, Cogn. Sci..

[80]  Richmond H. Thomason,et al.  Nonmonotonicity in Linguistics , 1997, Handbook of Logic and Language.

[81]  Sylvain Bromberger,et al.  On what we know we don't know , 1992 .

[82]  Alonzo Church,et al.  A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.

[83]  E. Tiryakian,et al.  Studies in social interaction , 1972 .

[84]  Rob A. van der Sandt,et al.  Presupposition Projection as Anaphora Resolution , 1992, J. Semant..

[85]  Emiel Krahmer,et al.  Negation and Disjunction in Discourse Representation Theory , 1995, J. Semant..

[86]  M. Coulthard,et al.  Advances in Spoken Discourse Analysis , 1992 .

[87]  Pla Paul Piwek.  The construction of answers , 1997 .

[88]  D. Over,et al.  Studies in the Way of Words. , 1989 .

[89]  Ivan A. Sag,et al.  Book Reviews: Head-driven Phrase Structure Grammar and German in Head-driven Phrase-structure Grammar , 1996, CL.

[90]  John R. Searle,et al.  Speech Acts: An Essay in the Philosophy of Language , 1970 .

[91]  Paul Piwek,et al.  Presuppositions in context : constructing bridges , 2000 .

[92]  F. D. Jong.  The Compositional Nature of (In)Definiteness , 1987 .

[93]  Tomoko Matsui,et al.  Bridging and Relevance , 2000 .

[94]  E. Hinrichs.  Temporal anaphora in discourses of english , 1986, Linguistics and Philosophy.

[95]  Paul Buitelaar,et al.  Bridging as Coercive Accommodation , 1995, ArXiv.

[96]  Jeroen Groenendijk,et al.  Truth, Interpretation and Information: Selected Papers from the Third Amsterdam Colloquium , 1984 .

[97]  Harry Bunt,et al.  Context and Dialogue Control , 1994 .

[98]  Jerry R. Hobbs.  Implicature and Definite Reference , 1987 .

[99]  J. Tanur.  Questions About Questions , 1992 .

[100]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[101]  Mira Ariel.  Accessing Noun-Phrase Antecedents , 1990 .

[102]  Harry Bunt,et al.  Multimodal Cooperation with the DENK System , 1995, Multimodal Human-Computer Communication.

[103]  Robbert-Jan Beun,et al.  Mental state recognition and communicative effects , 1994 .

[104]  Jeroen Groenendijk,et al.  Coreference and Contextually Restricted Quantification , 1995 .