Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2005
Remove all filters
Displaying results 51 to 60 of 327.

  1. Andreas Maier; Erica Melis

    Failure Reasoning in Multiple-Strategy Proof Planning

    In: Electronic Notes in Theoretical Computer Science, Vol. 125, Pages 67-90, Elsevier, 2005.

  2. Andreas Meier; Erica Melis

    Failure-Reasoning in Multi-Strategy Proof Planning

    In: Proceedings of The 12th Workshop on Automated Reasoning (ARW 2005)-- Bridging the gap between theory and practice. Workshop on Automated Reasoning (ARW), Edinburgh, 2005.

  3. Erica Melis

    Choice of Feedback Strategies

    In: Kinshuk; D.G. Sampson; P. Isaias (Hrsg.). Cognition and Exploratory Learning in the Digital Age (CELDA 2005). IADIS International Conference Cognition and Exploratory Learning in Digital Age (CELDA), iadis, 12/2005.

  4. 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. Pages 364-376, LNCS, Vol. 2605, Springer-Verlag, 2005.

  5. 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). International Conference on Artificial Intelligence in Education (AIED), Pages 451-458, Vol. 125, IOS Press, 2005.

  6. Erica Melis; Eric Andres

    Global Feedback in ActiveMath

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

  7. 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 German Computer Society (DeLFI), Rostock, Pages 247-258, LNI, Vol. 66, 9/2005.

  8. 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. Pages 639-662, Vol. 2, College Publications, 2005.

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

  10. 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. International Conference on Artificial Intelligence in Education (AIED), Amsterdam, Pages 507-514, IOS Press, 2005.

Year