Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 128.
  1. Philipp Hanschke; Jörg Würtz

    Satisfiability of the Smallest Binary Program

    DFKI, DFKI Research Reports (RR), Vol. 93-09, 1993.

  2. Harold Boley; Philipp Hanschke; Knut Hinkelmann; Manfred Meyer

    CoLab: A Hybrid Knowledge Representation and Compilation Laboratory

    DFKI, DFKI Research Reports (RR), Vol. 93-08, 1993.

  3. Franz Baader; Klaus Schulz

    Combination Techniques and Decision Problems for Disunification

    DFKI, DFKI Research Reports (RR), Vol. 93-05, 1993.

  4. Christoph Klauck; Johannes Schwagereit

    GGD: Graph Grammar Developer for features in CAD/CAM

    DFKI, DFKI Research Reports (RR), Vol. 93-04, 1993.

  5. Franz Baader; Bernhard Hollunder; Bernhard Nebel; Hans-Jürgen Profitlich; Enrico Franconi

    An Empirical Analysis of Optimization Techniques for Terminological Representation Systems

    DFKI, DFKI Research Reports (RR), Vol. 93-03, 1993.

  6. Wolfgang Wahlster; Elisabeth Andre; Wolfgang Finkler; Hans-Jürgen Profitlich; Thomas Rist

    Plan-based Integration of Natural Language and Graphics Generation

    DFKI, DFKI Research Reports (RR), Vol. 93-02, 1993.

  7. Bernhard Hollunder

    An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics

    DFKI, DFKI Research Reports (RR), Vol. 93-01, 1993.

  8. Wolfgang Maaß; Gerd Herzog; Peter Wazinski

    VITRA GUIDE: Utilisation du Langage Naturel et de Représentations Graphiques pour la Description d'Itinéraires

    Universität des Saarlandes, KI-Labor am Lehrstuhl für Informatik IV, Berichte, Vol. 92, Sonderforschungsbereich 314, 1993.

  9. Wolfgang Maaß; Peter Wazinski; Gerd Herzog

    VITRA GUIDE: Multimodal route descriptions for computer assisted vehicle navigation

    In: P. Chung; G. L. Lovegrove; Moonis Ali (Hrsg.). Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Proceedings of the Sixth International Conference. International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA / AIE-93), 6th, Edinburgh, United Kingdom, ISBN 2-88124-604-4, Gordon and Breach Publishing, 1993.

  10. Transforming Printed Piano Music into MIDI

    In: H. Bunke (Hrsg.). Advances in Structural and Syntactic Pattern Recognition. Proceedings of the International Workshop. International Workshop on Structural and Syntactic Pattern Recognition (SSPR-93), August 26-28, Bern, Switzerland, Pages 363-372, Series in Machine Perception and Artificial Intelligenc (5), ISBN 978-981-4505-15-4, World Scientific Publ. 1993.