Publications

Berthold Crysmann

Cliticization in European Portuguese Using Parallel Morpho-Syntactic Constraints

In: Miriam Butt; Tracy Holloway King (Hrsg.). Lexical Functional Grammar Conference (LFG'97), June 19-21. International Lexical Functional Grammar Conference (LFG), University of California, San Diego, USA, CSLI Publications, 1997.

Ronald A. Cole; Joseph Mariani; Hans Uszkoreit; Giovanni Varile; Annie Zaenen; Victor Zue; Antonio Zampolli (Hrsg.)

Survey of the State of the Art in Human Language Technology

Cambridge University Press and Giardini, Cambridge, 1997.

Stephan Busemann; Helmut Horacek

Generating Air-Quality Reports from Environmental Data

In: Tilman Becker; Stephan Busemann; Wolfgang Finkler (Hrsg.). DFKI Workshop on Natural Language Generation. DFKI Workshops, Saarbrücken, Germany, Pages 15-21, DFKI Documents (D), Vol. 97-06, DFKI, 1997.

Stephan Busemann; Thierry Declerck; Abdel Kader Diagne; Elizabeth Hinkelman; Hans Uszkoreit

Cooperative Schedule Management Agent. Abschlussbericht COSMA

DFKI-Report R:S97-216, DFKI, o.A. 1997.

Stephan Busemann; Thierry Declerck; Abdel Kader Diagne; Luca Dini; Judith Klein; Sven Schmeier

Natural Language Dialogue Service for Appointment Scheduling Agents

In: Paul Jacobs (Hrsg.). Proceedings of the 5th Conference on Applied Natural Language Processing. Applied Natural Language Processing Conference (ANLP-97), March 31 - April 3, Washington D. C. USA, Pages 25-32, Morgan Kaufmann Publishers, 1997.

Stephan Busemann

Putting Semantic-Head-Driven Generation to the Limits: Experiments with Multi-Purpose Semantic Representations

In: Tilman Becker; Stephan Busemann; Wolfgang Finkler (Hrsg.). DFKI Workshop on Natural Language Generation. DFKI Workshops, August 23, Saarbrücken, Germany, Pages 8-14, DFKI Documents (D), Vol. 97-06, DFKI, 1997.

Christoph Kreitz; Heiko Mantel; Jens Otten; Stephan Schmitt

Connection-Based Proof Construction in Linear Logic

In: William McCune (Hrsg.). 14th International Conference on Automated Deduction, CADE-14. International Conference on Automated Deduction (CADE), Townsville, Pages 207-221, LNAI 1249, Springer, 7/1997.

Heiko Mantel; Enno Sandner

A Framework for Connection Calculi

1997.

Serge Autexier; Dieter Hutter

Equational Proof-Planning by Dynamic Abstraction

In: U. Furbach; M. P. Bonacina (Hrsg.). International Workshop on First-Order Theorem Proving - FTP97. International Workshop on First-Order Theorem Proving (FTP), Linz, Australia, Pages 1-6, RISC-Linz Report Series No. 97-50, 1997.