ECAI-2000 Logo

ECAI-2000 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

Model Generation for Discourse Representation Theory

Michael Kohlhase

We present a tableaux-based model generation calculus for Discourse Representation Theory (DRT), which gives us an incremental approach to discourse processing in the presence of world knowledge. We show the usefulness of such as system for several discourse phenomena.

Keywords: Natural Language Processing, Automated Reasoning, Theorem Proving

Citation: Michael Kohlhase: Model Generation for Discourse Representation Theory. In W.Horn (ed.): ECAI2000, Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2000, pp.441-445.

[prev] [tofc] [next]

ECAI-2000 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Humboldt University on behalf of Gesellschaft für Informatik.