TY - RPRT T1 - Presupposition as anaphora in the Verbmobil semantic formalism T3 - Saarbrücken, 1994 A1 - Bos,Johan Y1 - 2011/07/29 N2 - In this report we discuss the treatment of presuppositional expressions in the Verbmobil Semantic Formalism (Bos et al., 1994). First a classification of relevant presupposition triggers is given. Then the representation of presuppositions in the Semantic Formalism, which is an extended, compositional version of Discourse Representation Theory, is defined. Finally a procedure for presupposition projection, akin to Van der Sandt's theory (Van der Sandt, 1992), is proposed, illustrated, and discussed. 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/4056 ER -