Skip to main content Skip to main navigation

Publications

Displaying results 91 to 100 of 105.
  1. 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.

  2. 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 Institut in Bonn, Germany on 28 and 29 May 1994. DFKI Documents (D), Vol. 94-10, 1994.

  3. Technical Staff

    DFKI Wissenschaftlich-Technischer Jahresbericht 1993

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

  4. Harald Feibel

    IGLOO 1.0 - Eine grafikunterstützte Beweisentwicklungsumgebung

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

  5. Walter Kasper; Kurt Eberle

    French Past Tenses and Temporal Structure

    In: Rolf Thieroff; Joachim Ballweg (Hrsg.). Tense Systems in European Languages. Pages 149-171, Niemeyer, Tübingen, 1994.

  6. Walter Kasper

    "Flache" Sprechhandlungsanalyse

    In: Elisabeth Maier (Hrsg.). Dialogmodellierung in VERBMOBIL - Festlegung der Sprechhandlungen für den Demonstrator. VM-Memo, Vol. 31, DFKI, Saarbrücken, 7/1994.

  7. Wray Buntine; Hans-Jürgen Bürckert

    On Solving Equations and Disequations

    In: Journal of the ACM (JACM), Vol. 41, No. 4, Pages 591-629, ACM, 1994.

  8. R. Förster; P. Kejwal; P. Baur; P. Göhner; J. Cleve; R. Drexler; Dieter Hutter; Claus Sengler; Jörg Siekmann; Werner Stephan; A. Wolpers; W. Reif; E. Canver; F. W. von Henke

    Verification Support Enviroment (VSE)

    In: Tagungsband 3. Deutscher IT-Sicherheitskongress der BSI. Deutscher IT-Sicherheitskongress der BSI, 3. SecuMedia, Ingelheim, 1994.

  9. R. Förster et al.

    VSE-Benutzerhandbuch, Teil I - III

    Manual, Bundesamt für Sicherheit in der Informationstechnik, 1994.