Discourse Representation Theory: What it is and Where it Ought to Go

[1]  Johan van Benthem,et al.  Questions About Quantifiers , 1984, J. Symb. Log..

[2]  Nicholas Asher,et al.  Belief in discourse representation theory , 1986, J. Philos. Log..

[3]  Celestin Sedogbo.  Sylog: A DRT System in Prolog , 1987, Natural Language Understanding and Logic Programming Workshop.

[4]  Saul A. Kripke,et al.  A Puzzle about Belief , 1979 .

[5]  H. Kamp,et al.  Tense in Texts , 1983 .

[6]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[7]  Vaughan R. Pratt,et al.  SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.

[8]  Elisabet Engdahl,et al.  The syntax and semantics of questions in Swedish , 1980 .

[9]  Richard Montague,et al.  ENGLISH AS A FORMAL LANGUAGE , 1975 .

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

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

[12]  Henk Zeevat,et al.  A compositional approach to discourse representation theory , 1989 .

[13]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[14]  Emmon Bach.  Time, Tense, and Aspect: An Essay in English Metaphysics , 1981 .

[15]  Gottlob Frege,et al.  Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens , 1879 .

[16]  Saul A. Kripke,et al.  Naming and Necessity , 1980 .

[17]  Ray Turner,et al.  A theory of properties , 1987, Journal of Symbolic Logic.

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

[19]  James L. McGaugh,et al.  Thinking: Readings in Cognitive Science@@@Knowing, Thinking, and Believing , 1980 .

[20]  Bonnie L. Webber,et al.  Tense as Discourse Anaphor , 1988, CL.

[21]  Nirit Kadmon,et al.  On unique and non-unique reference and asymmetric quantification , 1987 .

[22]  Göran Sundholm,et al.  Systems of Deduction , 1983 .

[23]  H. Kamp.  Events, Instants and Temporal Reference , 1979 .