Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1999
Alle Filter entfernen
Zeige Ergebnisse 1 bis 10 von 101.

  1. Klaus-Dieter Althoff; Ralph Bergmann; Karl Branting (Hrsg.)

    Case-Based Reasoning Research and Development

    International Conference on Case-Based Reasoning (ICCBR-1999), July 27-30, Monastery Seeon, Germany, Lecture Notes in Artificial Intelligence (LNAI), Vol. 1650, Springer, 1999.

  2. Jürgen Lind

    A Process Model for the Design of Multi-Agent Systems

    DFKI, DFKI Technical Memos (TM), Vol. 99-03, 1999.

  3. Matthias Fischmann

    The Smes Client/Server Protokol (SMESPR/1.0)

    DFKI, DFKI Technical Memos (TM), Vol. 99-01, 1999.

  4. Michael Schillo; Jürgen Lind; Petra Funk; Christian Gerber; Christoph Georg Jung

    SIF - The Social Interaction Framework System Description an User's Guide to a Multi System Testbed

    DFKI, DFKI Research Reports (RR), Vol. 99-02, 1999.

  5. Stefan Philipps; Jürgen Lind

    Ein System zur Definition und Ausfuehrung von Protokollen fuer Multi-Agentsysteme

    DFKI, DFKI Research Reports (RR), Vol. 99-01, 1999.

  6. Tilman Becker; Stephan Busemann

    May I Speak Freely? Between Templates and Free Choice in Natural Language Generation. Workshop at the 23rd German Annual Conference for Artificial Intelligence (KI '99), Bonn 14.-15. September 1999

    DFKI, DFKI Documents (D), Vol. 99-01, 1999.

  7. Gero Vierke; Christian Ruß

    The Matrix Auction: A Mechanism for the Market-Based Coordonation of Enterprise Networks

    DFKI, DFKI Research Reports (RR), Vol. 99-04, 1999.

  8. Christian Gerber; Jörg Siekmann; Gero Vierke

    Holonic Mulit-Agent Systems

    DFKI, DFKI Research Reports (RR), Vol. 99-03, 1999.

  9. Heiko Mantel; Jens Otten

    linTAP: A Tableau Prover for Linear Logic

    In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), Saratoga Springs, Pages 217-231, LNAI 1617, Springer, 6/1999.

  10. Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

    System Description: INKA 5.0 - A Logical Voyager

    In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction (CADE), Trento, Springer-Verlag, LNAI 1632, 1999.

Jahr