Institute for Information Systems

Page 1 of 2.

1. Erica Melis; Andreas Meier; Jörg Siekmann

   Proof Planning with Multiple Strategies

   In: Artificial Intelligence (AIJ), Pages 656-684, Elesevier, 2008.

2. Andreas Meier; Erica Melis

   Impasse-Driven Reasoning in Proof Planning

   In: Michael Kohlhase (Hrsg.). Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005). International …

3. Martin Homik; Andreas Meier

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

   In: Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP2005). Workshop on User Interfaces for Theorem Provers …

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

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

6. Martin Homik; Andreas Meier

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

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

7. Martin Mühlenbrock; Stefan Winterstein; Eric Andres; Andreas Meier

   Continuous Learner Modeling in iClass

   In: Piet Kommers; Griff Richards (Hrsg.). Proceedings of the World Conference on Educational Multimedia, Hypermedia & Telecommunications ED-MEDIA …

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

9. Malte Hübner; Serge Autexier; Christoph Benzmüller; Andreas Meier

   Interactive Theorem Proving with Tasks

   In: Electronic Notes in Theoretical Computer Science, Vol. 103, No. C, Pages 161-181, Elsevier, 12/2004.

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

• 1
• 2