Embedded Intelligence

Page 1 of 1.

1. Serge Autexier; Dominik Dietrich; Marvin Schiller

   Cognitive Tutoring in Mathematics based on Assertion Level Reasoning and Proof Strategies (Extended Abstract)

   In: Pedro Quaresma; Ralph-Johan Back (Hrsg.). THedu'11 - CTP Components for Educational Software. CTP Components for Educational Software (Thedu-11), …

2. Marvin Schiller; Christoph Benzmüller

   Presenting Proofs with Adapted Granularity

   In: Bärbel Mertsching; Marcus Hund; Zaheer Aziz (Hrsg.). KI 2009: Advances in Artificial Intelligence. German Conference on Artificial Intelligence …

3. Marvin Schiller; Christoph Benzmüller

   Proof Granularity as an Empirical Problem?

   In: CSEDU 2009: 1st International Conference on Computer Supported Education. International Conference on Computer Supported Education (CSEDU-09), …

4. Marvin Schiller; Christoph Benzmüller

   Granularity-Adaptive Proof Presentation

   SEKI Working-Paper, SEKI Working-Paper, Vol. SWP-2009-01, 2009.

5. Marvin Schiller; Christoph Benzmüller

   Granularity-Adaptive Proof Presentation

   In: Vania Dimitrova; Riichiro Mizoguchi; Benedict du Boulay; Art Graesser (Hrsg.). Artificial Intelligence in Education -- Building Learning Systems …

6. Serge Autexier; Marvin Schiller; Dominik Dietrich; Christoph Benzmüller

   Deep Inference for Automated Proof Tutoring?

   In: Roman Englert; Michael Beetz; Joachim Hertzberg (Hrsg.). Advances in Artificial Intelligence. German Conference on Artificial Intelligence …

• 1