Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1991
Alle Filter entfernen
Zeige Ergebnisse 101 bis 110 von 119.

  1. Rolf Backofen; Harald Trost; Hans Uszkoreit

    Linking Typed Feature Formalisms and Terminological Knowledge Representation Languages in Natural Language Front-Ends

    DFKI, DFKI Research Reports (RR), Vol. 91-28, 1991.

  2. Rolf Backofen; Lutz Euler; Günther Görz

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

    DFKI, DFKI Research Reports (RR), Vol. 91-32, 1991.

  3. Rolf Backofen; Lutz Euler; Günther Görz

    Distributed Disjunctions for LIFE

    In: Harold Boley; M.M. Richter (Hrsg.). International Workshop on Processing Declarative Knowledge. International Workshop on Processing Declarative Knowledge (PDK-91), July 1-3, Kaiserslautern, Germany, Pages 161-170, Lecture Notes in Computer Science (LNCS), Springer, 1991.

  4. Tania Avgustinova; Karel Oliva

    The Structure of Bulgarian Verb Complex

    CLAUS-Report, Universität des Saarlandes, Vol. 4, 2/1991.

  5. Hans-Jürgen Bürckert

    Constraints and Restricted Quantifiers (Abstract)

    In: Comon et al. (Hrsg.). Theorem Proving and Logic Programming with Constraints. Dagstuhl Seminare/Workshops, Dagstuhl Seminar 9143, October 24-25, IBFI Dagstuhl, Dagstuhl Seminar-Reports, Vol. 24, 1991.

  6. Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka

    On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations

    DFKI, DFKI Research Reports (RR), Vol. 91-01, 1991.

  7. Hans-Jürgen Bürckert; Jürgen Müller; Achim Schupeta

    RATMAN and its Relation to other Multi-agent Testbeds

    DFKI, DFKI Research Reports (RR), Vol. 91-09, 1991.

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

    Terminological Knowledge Representation: A Proposal for a Terminological Logic.

    In: Kai von Luck; Christoph Peltason; Bernhard Nebel (Hrsg.). Proceedings of the International Workshop on Terminological Logics. International Workshop on Terminological Logics, March 6-8, Dagstuhl, Germany, Pages 120-128, DFKI Documents (D), Vol. 91-13, DFKI GmbH, 1991.

  9. Michael M. Richter; Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    Akquisition und Repräsentation von technischem Wissen für Planungsaufgaben im Bereich der Fertigungstechnik

    DFKI, DFKI Research Reports (RR), Vol. 91-23, 1991.

  10. Michael M. Richter; Bernd Bachmann; Ansgar Bernardi; Christoph Klauck; Ralf Legleitner; Gabriele Schmidt

    Akquisition und Repräsentation von technischem Wissen für Planungsaufgaben im Bereich der Fertigungstechnik

    In: VDI-EKV: Erfolgreiche Anwendung wissensbasierter Systeme in Entwicklung und Konstruktion. VDI-EKV Fachtagung des Arbeitskreises Entwicklung, Konstruktion und Vertrieb, October 7-8, Heidelberg, Germany, Pages 125-144, VDI-Bericht, Vol. 903, VDI-Verlag, Düsseldorf, 1991.

Jahr