TY  - RPRT
T1  - The Verbmobil semantic formalism (Version 1.3)
T3  - Saarbrücken, 1994
A1  - Bos,Johan
A1  - Mastenbroek,Elsbeth
A1  - McGlashan,Scott
A1  - Millies,Sebastian
A1  - Pinkal,Manfred
Y1  - 2011/07/22
N2  - This report describes the semantic formalism developed at Saarbrücken University as part of the Verbmobil project. The formalism is based upon DRT with additional functionality to meet the requirements on semantic construction arising from spoken dialogue translation. We define the syntax of the formalism and illustrate the semantic composition process in detail.	
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/3991
ER  -