DFKI Publications by Backofen, Rolf

[Back]

RR-91-28

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

RR-91-32

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

RR-92-30

with Gert Smolka
A Complete and Recursive Feature Theory

RR-93-17

Regular Path Expressions in Feature Logic

RR-94-18

with Ralf Treinen
How to Win a Game with Features

RR-94-35

A Complete Axiomatization of a Theory with Feature and Arity Constraints

RR-94-38

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.

RR-95-05

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

Edited:

D-93-27

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.