Publications

Page 1 of 1.

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

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

3. Martin Pollet; Erica Melis; Andreas Meier

   User Interface for Adaptive Suggestions for Interactive Proof

   In: Proceedings of the International Workshop on User Interfaces for Theorem Provers (UITP). Workshop on User Interfaces for Theorem Provers (UITP), …

4. Paul Libbrecht; Adrian Frischauf; Erica Melis; Martin Pollet; Carsten Ullrich

   Integration of Mathematical Systems into the ActiveMath Learning Environment

   In: Paul Wang; Norbert Kajler; Angel Diaz (Hrsg.). Workshop on Internet Accessible Mathematical Computation. Workshop on Internet Accessible …

5. Erica Melis; Eric Andres; Jochen Büdenbender; Adrian Frischauf; Giorgi Goguadze; Paul Libbrecht; Martin Pollet; Carsten Ullrich

   ActiveMath: A Generic and Adaptive Web-Based Learning Environment

   In: International Journal on Artificial Intelligence in Education (IJAIED), Vol. 12, No. 4, Pages 385-407, 2001.

6. Erica Melis; Eric Andres; Giorgi Goguadze; Paul Libbrecht; Martin Pollet; Carsten Ullrich

   ActiveMath: System Description

   In: Johanna D. Moore; Carol Redfield; W. Lewis Johnson (Hrsg.). Artificial Intelligence for Education (AIED), Vol. 68 - Frontiers in Artificial …

7. Jörg Siekmann; Christoph Benzmüller; Armin Fiedler; Andreas Franke; Helmut Horacek; Paul Libbrecht; Michael Kohlhase; Andreas Meier; Erica Melis; Martin Pollet; Volker Sorge; Carsten Ullrich; Jürgen Zimmer

   Adaptive Course Generation and Presentation

   In: P. Brusilovski (Hrsg.). Proceedings of ITS-2000 workshop on Adaptive and Intelligent Web-Based Education Systems. ACM International Conference on …

• 1