A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is
Proceedings of the 14th conference on Computational linguistics -
This paper proposes the use of situation theory as a basic semantic formalism for defining general semantic theories. ASTL, a computational situation theoretic language, is described which goes some way to offering such a system. After a general description of Discourse Representation Theory an encoding of DRT in ASTL is given. Advantages and disadvantages of this method are then discussed. Topie: computational formalisms in semantics and discourse ACRES DE COLING-92, NANTES.doi:10.3115/992424.992440 fatcat:h7aypmbxqjhafi5ub4sgxm7tvm