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 91 to 100 of 270.
  1. Felix-Robinson Aschoff; Franz Schmalhofer; Ludger van Elst

    Knowledge Mediation: A Procedure for the Cooperative Construction of Domain Ontologies

    In: Enrico Motta; Nigel Shadbolt; Arthur Stutt; Nick Gibbins (Hrsg.). Engineering Knowledge in the Age of the Semantic Web: Proceedings of the 14th …

  2. Felix-Robinson Aschoff; Franz Schmalhofer; Ludger van Elst

    Knowledge Mediation: A Procedure for the Cooperative Construction of Domain Ontologies

    In: Andreas Abecker; Ludger van Elst; Virginia Dignum (Hrsg.). Proceedings of the ECAI-2004 Workshop on Agent-mediated Knowledge Management …

  3. Christoph Altenhofen; Haigo Hofmann; Thomas Kieninger; Mirjana Stanisic-Petrovic

    Results of a Survey about the Use of Tools in the Area of Document Management

    In: Andreas Dengel; Markus Junker; Anette Weisbecker (Hrsg.). Reading and Learning - Adaptive Content Recognition. Pages 328-354, Lecture Notes in …

  4. Erica Melis; et al.

    Customization of Interaction: The "Mathefürerschein" Experience

    In: Book of Abstract, Online Educa Berlin 2004. International Conference on Technology Supported Learning & Training (Online Educa-2004), ICWE, 2004.

  5. P. Jermann; Martin Mühlenbrock; A. Martínez

    An Introduction to Designing Computational Models of Collaborative Learning Interaction

    In: Proceedings of The 2nd International Workshop on Designing Computational Models of Collaborative Learning Interaction in conjunction with ITS …

  6. Malte Hübner; Serge Autexier; Christoph Benzmüller; Andreas Meier

    Interactive Theorem Proving with Tasks

    In: Electronic Notes in Theoretical Computer Science, Vol. 103, No. C, Pages 161-181, Elsevier, 12/2004.

  7. Viktor Izhutkin; Erica Melis; Vera Toktarova; Giorgi Goguadze

    Interactive Education Methods for the Solution of Extremal Tasks with the Help of the Learning System ActiveMath

    In: Telematika 2004. Conference on communication infrastructure and telematics for cities, municipalities and regions of the Czech Republic …

  8. Paul Libbrecht

    Authoring Web Content in ActiveMath: From Developer Tools and Further

    In: Alexandra Cristea; Franca Garzotto (Hrsg.). Proceedings of the Second International Workshop on Authoring Adaptive and Adaptable Educational …

  9. Andreas Meier; Erica Melis

    Meta Reasoning in Multiple-Strategy Proof Planning

    In: Susanne Biundo; Thom Frühwirth; Günther Palm (Hrsg.). Poster Proceedings of 27th Annual German Conference on Artificial Intelligence (KI 2004). …

  10. Andreas Meier; Erica Melis

    Failure Reasoning in Multiple-Strategy Proof Planning

    In: M.P. Bonacina; T. Boy de la Tour (Hrsg.). Proceedings of Workshop ``Strategies in Automated Deduction'' at the Second International Joint …