Type Theory with Records for Natural Language Semantics

Semantic analysis of interaction and coordination in dialogue (SAICD).

[1]  Staffan Larsson,et al.  A Probabilistic Rich Type Theory for Semantic Interpretation , 2014, EACL 2014.

[2]  Robin Cooper,et al.  Records and Record Types in Semantic Theory , 2005, J. Log. Comput..

[3]  H. H. Clark,et al.  Referring as a collaborative process , 1986, Cognition.

[4]  R. Montague Formal philosophy; selected papers of Richard Montague , 1974 .

[5]  Robin Cooper,et al.  Negative Inquisitiveness and Alternatives-Based Negation , 2011, Amsterdam Colloquium on Logic, Language and Meaning.

[6]  Tim Fernando,et al.  Constructing Situations and Time , 2011, J. Philos. Log..

[7]  Robin Cooper,et al.  Quotation via Dialogical Interaction , 2014, J. Log. Lang. Inf..

[8]  Jonathan Ginzburg,et al.  Answering Clarification Questions , 2003, SIGDIAL Workshop.

[9]  Andrzej Wisniewski,et al.  Erotetic Search Scenarios , 2003, Synthese.

[10]  Jonathan Ginzburg,et al.  The interactive stance : meaning for conversation , 2012 .

[11]  Chung Hee Hwang,et al.  The TRAINS project: a case study in building a conversational planning agent , 1994, J. Exp. Theor. Artif. Intell..

[12]  Charles J. Fillmore,et al.  Frames and the semantics of understanding , 1985 .

[13]  Tim Fernando Situations as Strings , 2006, Electron. Notes Theor. Comput. Sci..

[14]  Jonathan Ginzburg,et al.  The Earliest Utterances in Dialogue: Towards a Formal Theory of Parent/Child Talk in Interaction , 2014 .

[15]  Robin Cooper,et al.  Propositions, Questions, and Adjectives: a rich type theoretic approach , 2014, EACL 2014.

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

[17]  Staffan Larsson,et al.  Towards a Formal View of Corrective Feedback , 2009 .

[18]  Zhaohui Luo,et al.  Type-theoretical semantics with coercive subtyping , 2010 .

[19]  Robin Cooper,et al.  Austinian Truth, Attitudes and Type Theory , 2005 .

[20]  W. Davis The Ecological Approach to Visual Perception , 2012 .

[21]  Richard Montague,et al.  The Proper Treatment of Quantification in Ordinary English , 1973 .

[22]  Jonathan Ginzburg,et al.  Experimenting with Clarification in Dialogue , 2003 .

[23]  E. Schegloff,et al.  The preference for self-correction in the organization of repair in conversation , 1977 .

[24]  Reinhard Muskens,et al.  Sense and the Computation of Reference , 2005 .

[25]  Maziar Toosarvandani,et al.  Contrast and the structure of discourse , 2014 .

[26]  Zhaohui Luo Contextual Analysis of Word Meanings in Type-Theoretical Semantics , 2011, LACL.

[27]  Matthew Purver,et al.  CLARIE: Handling Clarification Requests in a Dialogue System , 2006 .

[28]  Francis Jeffry Pelletier Foundations of Intensional Semantics , 2006, Computational Linguistics.

[29]  S. Brennan,et al.  How Listeners Compensate for Disfluencies in Spontaneous Speech , 2001 .

[30]  Tim Fernando,et al.  Situations in LTL as strings , 2009, Inf. Comput..

[31]  Jonathan Ginzburg,et al.  Scaling up from Dialogue to Multilogue: Some Principles and Benchmarks , 2005, ACL.

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

[33]  Robin Cooper,et al.  Adapting Type Theory with Records for Natural Language Semantics , 2017 .

[34]  Jonathan Ginzburg,et al.  Disfluencies as intra-utterance dialogue moves , 2014 .

[35]  Tim Fernando,et al.  A Finite-state Approach to Events in Natural Language Semantics , 2004, J. Log. Comput..

[36]  W. Levelt,et al.  Monitoring and self-repair in speech , 1983, Cognition.

[37]  H. H. Clark,et al.  Using uh and um in spontaneous speaking , 2002, Cognition.

[38]  John J. Godfrey,et al.  SWITCHBOARD: telephone speech corpus for research and development , 1992, [Proceedings] ICASSP-92: 1992 IEEE International Conference on Acoustics, Speech, and Signal Processing.

[39]  R. Cooper Type Theory and Semantics in Flux , 2012 .

[40]  James F. Allen,et al.  Speech repains, intonational phrases, and discourse markers: modeling speakers’ utterances in spoken dialogue , 1999, CL.

[41]  Raymond Turner,et al.  Semantics and property theory , 1988 .

[42]  Tim Fernando,et al.  Finite-State Descriptions For Temporal Semantics , 2008 .

[43]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[44]  Ronnie Cann,et al.  Aspects of Semantics and Pragmatics of Dialogue , 2010 .

[45]  Richmond H. Thomason,et al.  A model theory for propositional attitudes , 1980 .

[46]  Sarah Brown-Schmidt,et al.  Addressees distinguish shared from private information when interpreting questions during interactive conversation , 2008, Cognition.

[47]  Shalom Lappin,et al.  An Operational Approach to Fine-Grained Intensionality , 2012 .

[48]  Jonathan Ginzburg,et al.  Clarifying Noun Phrase Semantics , 2004, J. Semant..