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 41 to 50 of 327.
  1. Martin Homik; Andreas Meier

    Designing a Proof GUI for Non-Experts -- Evaluation of an Experiment

    Seki Report, Vol. SR-01-05, 2005.

  2. Paul Libbrecht; E. Machuca; M. Spanbroek

    Loosely Coupling Web-Applications

    In: Proceedings of the Workshop on Adaptive Systems for Web-Based Education: Tools and Reusability at AIED 2005. International Conference on …

  3. Andreas Meier; Erica Melis

    MULTI: A Multi-Strategy Proof Planner

    In: R. Nieuwenhuis (Hrsg.). Proceedings of the 20th Conference on Automated Deduction (CADE--20). International Conference on Automated Deduction …

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

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

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

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

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

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

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