Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 102.
  1. Hans-Jürgen Bürckert; Gero Vierke

    Simulated Trading Mechanismen für speditionsübergreifende Transportplanung

    DFKI, DFKI Technical Memos (TM), Vol. 98-04, 1998.

  2. Petra Funk; Gero Vierke; Hans-Jürgen Bürckert

    A Multi-Agent Perspective on Intermodal Transport Chains

    DFKI, DFKI Technical Memos (TM), Vol. 98-06, 1998.

  3. Hans-Jürgen Bürckert; Klaus Fischer; Gero Vierke

    TELETRUCK: Fleet Management with a Holonic Multiagent System

    In: Proceedings of 14th European Meeting on Cybernetics ans Systems Research, EMCSR-98. European Meetings on Cybernetics and Systems Research …

  4. Hans-Jürgen Bürckert; Klaus Fischer; Gero Vierke

    Transportation Scheduling with Holonic MAS - The TeleTruck Approach

    In: Proceedings of 3rd International Conference on Practical Applications of Intelligent Agents and Multiagents, PAAMS-98. International Conference on …

  5. Axel Schairer

    A Technique for Reusing Proofs in Software Verification

    Mastersthesis, FB 14 (Informatik) der Universität des Saarlandes und Institut A für Mechanik der Universität Stuttgart, Saarbrücken/Stuttgar, 3/1998.

  6. Heiko Mantel; Christoph Kreitz

    A Matrix Characterization for MELL

    In: J. Dix; L. Farinas del Cerro; U. Furbach (Hrsg.). Proceedings of Logics in Artificial Intelligence, European Workshop, JELIA '98. Logics in …

  7. Heiko Mantel

    Developing a Matrix Characterization for MELL

    DFKI, DFKI Research Reports (RR), Vol. 98-03, 9/1998.

  8. Serge Autexier; Heiko Mantel; Werner Stephan

    Simultaneous Quantifier Elimination

    In: O. Herzog; A. Günter (Hrsg.). KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. German …

  9. Structuring Deduction by Using Abstractions

    In: T. Ellman (Hrsg.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. International Symposium on …