Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1996
Alle Filter entfernen
Zeige Ergebnisse 51 bis 60 von 80.

  1. Andreas Dengel; Frank Dubiel

    Concept Formation from a Set of Uncertain Objects

    In: Proceedings of the IX. International Symposium on Artificial Intelligence. International Symposium on Artificial Intelligence (ISAI-96), Cancún, Mexico, Pages 457-459, 11/1996.

  2. Andreas Dengel; Knut Hinkelmann

    The SPECIALIST BOARD - A Technology Workbench for Document Analysis and Understanding

    In: M. M. Tanik; F. Bastani; D. Gibson; P. Fielding (Hrsg.). Proceedings of the 2nd World Conference on Integrated Design and Process Technology. Conference on Integrated Design and Process Technology (IDPT-96), December 1-4, Austin, TX, USA, Pages 36-47, 1996.

  3. Andreas Dengel; Thomas Kieninger; N. Kuhn

    PASCAL 2000 - Ein prototypisches Projekt zur Integration blinder Menschen in die Büroarbeit

    In: E. Zwierlein (Hrsg.). Handbuch: Integration und Ausgrenzung. Pages 563-573, Luchterland-Verlag, 6/1996.

  4. Franz Baader; Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)

    Proceedings of the Workshop on Knowledge Representation and Configuration

    Workshop on Knowledge Representation and Configuration (WKRP-96), DFKI Documents (D), Vol. 96-04, DFKI GmbH, 1996.

  5. Hans-Jürgen Bürckert; Werner Nutt; Christian Seel

    The Role of Formal Knowledge Representation in Configuration

    In: Franz Baader; Hans-Jürgen Bürckert; Werner Nutt (Hrsg.). Proceedings of the Workshop on Knowledge Representation and Configuration. Workshop on Knowledge Representation and Configuration (WKRP-96), DFKI GmbH, Pages 11-16, DFKI Documents (D), Vol. 96-04, DFKI GmbH, 1996.

  6. Hans-Jürgen Bürckert; Ingo Zinnikus

    Modellgesteuertes Daten-Retrieval (Abstract)

    In: K. Prasser (Hrsg.). Workshop Deduktion - Zusammenfassungen. Workshop Deduktion, Uni Dresden, Vol. Interner Bericht Uni Dresden, No. WV-96-09, Uni Dresden, 1996.

  7. Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt

    Projekt TACOS: Taxonomies and Common Sense

    Abschlussbericht, 1996.

  8. Susanne Biundo; Werner Stephan

    Modelling Planning Domains Systematically

    In: Wolfgang Wahlster (Hrsg.). Proceedings of the 12th European Conference on Artificial Intelligence 96. European Conference on Artificial Intelligence (ECAI-96), 12th, August 11-16, Budapest, Hungary, Pages 599-603, John Wiley & Sons, 1996.

  9. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Deduction in the Verification Support Environment (VSE)

    In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods. Formal Methods Europe (FME-96), 3rd, March 17-21, Oxford, United Kingdom, Pages 168-286, Lecture Notes In Computer Science (LNCS), Vol. 1051, ISBN 3-540-60973-3, Springer-Verlag, London, UK, 1996.

  10. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Verification Support Environment (VSE)

    In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.

Jahr