Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 41 to 50 of 58.
  1. Rolf Backofen; Lutz Euler; Günther Görz

    Towards the Integration of Functions, Relations and Types in an AI Programming Language

    In: H. Marburger (Hrsg.). 14th German Workshop on Artificial Intelligence. German Workshop on Artifical Intelligence (GWAI), 14th, September 10-14, …

  2. Tania Avgustinova; Karel Oliva

    Syntactic Description of Free Word Order Languages

    In: Hans Karlgren (Hrsg.). 13th International Conference on Computational Linguistics. International Conference on Computational Linguistics …

  3. Andreas Dengel; N. M. Mattos; B. Mitschang

    An Integrated Document Management System

    In: Mohan M. Trivedi (Hrsg.). Proceedings SPIE/IEEE - Applications of Artificial Intelligence VIII. IEEE - Applications of Artificial Intelligence, …

  4. N. M. Mattos; B. Mitschang; Andreas Dengel; Rainer Bleisinger

    An Approach to integrated Office Document Processing and Management

    In: Proceedings of the ACM SIGOIS and IEEE CS TC-OA conference on Office Information Systems. International Conference on Office Automation Systems …

  5. Document Image Analysis: Expectation-Driven Text Recognition

    In: Proceedings SSPR90. International Workshop on Structural and Syntactic Pattern Recognition (SSPR-90), June 13-15, Murray Hill, NJ, USA, Pages …

  6. Frank Hönes; Andreas Dengel

    Ein kontext-restriktiver Ansatz zur Texterkennung

    In: Rudolf E. Großkopf (Hrsg.). Mustererkennung 1990 - Proceedings of the 12. DAGM-Symposium. Annual Symposium of the German Association for Pattern …

  7. Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann

    Concept Logics

    In: J.W. Lloyd (Hrsg.). Computational Logic. Symposium on Computational Logic, located at 7th ESPRIT Conference, November 13-14, Brussels, Belgium, …

  8. Hans-Jürgen Bürckert

    Matching - A Special Case of Unification?

    In: Claude Kirchner (Hrsg.). Unification. Pages 125-138, Academic Press, 1990.

  9. Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß

    On Equational Theories, Unification, and (Un)decidability

    In: Claude Kirchner (Hrsg.). Unification. Pages 69-119, Academic Press, 1990.

  10. Hans-Jürgen Bürckert

    A Resolution Principle for Clauses with Constraints

    In: M. E. Stickel (Hrsg.). Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction …