 
Summary: Integrating time into Discourse Representation Theory: A
computational approach
Diego Moll'a Aliod
September 14, 1992
This dissertation is basically a practical work where I try to implement the integration of time
structures into Kamp's Discourse Representation Theory (DRT) by means of a computer program.
By doing so, several theories have been put together, all them based on Kamp's DRT [7]. First
of them, Johnson and Klein's paper [6], where a reformulation of DRT theory has been made in
such a way that it can be implemented in a declarative programming language such as PROLOG.
Secondly, another article written by Partee [10], where some basics of how to integrate time into
DRT have been stated, and finally, an analysis made by Eberle and Kasper [5] where the temporal
forms are described by means of a set of temporal features, which make temporal analysis be easier
for a computer.
In the work written in these pages I will introduce part of each one of these theories, although
not necessarily in this order, together with clues of how the integration can be made. The last
chapters of the dissertation will be devoted to the final implementation and how this work can be
improved during further research.
Diego Moll'a Aliod
Final dissertation for the Msc Speech and Language Processing
