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 54.
  1. 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 …

  2. Hans-Jürgen Bürckert

    A Resolution Principle for Clauses with Constraints

    DFKI, DFKI Research Reports (RR), Vol. 90-02, 1990.

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

    Concept Logics

    Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 90-10, 1990.

  4. Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Bernhard Nebel; Werner Nutt; Hans-Jürgen Profitlich

    Terminological Knowledge Representation: A Proposal for a Terminological Logic

    DFKI GmbH, DFKI Technical Memos (TM), Vol. 90-04, 1990.

  5. 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, …

  6. 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 …

  7. Rainer Bleisinger; Andreas Dengel; Frank Hönes

    Softwaresysteme zur interaktiven Wissensverwaltung

    DFKI-Studie im Auftrag der Deutschen Forschungsanstalt für Luft- und Raumfahrttechnik e.V. (DLR), 1/1990.

  8. Andreas Dengel; N. M. Mattos

    Integration of Document Representation, Processing and Management

    DFKI, DFKI Research Reports (RR), Vol. 90-03, 3/1990.

  9. A Step Towards Understanding Paper Documents

    DFKI, DFKI Research Reports (RR), Vol. 90-08, 6/1990.

  10. 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, …