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 81 to 90 of 270.
  1. 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). …

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

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

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

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

  6. Erica Melis; Andreas Meier; Martin Pollet

    Adaptive Access to a Proof Planner

    In: A. Asperti; G. Bancerek; A. Trybulec (Hrsg.). Proceedings of Third International Conference on Mathematical Knowledge Management (MKM2004). …

  7. Erica Melis; R. Monthienvichienchai

    They Call It Learning Style But It's so Much More

    In: G. Marks (Hrsg.). Proceedings of the World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (eLearn-2004). …

  8. Erica Melis; Jörg Siekmann

    ActiveMath: An Intelligent Tutoring System for Mathematics

    In: L. Rutkowski; Jörg Siekmann; R. Tadeusiewicz; L.A. Zadeh (Hrsg.). Seventh International Conference 'Artificial Intelligence and Soft Computing' …

  9. Erica Melis; Carsten Ullrich

    Gender-Biased Adaptations in Educational Adaptive Hypermedia

    SEKI Technical Report, Vol. SR-04-05, 2004.

  10. Erica Melis; Carsten Ullrich

    Gender-Biased Adaptations in Educational Adaptive Hypermedia

    In: P. de Bra; W. Nejdl (Hrsg.). Proceedings of the third International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems. …