Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 101 to 110 of 171.
  1. Mathias Bauer; Dietmar Dengler; Gabriele Paul; Markus Meyer

    Programming by Demonstration for Information Agents.

    In: S. Rogers and W. Iba, editors, Adaptive User Interfaces: Papers from the 2000 AAAI Spring Symposium, pages 19-23. Stanford University, CA, USA. …

  2. Mathias Bauer; Dietmar Dengler; Gabriele Paul

    Programming by Demonstration for Information Agents

    In: Communications of the ACM (CACM), Vol. 43, No. 3, Pages 98-103, 2000.

  3. Elisabeth Andre; Martin Klesen

    Puppet - Ein virtuelles Puppentheater

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

  4. Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan; Roland Vogt; Andreas Wolpers

    VSE: Formal Methods Meet Industrial Needs

    In: International Journal on Software Tools for Technology Transfer, Vol. 3, No. 1, Pages 66-77, Springer, Berlin, Heidelberg, 2000.

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

    Towards an Evolutionary Formal Software-Development Using CASL

    In: C. Choppy; D. Bert (Hrsg.). Recent Trends in Algebraic Development Techniques, (WADT-99). International Workshop on Algebraic Development …

  6. Dieter Hutter; Michael Kohlhase

    Managing Structural Information by Higher-Order Colored Unification

    In: Journal of Automated Reasoning (JAR), Vol. 25, No. 2, Pages 123-164, Kluwer, 2000.

  7. Formal Software Development in the Verification Support Environment

    In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 2000.

  8. Dieter Hutter; Heiko Mantel; Klaus P. Jantke; Georg Rock; Werner Stephan

    Automated Reasoning for System Verification: A Tutorial Introduction into VSE-II

    In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium, …

  9. Dieter Hutter; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt

    Formal Software Development in the Verification Support Environment (VSE)

    In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS), Pages …

  10. Annotated Reasoning

    In: Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 29, Kluwer Academic Publisher, 2000.