References of Rolf Backofen 
|
Order by: Type | Year
|
|
|
|
| |
|
| |
Rolf Backofen. A Complete Axiomatization of a Theory with Feature and Arity Constraints. In The Journal of Logic Programming, Vol. 24:37-72, 1995.   google [Annote]
|
|
| |
|
| |
|
|
|
|
|
| |
Rolf Backofen. On the Decidability of Functional Uncertainty. In
ACL editor, 31st Annual Meeting of the Association for Computational Linguistics (ACL), June 22-26, Pages 201-208, Association for Computational Linguistics, Ohio State University Columbus, Ohio, USA, 1993. google
Note: A full version has appeared as Research Report RR-93-17.
|
|
| |
|
Rolf Backofen. Regular Path Expressions in Feature Logic. In
C. Kirchner editor, 5th International Conference of the Rewriting Techniques and Applications (RTA '93), June 16-18, (690):121-135, Springer, Montreal, Canada, 1993. google [Annote]
|
|
| |
|
Rolf Backofen,
Lutz Euler and
Günther Görz. Towards the Integration of Functions, Relations and Types in an AI Programming Language. In
H. Marburger editor, 14th German Workshop on Artificial Intelligence (GWAI '90), September 10-14, Vol. 251:297-306 of Informatik-Fachberichte, Springer, Eringerfeld, Germany, 1990. google
|
|
| |
|
| |
|
Rolf Backofen and
Gert Smolka. A Complete and Recursive Feature Theory. In 31st Annual Meeting of the Association for Computational Linguistics (ACL), June 22-26, Pages 193-200, Association for Computational Linguistics, Ohio State University Columbus, Ohio, USA, 1993. google [Annote]
|
|
| |
|
Rolf Backofen and
Ralf Treinen. How to Win a Game with Features. In
J.-P. Jouannaud editor, 1st International Conference on Constraints in Computational Logics (CCL'94), September 7-9, Vol. 845:320-335 of Lecture Notes in Computer Science, Springer, München, Germany, 1994. google [Annote]
|
|
| |
|
| |
|
Gregor Erbach. Ambiguity and Linguistic Preferences. In
Harald Trost and
Rolf Backofen editors, Workshop of the 10th European Conference on Artificial Intelligence W2 (ECAI '92). Coping with Ambiguity in Typed Feature Formalisms, August 3-7, John Wiley and Sons, Vienna, Austria, 1992. google [Annote]
|
|
| |
|
Günter Neumann,
Rolf Backofen,
Judith Baur,
Markus Becker and
Christian Braun. An Information Extraction Core System for Real World German Text Processing. In
Paul Jacobs editor, Proceedings of the 5th Conference on Applied Natural Language Processing (ANLP '97), March 31 - April 3, Pages 208-215, Morgan Kaufmann Publishers, Washington D.C., USA, 1997. google [Annote]
|
|
| |
|
Hans Uszkoreit,
Rolf Backofen,
Stephan Busemann,
Abdel Kader Diagne,
Elizabeth Hinkelman,
Walter Kasper,
Bernd Kiefer,
Hans-Ulrich Krieger,
Klaus Netter,
Günter Neumann,
Stephan Oepen and
Stephen P. Spackman. DISCO - An HPSG-Based NLP System and its Application for Appointment Scheduling. In Proceedings of the 15th International Conference on Computational Linguistics (COLING'94), August 5-9, Vol. 1:436-440, Kyoto, Japan, 1994. [Abstract] google [Annote]
|
|
|
|
|
|
| |
|
Rolf Backofen. Integration von Funktionen, Relationen und Typen beim Sprachentwurf. Teil II: Attributterme und Relationen. Master's thesis, Friedrich-Alexander Universität, Erlangen-Nürnberg, 1989. google
|
|
|
|
|
|
| |
|
Rolf Backofen. Expressivity and Decidability of First-Order Languages over Feature Trees. PhD thesis, Universität des Saarlandes, Technische Fakultät, Saarbrücken, 1994. google [Annote]
|
|
|
|
|
|
| |
|
| |
|
Rolf Backofen,
Stephan Busemann,
Abdel Kader Diagne,
Elizabeth Hinkelman,
Walter Kasper,
Bernd Kiefer,
Hans-Ulrich Krieger,
Klaus Netter,
Günter Neumann,
Stephan Oepen,
Stephen P. Spackman and
Hans Uszkoreit. Abschlussbericht: DISCO - Dialogsystem für autonome kooperierende Agenten. Technical report, Report R:S95-060, DFKI, Saarbrücken, 1994. [Abstract] google [Annote]
|
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
Hans Uszkoreit,
Rolf Backofen,
Stephan Busemann,
Abdel Kader Diagne,
Elizabeth Hinkelman,
Walter Kasper,
Bernd Kiefer,
Hans-Ulrich Krieger,
Klaus Netter,
Günter Neumann,
Stefan Oepen and
Stephen Spackmann. DISCO - An HPSG-Based NLP System and its Application for Appointment Scheduling. Technical report, Research Report RR-94-38, DFKI, Saarbrücken, 1994. [Abstract] google [Annote]
|
|
| |
|
Hans Uszkoreit,
Rolf Backofen,
Jo Calder,
Joanne Capstick,
Luca Dini,
Jochen Dörre,
Gregor Erbach,
Dominique Estival,
Suresh Manandhar,
Anne-Marie Mineur and
Stefan Oepen. The EAGLES Formalisms Working Group - Final Report Expert Advisory Group on Language Engineering Standards. Technical report, LRE 61-100, 1996. google [Annote]
|
|
|
|
