Publications
Publication details [#27870]
Reyle, Uwe and Dov M. Gabbay. 1994. Direct deductive computation on discourse representation structures. Linguistics and Philosophy 17 (4) : 343–390.
Publication type
Article in journal
Publication language
English
Keywords
Place, Publisher
Kluwer
ISBN
0165-0157
Journal WWW
Annotation
This paper deals with discourse representation theory, a theory of the semantic content of natural language sentences, discourses and texts and of the content and structure of thought, and with direct deductive computation on discourse representation structures.