TY - RPRT T1 - A compositional DRS-based formalism for NLP applications T3 - Saarbrücken, 1994 A1 - Bos,Johan A1 - Mastenbroek,Elsbeth A1 - MacGlashan,Scott A1 - Millies,Sebastian A1 - Pinkal,Manfred Y1 - 2011/08/23 N2 - This paper describes and discusses the formalism which forms the backbone of semantic processing in the Verbmobil spoken dialogue translation project. In the first part, the theoretical core of the formalism is presented: lambda-DRT, a compositional version of Discourse Representation Theory. The main part describes the implementation of lambda-DRT, as a worked out semantic representation language for the Verbmobil project, which is designed to meet the special requirements of the application. Finally, we discuss future extensions and modications of the formalism. KW - Künstliche Intelligenz CY - Saarbrücken PB - Universitäts- und Landesbibliothek AD - Postfach 151141, 66041 Saarbrücken UR - http://scidok.sulb.uni-saarland.de/volltexte/2011/4105 ER -