IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
References of Rolf Backofen   Download bibtex file Order by:   Type | Year
<< Article (Journal) >> TOP
1 Add to my selection
Rolf Backofen. Regular Path Expressions in Feature Logic. In Journal of Symbolic Computation, Vol. 17:412-455, 1994. URL   Bibtex entry  google [Annote]
2 Add to my selection
Rolf Backofen. A Complete Axiomatization of a Theory with Feature and Arity Constraints. In The Journal of Logic Programming, Vol. 24:37-72, 1995. URL   Bibtex entry  google [Annote]
3 Add to my selection
Rolf Backofen, James Rogers and Vijay K. Shanker. A First-Order Axiomatization of the Theory of Finite Trees. In Journal of Logic, Language and Information, Vol. 4(1):5-39, 1995. URL   Bibtex entry  google [Annote]
4 Add to my selection
Rolf Backofen and Gert Smolka. A Complete and Recursive Feature Theory. In Theoretical Computer Science, Vol. 146(1-2):243-268, 1995. URL   Bibtex entry  google [Annote]
<< InProceedings >> TOP
5 Add to my selection
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.   Bibtex entry  google
Note: A full version has appeared as Research Report RR-93-17.
6 Add to my selection
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. URL   Bibtex entry  google [Annote]
7 Add to my selection
Rolf Backofen, Lutz Euler and Gnther Grz. 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.   Bibtex entry  google
8 Add to my selection
Rolf Backofen, Lutz Euler and Gnther Grz. Distributed Disjunctions for LIFE. In Harold Boley and M.M. Richter editors, International Workshop on Processing Declarative Knowledge (PDK '91), July 1-3, Pages 161-170, Springer Verlag, Kaiserslautern, Germany, 1991.   Bibtex entry  google
9 Add to my selection
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. URL   Bibtex entry  google [Annote]
10 Add to my selection
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, Mnchen, Germany, 1994. URL   Bibtex entry  google [Annote]
11 Add to my selection
Rolf Backofen, Harald Trost and Hans Uszkoreit. Linking Typed Feature Formalisms and Terminological Knowledge Representation Languages in Natural Language Front-Ends. In W. Brauer and D. Hernandez editors, 4th Internationaler GI-Kongress Wissenbasierte Systeme. Verteilte Knstliche Intelligenz und kooperatives Arbeiten, 23.-24. Oktober, Pages 375-383, Springer, Mnchen, Germany, 1991. URL [Abstract]   Bibtex entry  google [Annote]
12 Add to my selection
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. URL   Bibtex entry  google [Annote]
13 Add to my selection
Gnter 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. URL   Bibtex entry  google [Annote]
14 Add to my selection
Hans Uszkoreit, Rolf Backofen, Stephan Busemann, Abdel Kader Diagne, Elizabeth Hinkelman, Walter Kasper, Bernd Kiefer, Hans-Ulrich Krieger, Klaus Netter, Gnter 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. URL [Abstract]   Bibtex entry  google [Annote]
<< MastersThesis >> TOP
15 Add to my selection
Rolf Backofen. Integration von Funktionen, Relationen und Typen beim Sprachentwurf. Teil II: Attributterme und Relationen. Master's thesis, Friedrich-Alexander Universitt, Erlangen-Nrnberg, 1989.   Bibtex entry  google
<< PhdThesis >> TOP
16 Add to my selection
Rolf Backofen. Expressivity and Decidability of First-Order Languages over Feature Trees. PhD thesis, Universitt des Saarlandes, Technische Fakultt, Saarbrcken, 1994. URL   Bibtex entry  google [Annote]
<< TechReport >> TOP
17 Add to my selection
Rolf Backofen. Regular Path Expressions in Feature Logic. Technical report, Research Report RR-93-17, DFKI, Saarbrcken, 1993. URL   Bibtex entry  google [Annote]
18 Add to my selection
Rolf Backofen, Stephan Busemann, Abdel Kader Diagne, Elizabeth Hinkelman, Walter Kasper, Bernd Kiefer, Hans-Ulrich Krieger, Klaus Netter, Gnter Neumann, Stephan Oepen, Stephen P. Spackman and Hans Uszkoreit. Abschlussbericht: DISCO - Dialogsystem fr autonome kooperierende Agenten. Technical report, Report R:S95-060, DFKI, Saarbrcken, 1994. URL [Abstract]   Bibtex entry  google [Annote]
19 Add to my selection
Rolf Backofen, Lutz Euler and Gnther Grz. Towards the Integration of Functions, Relations and Types in an AI Programming Language. Technical report, Research Report RR-91-032, DFKI, Saarbrcken, 1991.   Bibtex entry  google
20 Add to my selection
Rolf Backofen and Hans-Ulrich Krieger. The TDL/ UDiNe System. Technical report, DFKI Document D-93-27, DFKI, Saarbrcken, 1993. URL [Abstract]   Bibtex entry  google [Annote]
21 Add to my selection
Rolf Backofen, Hans-Ulrich Krieger, Stephen P. Spackman and Hans Uszkoreit. Report of the EAGLES Workshop on Implemented Formalisms at DFKI. Technical report, Technical Report D-93-27, DFKI, Saarbrcken, 1993. URL [Abstract]   Bibtex entry  google [Annote]
22 Add to my selection
Rolf Backofen, Hans-Ulrich Krieger, Stephen Spackmann and Hans Uszkoreit. EAGLES Workshop on Implemented Formalisms at DFKI. Technical report, DFKI Document D-93-27, DFKI, Saarbrcken, 1993. URL   Bibtex entry  google [Annote]
23 Add to my selection
Rolf Backofen and Gert Smolka. A Complete and Recursive Feature Theory. Technical report, Research Report RR-92-30, DFKI, Saarbrcken, 1992. URL   Bibtex entry  google [Annote]
24 Add to my selection
Rolf Backofen, Harald Trost and Hans Uszkoreit. Linking Typed Feature Formalisms and Terminological Knowledge Representation Languages in Natural Language Front-Ends. Technical report, Research Report RR-91-28, Deutsches Forschungszentrum fr Knstliche Intelligenz, Saarbrcken, 1991. URL [Abstract]   Bibtex entry  google [Annote]
25 Add to my selection
Hans Uszkoreit, Rolf Backofen, Stephan Busemann, Abdel Kader Diagne, Elizabeth Hinkelman, Walter Kasper, Bernd Kiefer, Hans-Ulrich Krieger, Klaus Netter, Gnter 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, Saarbrcken, 1994. [Abstract]   Bibtex entry  google [Annote]
26 Add to my selection
Hans Uszkoreit, Rolf Backofen, Jo Calder, Joanne Capstick, Luca Dini, Jochen Drre, 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. URL   Bibtex entry  google [Annote]
Last modified: Thu October 16 2014 19:11:34         BibAdmin