Oesterreichisches Forschungsinstitut fuer Artificial Intelligence (OeFAI) Schottengasse 3, A-1010 Wien Tel.+43-1-53532810,5336112 ------------------------------------------------------------------------- VORTRAG ******* Ulrich SCHAEFER Deutsches Forschungszentrum fuer Kuenstliche Intelligenz (DFKI) Saarbruecken Parametrizable Type Expansion in the Feature Structure Formalism TDL -------------------------------------------------------------------- Over the last few years, constraint-based grammar formalisms have become the predominant paradigm in natural language processing and computational linguistics. From the viewpoint of computer science, typed feature structures can be seen as data structures that allow to represent linguistic knowledge in a uniform fashion. Type expansion is an operation that makes constraints of a typed feature structure explicit and deter- mines its satisfiability. We describe an efficient expansion algorithm that takes care of recursive type definitions and allows to explore different expansion strategies through the use of control knowledge. This knowledge is specified on a separate layer, independent of grammatical information. The algorithm, as presented, has been fully implemented in Common Lisp and is an integrated part of the type description language TDL developed at DFKI. Zeit: Freitag, 27.Jaenner 1995, 18:30 Uhr pktl. Ort: OeFAI, Schottengasse 3, 1010 Wien 1.