Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2002
Remove all filters
Displaying results 41 to 50 of 203.

  1. Andreas Dengel; Andreas Abecker; Ansgar Bernardi; Ludger van Elst; Heiko Maus; Sven Schwarz; Michael Sintek

    Konzepte zur Gestaltung von Unternehmensgedächtnissen

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), No. 1, Pages 5-11, arentap Verlag, Bremen, 2002.

  2. Dirk Werth; Otmar Adam

    Archtitektur pan-europäischer Verwaltungsdienstleistungen: Das Projekt INFOCITIZEN

    In: Fachtagung Verwaltungsinformatik 2002: Electronic Government: Stand und Ausblick, Wien. Fachtagung Verwaltungsinformatik, 11/2002.

  3. Matthias Klusch; Hans-Jürgen Bürckert; Petra Funk; Andreas Gerber; Christian Ruß

    Applications of Information Agent Systems

    In: L. C. Jain (Hrsg.). Practical Applications of Intelligent Agents. Springer, 2002.

  4. Steffen Lange; Sandra Zilles

    Replacing limit learners with equally powerful one-shot query learners.

    In: Proceedings of the 17th Annual Conference on Learning Theory. Annual Conference on Computational Learning Theory, 2002.

  5. Steffen Lange; Sandra Zilles

    Comparison of query learning and Gold-style learning in dependence of the hypothesis space

    In: Proceedings of the 15th International Conference on Algorithmic Learning Theory. International Conference on Algorithmic Learning Theory, 2002.

  6. Steffen Lange; Sandra Zilles

    On the learnability of erasing pattern languages in the query model.

    In: Proceedings of the 14th International Conference on Algorithmic Learning Theory. International Conference on Algorithmic Learning Theory, 2002.

  7. Axel Schairer; Dieter Hutter

    Proof Transformations for Evolutionary Formal Software Development

    In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic Methodology and Software Technology (AMAST-2002), Springer-Verlag, LNCS, 2002.

  8. Serge Autexier; Dieter Hutter; Till Mossakowski; Axel Schairer

    The Development Graph Manager MAYA

    In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic Methodology and Software Technology (AMAST-2002), Springer-Verlag, LNCS, 2002.

  9. Serge Autexier; Dieter Hutter

    Maintenance of Formal Software Developments by Stratified Verification

    In: Proceedings 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning. International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Springer-Verlag, LNAI, 2002.

  10. Klaus Fischer; Dieter Hutter

    Proceedings of the 2. International Workshop on Security of Mobile Multiagent Systems

    DFKI, Workshop-proceedings, First International Joint Conference on Autonomous Agents and Multi-Agent Systems, also DFKI-Reseach Report RR-02-03, DFKI Research Reports (RR), Vol. 02-03, Bologna, Italy, 2002.

Year