TY - RPRT U1 - Arbeitspapier A1 - Witt, Andreas A1 - Senf, Thomas T1 - Formalisierung von Kontext und sprachlichem Wissen mit Prioritisierter Circumscription (VM-Memo 55) T2 - Verbmobil KW - Automatische Sprachanalyse KW - Pronomen Y1 - 1994 U6 - https://nbn-resolving.org/urn:nbn:de:bsz:mh39-75674 UN - https://nbn-resolving.org/urn:nbn:de:bsz:mh39-75674 SP - 1 EP - 8 PB - Universität Bielefeld CY - Bielefeld ER -