Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1994
Remove all filters
Displaying results 21 to 30 of 105.

  1. Hubert Comon; Ralf Treinen

    Ordering Constraints on Trees

    DFKI, DFKI Research Reports (RR), Vol. 94-12, 1994.

  2. Knut Hinkelmann

    A Consequence Finding Approach for Feature Recognition in CAPP

    DFKI, DFKI Research Reports (RR), Vol. 94-11, 1994.

  3. Knut Hinkelmann; Helge Hintze

    Computing Cost Estimates for Proof Strategies

    DFKI, DFKI Research Reports (RR), Vol. 94-10, 1994.

  4. Otto Kühn; Björn Höfling

    Conserving Corporate Knowledge for Crankshaft Design

    DFKI, DFKI Research Reports (RR), Vol. 94-08, 1994.

  5. Harold Boley

    Finite Domains and Exclusions as First-Class Citizens

    DFKI, DFKI Research Reports (RR), Vol. 94-07, 1994.

  6. Stephan Oepen

    German Nominal Syntax in HPSG - On Syntactic Categories and Syntagmatic Relations -

    DFKI, DFKI Documents (D), Vol. 94-15, 1994.

  7. Arthur Sehn; Serge Autexier (Hrsg.)

    Proceedings des Studentenprogramms der 18. Deutschen Jahrestagung für Künstliche Intelligenz KI-94

    DFKI, DFKI Documents (D), Vol. 94-12, 1994.

  8. Franz Baader; Martin Buchheit; M.A. Jeusfeld; Werner Nutt (Hrsg.)

    Working Notes of the KI'94 Workshop: KRDB'94 - Reasoning about Structured Objects: Knowledge Representation Meets Databases

    DFKI, DFKI Documents (D), Vol. 94-11, 1994.

  9. Franz Baader; M. Lenzerini; Werner Nutt; P.F. Patel-Schneider (Hrsg.)

    Working Notes of the 1994 International Workshop on Description Logics

    This collection of papers forms the permanent record of the 1994 International Workshop on Description Logics, that was held at the Gustav Stresemann …

  10. Technical Staff

    DFKI Wissenschaftlich-Technischer Jahresbericht 1993

    DFKI, DFKI Documents (D), Vol. 94-09, 1994.

Year