Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

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

  1. Andreas Dengel

    An Approach for Self-Adapting Structuring of Space Using Puzzletree-Encoding

    In: Proceedings of the 4th International Symposium on Artificial Intelligence. International Symposium on Artificial Intelligence (ISAI), 4th, November 13-15, Cancún, Mexico, Pages 314-320, AI Magazine, Vol. 13, No. 2, AAAI, 11/1991.

  2. Christoph Klauck; Ralf Legleitner; Ansgar Bernardi

    FEAT-REP: Representing Features in CAD/CAM

    Research Report, Vol. 91-20, 6/1991.

  3. Christoph Klauck; Ansgar Bernardi; Ralf Legleitner

    FEAT-REP: Representing Features in CAD/CAM

    In: IV International Symposium on Artificial Intelligence: Applications in Informatics and International Conference on Manufacturing Automation. International Conference on Manufacturing Automation (ICMA), 1991.

  4. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    TEC-REP: Repräsentation von Geometrie- und Technologieinformationen

    DFKI, DFKI Documents (D), Vol. 91-07, 6/1991.

  5. Andreas Dengel

    Wirklichkeiten und Wunschdenken: Menschliche Wahrnehmung und maschinelles Sehen

    In: Themen aus der Wissenschaft, Vol. Wissenschaftliche Aspekte der Künstlichen Intelligenz, No. 4, Pages 55-70, 5/1991.

  6. Hans-Jürgen Bürckert

    A Resolution Principle for a Logic with Restricted Quantifiers

    PhD-Thesis, Universität Kaiserslautern, FB Informatik, Lecture Notes in Artificial Intelligence (LNAI), Vol. 568, 1991.

  7. Hans-Jürgen Bürckert

    Resolution, Graph-based

    In: Stuart C. Shapiro (Hrsg.). Encyclopedia of Artificial Intelligence. Pages 1353-1356, John Wiley, 1991.

  8. Hans-Jürgen Bürckert; Heinz-Jürgen Müller

    RATMAN: Rational Agent Testbed for Multi Agent Networks

    In: Yves Demazeau; Jean-Pierre Müller (Hrsg.). Decentralized A.I. 2. Pages 217-230, Elsevier Science Publishers, 1991.

  9. Hans-Jürgen Bürckert

    RATMAN: A Rational Agent Testbed for Multi Agent Networks

    In: Yves Demazeau; Jean-Pierre Müller (Hrsg.). Decentralized AI2 - Proceedings of 2nd European Workshop on Modelling Autonomous Agents in a Multi Agent World. European Workshop on Modelling Autonomous Agents in Multi Agent Worlds (MAAMAW-90), 2nd, Pages 217-230, Elsevier Science Publishers, 1991.

  10. 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.

Jahr