Skip to main content Skip to main navigation

Publications

Displaying results 21 to 30 of 270.
  1. 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.

  2. 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 …

  3. 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.

  4. 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 …

  5. 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 …

  6. 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). …

  7. 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 …

  8. Andreas Meier; Erica Melis; Martin Pollet

    Adaptable Mixed-Initiative Proof Planning for Educational Interaction

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

  9. Erica Melis

    Errors as a Source of Learning in Mathematics

    In: Cognition and Exploratory Learning in the Digital Age (CELDA). IADIS International Conference Cognition and Exploratory Learning in Digital Age …

  10. Erica Melis; Giorgi Goguadze

    Towards Adaptive Generation of Faded Examples

    In: J. Lester; R. Vicari; F. Paraguacu (Hrsg.). International Conference on Intelligent Tutoring Systems. International Conference on Intelligent …