DFKI Publications by Backofen, Rolf



with Harald Trost , Hans Uszkoreit
Linking Typed Feature Formalisms and Terminological Knowledge Representation Languages in Natural Language Front-Ends


with Lutz Euler , Günther Görz
Towards the Integration of Functions, Relations and Types in an AI Programming Language


with Gert Smolka
A Complete and Recursive Feature Theory


Regular Path Expressions in Feature Logic


with Ralf Treinen
How to Win a Game with Features


A Complete Axiomatization of a Theory with Feature and Arity Constraints


with Hans Uszkoreit , Stephan Busemann , Abdel Kader Diagne , Elizabeth A. Hinkelman , Walter Kasper , Bernd Kiefer , Hans-Ulrich Krieger , Klaus Netter , Günter Neumann , Stephan Oepen , Stephen P. Spackman.
DISCO--An HPSG-based NLP System and its Application for Appointment Scheduling.


with James Rogers , K. Vijay-Shanker
A First-Order Axiomatization of the Theory of Finite Trees



with Hans-Ulrich Krieger , Stephen P. Spackman , Hans Uszkoreit (Eds.)
Report of the EAGLES Workshop on Implemented Formalisms at DFKI, Saarbrücken

This document was last updated at 12:48 on Monday, January 26, 2004 by
DFKI-Bibliothek (bib@dfki.uni-kl.de)

Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.