Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 31 bis 40 von 105.
  1. Hans-Jürgen Bürckert

    Terminologies and Rules

    In: Kai von Luck; Heinz Marburger (Hrsg.). Proceedings of 3rd Workshop on Information Systems and Artificial Intelligence: Management and Processing of Complex Data Structures. Workshop on Information Systems and Artificial Intelligence, 3rd, February 28 - March 2, Hamburg, Germany, Pages 44-63, Lecture Notes In Computer Science (LNCS), Vol. 777, ISBN 3-540-57802-1, Springer, London, 1994.

  2. Hans-Jürgen Bürckert; Andrea Gräber; Armin Laux

    Terminological Reasoning with Knowledge and Beliefs. Extended Abstract.

    In: J. Kunze; H. Stoyan (Hrsg.). Workshop Proceedings of the 18th German Annual Conference on Artificial Intelligence. German Conference on Artificial Intelligence (KI), 18th, September 18-23, Saarbrücken, Germany, Pages 127-128, Lecture Notes in Artificial Intelligence (LNAI), Vol. 861, ISBN 3-540-58467-6, Springer, 1994.

  3. Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux

    Concept Logics with Function Symbols

    In: Anthony G. Cohn (Hrsg.). Proceedings of the 11th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-94), 11th, August 8-12, Amsterdam, Netherlands, Pages 406-410, J. Wiley, 1994.

  4. Anna-Maria Schoeller; Ansgar Bernardi

    Qualitative Definition dreidimensionaler Features

    In: Workshop Feature Technology in Design and Manufacturing. Workshop Feature Technology in Design and Manufacturing, August 29-30, Saarbrücken, Germany, 8/1994.

  5. Bernhard Nebel; Hans-Jürgen Bürckert

    Reasoning About Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra

    In: Proceedings of 12th National Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence (AAAI-94), 12th, July 31 - August 4, Seattle, Washington, USA, Pages 356-361, ISBN 978-0-262-51078-3, AAAI, 1994.

  6. Rolf Backofen

    A Complete Axiomatization of a Theory with Feature and Arity Constraints

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

  7. Franz Baader; Armin Laux

    Terminological Logics with Modal Operators

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

  8. Otto Kühn; Volker Becker; Georg Lohse; Philipp Neumann

    Integrated Knowledge Utilization and Evolution for the Conservation of Corporate Know-How

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

  9. Gert Smolka

    The Definition of Kernel Oz

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

  10. Christian Schulte; Gert Smolka; Jörg Würtz

    Encapsulated Search and Constraint Programming in Oz

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