- Interactive Concept Mapping in ACTIVEMATH Erica Melis
- Culturally Adapted Mathematics Education with Erica Melis
- Lessons for (Pedagogic) Usability of eLearning Systems The ActiveMath Group
- A New Framework for Dynamic Adaptations and Actions
- KnowledgeBased Proof Planning Erica Melis Jorg Siekmann
- Analogy as a Control Strategy in Theorem Proving Erica Melis
- They Call It Learning Style But It's So Much More Erica Melis
- A Proof Presentation Suitable for Teaching Proofs Erica Melis \Lambda
- S o l u t i o n R e l e va n t A b s t r a c t i o n s C o n s t r a i n R e t r i e va l an d A d a p t a t i o n
- Impasse-Driven Reasoning in Proof Planning Andreas Meier and Erica Melis
- The HeineBorel Challenge Problem In Honor of Woody Bledsoe
- UNCORRECTED 2 Pedagogically founded courseware generation based on HTN-planning
- How to Teach it Polya-Inspired Scenarios in ACTIVEMATH
- FACHBEREICH GERMANY WWW
- Complex Course Generation Adapted to Pedagogical Scenarios and its Evaluation
- Gender-Biased Adaptations in Educational Adaptive Hypermedia
- External Analogy in Inductive Theorem Proving Erica Melis 1 and Jon Whittle ?2
- Employing External Reasoners in Proof Erica Melis and Volker Sorge
- Two Kinds of NonMonotonic Analogical Inference ?
- ActiveMath: An Intelligent Tutoring System for Mathematics
- Internal Analogy in Theorem Proving Erica Melis 1 and Jon Whittle ?2
- An Efficient Student Model Based on Student Performance and Metadata
- The \Limit" Domain Erica Melis y
- Adaptive Access to a Proof Planner Erica Melis1
- AITechniques in Proof Planning Erica Melis 1
- Culturally Aware Mathematics Education Technology Erica Melis Carsten Ullrich Giorgi Goguadze
- e-Learning Logic and Mathematics: What We Have and What We
- Interactivity of Exercises in Giorgi Goguadze a
- Effects of Erroneous Examples Results of a Preliminary School Experiment 1
- Towards Accessing Disparate Educational Data in a Single, Unified Manner
- Combining Evaluative and Generative Diagnosis in ActiveMath
- Authoring Presentation for OpenMath Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, and Erica Melis
- ActiveMath: System Description \Lambda Erica Melis, Eric Andres, Georgi Goguadse,
- ActiveMath a Learning Platform With Semantic Web Features
- Just-In-Time Adaptivity Through Dynamic Carsten Ullrich1
- Interoperable Competencies Characterizing Learning Objects in Mathematics
- How ActiveMath Supports Moderate Constructivist Mathematics Teaching Erica Melis, Carsten Ullrich, George Goguadze, Paul Libbrecht
- Reductio ad Absurdum: Planning Proofs by Contradiction
- LeActiveMath Erica Melis, Jeff Haywood, and Tim J. Smith
- Combining ITS and eLearning Technologies: Opportunities and Challenges
- ePortfolios in ActiveMath Homik, Martin, University of Saarland, Germany, homik@ags.uni-sb.de
- System Description: Multi A Multi-Strategy Proof Planner
- Towards Adaptive Generation of Faded Erica Melis and Giorgi Goguadze
- Local and Global Feedback Erica Melis and Carsten Ullrich
- Global Feedback in ACTIVEMATH Erica Melis and Eric Andr`es
- Problems and Solutions for Markup for Mathematical Examples and Exercises
- International Journal of Artificial Intelligence in Education (2001), 12, 385-407 ActiveMath: A Generic and Adaptive Web-Based Learning
- Randomization and Restarts in Proof Planning Andreas Meier1
- ERICA MELIS AND J ORG H. SIEKMANN CONCEPTS IN PROOF PLANNING
- One Exercise Various Tutorial Strategies George Goguadze and Erica Melis
- Constraint Solving in Logic Programming and in Automated Deduction: a Comparison ?
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- When to Prove Theorems by Analogy? Erica Melis ?
- Deutsches Forschungszentrum fr Knstliche Intelligenz Kuba 1949
- 19.3.2011, Saarbrcken, Deutschherrenkapelle, Trauerfeier fr PD Dr. Erica Melis
- Erica Melis 1949 -2011
- Erica Melis/Tell: Her Times, Her Flights and Happiness A speech for the funeral service in the Deutschherrenkapelle
- 19 March 2011, Saarbruecken, Deutschherrenkapelle,
- Deutsches Forschungszentrum fr Knstliche Intelligenz
- Erica Tell 28.2.1949 20.2.2011 HER MEMORY SHALL BE A BLESSING
- I heartily welcome you all to the memorial service for Erica Tell. Jrg asked me to speak at the beginning and end of the service. I am honoured to do so. For many years, I have been
- Ich begre Sie alle herzlich zu der Gedenkfeier fr Erica Tell. Jrg hat mich gebeten, am Anfang und am Ende der Feier zu sprechen. Ich tue das gern. Ich bin Jrg seit vielen Jahren
