Educational Technology Lab

Page 2 of 2.

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