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 327.
  1. Erica Melis

    Why Proof Planning for Maths Education and How?

    In: Dieter Hutter; Werner Stephan (Hrsg.). Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. …

  2. Erica Melis

    Design of Erroneous Examples for ActiveMath

    In: Ch.-K. Looi; G. McCalla (Hrsg.). Proceedings of the 12th International Conference on Artificial Intelligence in Education (AIED 2005). …

  3. Erica Melis; Eric Andres

    Global Feedback in ActiveMath

    In: Journal of Computers in Mathematics and Science Teaching, Vol. 24, Pages 197-220, 2005.

  4. Erica Melis; Philipp Kärger; Martin Homik

    Interactive Concept Mapping in ActiveMath (iCMap)

    In: Jörg M. Haake; Ulrich Lucke; Djamshid Tavangarian (Hrsg.). Delfi 2005: 3. Deutsche eLearning Fachtagung Informatik. e-Learning Conference of the …

  5. Erica Melis; Jörg Siekmann

    e-Learning Logic and Mathematics: What we Have and What we Still Need

    In: S. Artemov; H. Barringer; A.d'Avila Garcez; L.C. Lamb; J. Woods (Hrsg.). We will Show Them! Essays in Honor of Dov Gabbay on his 60th Birthday. …

  6. Martin Mühlenbrock

    Learning Group Formation based on Learner Profile and Context

    In: Proceedings of the ProLearn-iClass Thematic Workshop. ProLearn-iClass Thematic Workshop, Leuven, 3/2005.

  7. Martin Mühlenbrock

    Formation of learning groups by using learner profiles and context information

    In: Chee-Kit Looi; Gord McCalla (Hrsg.). Proceedings of the 12th International Conference on Artificial Intelligence in Education AIED-2005. …

  8. Martin Mühlenbrock

    Automatic action analysis in an interactive learning environment

    In: Proceedings of the workshop on Usage Analysis in Learning Systems at the 12th International Conference on Artificial Intelligence in Education …

  9. Martin Mühlenbrock; Oliver Scheuer

    Using Action Analysis in ActiveMath to Estimate Student Motivation

    In: Proceedings of the 13th Annual Workshop of the SIG Adaptivity and User Modeling in Interactive Systems (ABIS 2005). GI-Workshop "Adaptivität und …

  10. Martin Mühlenbrock; Stefan Winterstein; Eric Andres; Andreas Meier

    Continuous Learner Modeling in iClass

    In: Piet Kommers; Griff Richards (Hrsg.). Proceedings of the World Conference on Educational Multimedia, Hypermedia & Telecommunications ED-MEDIA …