IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Mon, 08 Feb 2016 19:54:49

Strömbäck, L. (1994). FLUF: A Flexible Unification Formalism - Syntax and Semantics. Technical Report LiTH-IDA-R-94-13, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),

Abstract: FLUF: A FLexible Unification Formalism - Syntax and Semantics Lenas Strömbäck Abstract The report presents the FLexible Unification Formalism (FLUF) as our solution of a flexible unification-based formalism\x11for natural language processing. For this formalism we give both a declarative and an operational semantics based on the theory for term rewriting systems and narrowing. We also give some results about soundness and completeness.

Goto (at Linköping University): CS Dept TR Overview