Publications

Hans-Jürgen Bürckert; A. Herold; M. Schmidt-Schauß

In: Journal of Symbolic Computation, Vol. 8, Special Issue on Unification, Pages 3-49, Elsevier, 1989.

Hans-Jürgen Bürckert; A. Herold; D. Kapur; Jörg Siekmann; M.E. Stickel; M. Tepp; H. Zhang

In: Journal of Automated Reasoning (JAR), Vol. 4, No. 4, Pages 465-474, Springer, Berlin - Heidelberg, 1989.

Dieter Hutter

In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Ellis Horwood Series in Artificial Intelligence, …

Rolf Backofen

Mastersthesis, Friedrich-Alexander Universität Erlangen-Nürnberg, 1989.

Walter Kasper

In: G. Falkenberg (Hrsg.). Wissen, Wahrnehmen, Glauben. Epistemische Ausdrücke und propositionale Einstellungen. Pages 97-121, Niemeyer, Tübingen, …

Ronald M. Kaplan; Klaus Netter; Jürgen Wedekind; Annie Zaenen

In: 4th Conference of the European Chapter of the Association for Computational Linguistics. Conference of the European Chapter of the Association for …

Elizabeth Hinkelman; James F. Allen

In: 27th Annual Meeting of the Association for Computational Linguistics. Annual Meeting of the Association for Computational Linguistics (ACL-89), …

Wolfgang Finkler; Günter Neumann

In: N. S. Sridharan (Hrsg.). 11th International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence …

Kurt Eberle; Walter Kasper

In: ACL (Hrsg.). Proceedings of the 4th Conference of the European Chapter of the Association for Computational Linguistics. Conference of the …

Stephan Busemann; Christa Hauenschild; Carla Umbach (Hrsg.)

Workshop GPSG and Semantics, February 22-24, Berlin, Germany, KIT-Report, No. 74, TU Berlin, Berlin, 1989.