Some Considerations About Formalization of Analogical Reasoning. - Ch. Melis; Erica Melis (AII, 1986)

Goal-Driven Similarity Assessment. - Dietmar Janetzko; Stefan Wess; Erica Melis (GWAI, 1992)

KI und Logik (Projektübersicht). - Erica Melis (Künstliche Intell., 1992)

Omega-MKRP: A Proof Development Environment. - Xiaorong Huang; Manfred Kerber; Michael Kohlhase; Erica Melis; Dan Nesmith; Jörn Richts; Jörg H. Siekmann (CADE, 1994)

KEIM: A Toolkit for Automated Deduction. - Xiaorong Huang; Manfred Kerber; Michael Kohlhase; Erica Melis; Dan Nesmith; Jörn Richts; Jörg H. Siekmann (CADE, 1994)

Theorem Proving by Analogy - A Compelling Example. - Erica Melis (EPIA, 1995)

A Model of Analogy-Driven Proof-Plan Construction. - Erica Melis (IJCAI, 1995)

Using Exemplary Knowledge for Justified Analogical Reasoning. - Manfred Kerber; Erica Melis (WOCFAI, 1995)

Internal Analogy in Theorem Proving. - Erica Melis; Jon Whittle 001 (CADE, 1996)

Two Kinds of Non-Monotonic Analogical Inference. - Manfred Kerber; Erica Melis (FAPR, 1996)

When to Prove Theorems by Analogy? - Erica Melis (KI, 1996)

Die Beweisentwicklungsumgebung Omega-MKRP. - Xiaorong Huang; Manfred Kerber; Michael Kohlhase; Erica Melis; Dan Nesmith; Jörn Richts; Jörg H. Siekmann (Inform. Forsch. Entwickl., 1996)

Omega: Towards a Mathematical Assistant. - Christoph Benzmüller; Lassaad Cheikhrouhou; Detlef Fehrer; Armin Fiedler; Xiaorong Huang; Manfred Kerber; Michael Kohlhase; Karsten Konrad; Andreas Meier 002; Erica Melis; Wolf Schaarschmidt; Jörg H. Siekmann; et al. (CADE, 1997)

Solution-Relevant Abstractions Constrain Retrieval and Adaptation. - Erica Melis (ICCBR, 1997)

External Analogy in Inductive Theorem Proving. - Erica Melis; Jon Whittle 001 (KI, 1997)

Beweisen durch Analogie. - Erica Melis (Kognitionswissenschaft, 1997)

Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. - Alessandro Armando; Erica Melis; Silvio Ranise (AIMSA, 1998)

The "Limit" Domain. - Erica Melis (AIPS, 1998)

AI-Techniques in Proof Planning. - Erica Melis (ECAI, 1998)

Reformulation in Case-Based Reasoning. - Erica Melis; Jean Lieber; Amedeo Napoli (EWCBR, 1998)

Similarities and Reuse of Proofs in Formal Software Verification. - Erica Melis; Axel Schairer (EWCBR, 1998)

CBR Applied to Planning. - Ralph Bergmann; Hector Muñoz-Avila; Manuela M. Veloso; Erica Melis (Case-Based Reasoning Technology, 1998)

The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe. - Erica Melis (J. Autom. Reason., 1998)

<Omega>MEGA: Ein mathematisches Assistenzsystem. - Jörg H. Siekmann; Michael Kohlhase; Erica Melis (Kognitionswissenschaft, 1998)

Flexibly Interleaving Processes. - Erica Melis; Carsten Ullrich (ICCBR, 1999)

Knowledge-Based Proof Planning. - Erica Melis; Jörg H. Siekmann (Artif. Intell., 1999)

Employing external reasoners in proof planning. - Erica Melis; Volker Sorge (Calculemus, 1999)

L<Omega>UI: Lovely <Omega>MEGA User Interface. - Jörg H. Siekmann; Stephan M. Hess; Christoph Benzmüller; Lassaad Cheikhrouhou; Armin Fiedler; Helmut Horacek; Michael Kohlhase; Karsten Konrad; Andreas Meier 002; Erica Melis; Martin Pollet; Volker Sorge (Formal Aspects Comput., 1999)

Analogy in Inductive Theorem Proving. - Erica Melis; Jon Whittle 001 (J. Autom. Reason., 1999)

Concepts in Proof Planning. - Erica Melis; Jörg H. Siekmann (Intellectics and Computational Logic, 2000)

Workshop: Automated Deduction in Education. - Erica Melis (CADE, 2000)

Proof Planning with Multiple Strategies. - Erica Melis; Andreas Meier 002 (Computational Logic, 2000)

Extensions of Constraint Solving for Proof Planning. - Erica Melis; Jürgen Zimmer; Tobias Müller 002 (ECAI, 2000)

Integrating Constraint Solving into Proof Planning. - Erica Melis; Jürgen Zimmer; Tobias Müller 002 (FroCoS, 2000)

Proof Development with OMEGA. - Jörg H. Siekmann; Christoph Benzmüller; Vladimir Brezhnev; Lassaad Cheikhrouhou; Armin Fiedler; Andreas Franke 001; Helmut Horacek; Michael Kohlhase; Andreas Meier 002; Erica Melis; Markus Moschner; Immanuel Normann; et al. (CADE, 2002)

Using Computer Algebra Systems as Cognitive Tools. - Jochen Büdenbender; Adrian Frischauf; Georgi Goguadze; Erica Melis; Paul Libbrecht; Carsten Ullrich (Intelligent Tutoring Systems, 2002)

Semantics for Web-Based Mathematical Education Systems. - Erica Melis; Jochen Büdenbender; Georgi Goguadze; Paul Libbrecht; Carsten Ullrich (Semantic Web Workshop, 2002)

MultiMedia Instruction in Safe and Secure Systems. - Bernd Krieg-Brückner; Dieter Hutter; Arne Lindow; Christoph Lüth; Achim Mahnke; Erica Melis; Philipp Meier; Arnd Poetzsch-Heffter; Markus Roggenbach; George Russell; Jan-Georg Smaus; Martin Wirsing (WADT, 2002)

Problems and Solutions for Markup for Mathematical Examples and Exercises. - Georgi Goguadze; Erica Melis; Carsten Ullrich; Paul A. Cairns (MKM, 2003)

Knowledge Representation and Management in ACTIVEMATH. - Erica Melis; Jochen Büdenbender; Georgi Goguadze; Paul Libbrecht; Carsten Ullrich (Ann. Math. Artif. Intell., 2003)

Adaptable Mixed-Initiative Proof Planning for Educational Interaction. - Andreas Meier 002; Erica Melis; Martin Pollet (UITP@TPHOLs, 2003)

Wissensmodellierung und -nutzung in ActiveMath. - Erica Melis; Georgi Goguadze; Paul Libbrecht; Carsten Ullrich (Künstliche Intell., 2003)

Gender-Biased Adaptations in Educational Adaptive Hypermedia. - Erica Melis; Carsten Ullrich (AH, 2004)

Erroneous Examples as a Source of Learning in Mathematics. - Erica Melis (CELDA, 2004)

ActiveMath: An Intelligent Tutoring System for Mathematics. - Erica Melis; Jörg H. Siekmann (ICAISC, 2004)

Workshop on Applications of Semantic Web Technologies for E-learning p. - Lora Aroyo; Darina Dicheva; Peter Brusilovsky; Paloma Díaz 001; Vania Dimitrova; Erik Duval; Jim E. Greer; Tsukasa Hirashima; Heinz Ulrich Hoppe; Geert-Jan Houben; Mitsuru Ikeda; Judy Kay; et al. (Intelligent Tutoring Systems, 2004)

Towards Adaptive Generation of Faded Examples. - Erica Melis; Georgi Goguadze (Intelligent Tutoring Systems, 2004)

Adaptive Access to a Proof Planner. - Erica Melis; Andreas Meier 002; Martin Pollet (MKM, 2004)

Failure Reasoning in Multiple-Strategy Proof Planning. - Andreas Meier 002; Erica Melis (STRATEGIES@IJCAR, 2004)

Constraint Solving for Proof Planning. - Jürgen Zimmer; Erica Melis (J. Autom. Reason., 2004)

In2Math - Interaktive Mathematik- und Informatikgrundausbildung. - Peter Baumgartner 001; Barbara L. Grabowski; Walter Oevel; Erica Melis (Softwaretechnik-Trends, 2004)

Design of Erroneous Examples for ACTIVEMATH. - Erica Melis (AIED, 2005)

Why Proof Planning for Maths Education and How?. - Erica Melis (Mechanizing Mathematical Reasoning, 2005)

e-Learning Logic and Mathematics: What We Have and What We Need. - Erica Melis; Jörg H. Siekmann (We Will Show Them! (2), 2005)

System Description: Multi A Multi-strategy Proof Planner. - Andreas Meier 002; Erica Melis (CADE, 2005)

Challenges in Search and Usage of Multi-media Learning Objects. - Erica Melis; Ruimin Shen; Jörg H. Siekmann; Carsten Ullrich; Fan Yang 003; Peng Han 006 (Cognitive Systems, 2005)

Interactive Concept Mapping in ActiveMath. - Erica Melis; Philipp Kärger; Martin Homik (DeLFI, 2005)

Choice of Feedback Strategies. - Erica Melis (CELDA, 2005)

Interactivity of Exercises in ActiveMath. - Georgi Goguadze; Alberto González Palomo; Erica Melis (ICCE, 2005)

Authoring Presentation for OpenMath. - Shahid Manzoor; Paul Libbrecht; Carsten Ullrich; Erica Melis (MKM, 2005)

Impasse-Driven Reasoning in Proof Planning. - Andreas Meier 002; Erica Melis (MKM, 2005)

Reductio ad Absurdum: Planning Proofs by Contradiction. - Erica Melis; Martin Pollet; Jörg H. Siekmann (Reasoning, Action and Interaction in AI Theories and Systems, 2006)

Integrating Learning Object Repositories Using a Mediator Architecture. - Philipp Kärger; Carsten Ullrich; Erica Melis (EC-TEL, 2006)

LeActiveMath. - Erica Melis; Jeff Haywood; Tim J. Smith (EC-TEL, 2006)

Querying Heterogeneous and Distributed Learning Object Repositories via Ontology-Based Mediation. - Philipp Kärger; Erica Melis; Carsten Ullrich (ICALT, 2006)

Methods to Access and Retrieve Mathematical Content in ActiveMath. - Paul Libbrecht; Erica Melis (ICMS, 2006)

Combining ITS and eLearning Technologies: Opportunities and Challenges. - Christopher A. Brooks 001; Jim E. Greer; Erica Melis; Carsten Ullrich (Intelligent Tutoring Systems, 2006)

Semantic-aware components and services of ActiveMath. - Erica Melis; Giorgi Goguadze; Martin Homik; Paul Libbrecht; Carsten Ullrich; Stefan Winterstein (Br. J. Educ. Technol., 2006)

Specification, authoring and prototyping of personalised workplace learning solutions. - Peter Dolog; Milos Kravcik; Alexandra I. Cristea; Daniel Burgos; Paul De Bra; Stefano Ceri; Vladan Devedzic; Geert-Jan Houben; Paul Libbrecht; Maristella Matera; Erica Melis; Wolfgang Nejdl; et al. (Int. J. Learn. Technol., 2007)

An Efficient Student Model Based on Student Performance and Metadata. - Arndt Faulhaber; Erica Melis (ECAI, 2008)

Towards Accessing Disparate Educational Data in a Single, Unified Manner. - Erica Melis; Bruce M. McLaren; Silvana Solomon (EC-TEL, 2008)

One Exercise - Various Tutorial Strategies. - Georgi Goguadze; Erica Melis (Intelligent Tutoring Systems, 2008)

Interoperable Competencies Characterizing Learning Objects in Mathematics. - Erica Melis; Arndt Faulhaber; Anja Eichelmann; Susanne Narciss (Intelligent Tutoring Systems, 2008)

Proof planning with multiple strategies. - Erica Melis; Andreas Meier 002; Jörg H. Siekmann (Artif. Intell., 2008)

ACTIVEMATH - a Learning Platform With Semantic Web Features. - Erica Melis; Giorgi Goguadze; Paul Libbrecht; Carsten Ullrich (Semantic Web Technologies for e-Learning, 2009)

Combining Evaluative and Generative Diagnosis in ACTIVEMATH. - George Goguadze; Erica Melis (AIED, 2009)

Effects of Erroneous Examples - Results of a Preliminary School Experiment. - Erica Melis; Dieter Kriesell (AIED, 2009)

Erroneous Examples: A Preliminary Investigation into Learning Benefits. - Dimitra Tsovaltzi; Erica Melis; Bruce M. McLaren; Michael Dietrich; Georgi Goguadze; Ann-Kristin Meyer (EC-TEL, 2009)

A New Framework for Dynamic Adaptations and Actions. - Carsten Ullrich; Tianxiang Lu; Erica Melis (EC-TEL, 2009)

Just-in-Time Adaptivity through Dynamic Items. - Carsten Ullrich; Tianxiang Lu; Erica Melis (UMAP, 2009)

Culturally adapted mathematics education with ActiveMath. - Erica Melis; Georgi Goguadze; Paul Libbrecht; Carsten Ullrich (AI Soc., 2009)

Pedagogically founded courseware generation based on HTN-planning. - Carsten Ullrich; Erica Melis (Expert Syst. Appl., 2009)

How to Support Meta-Cognitive Skills for Finding and Correcting Errors? - Erica Melis; Andreas Sander; Dimitra Tsovaltzi (AAAI Fall Symposium: Cognitive and Metacognitive Educational Systems, 2010)

Learning from Erroneous Examples: When and How Do Students Benefit from Them? - Dimitra Tsovaltzi; Erica Melis; Bruce M. McLaren; Ann-Kristin Meyer; Michael Dietrich; George Goguadze (EC-TEL, 2010)

Gap Detection in Web-Based Adaptive Educational Systems. - Dominik Jednoralski; Erica Melis; Sergey A. Sosnovsky; Carsten Ullrich (ICWL, 2010)

Supporting Flexible Competency Frameworks. - Erica Melis; Arndt Faulhaber; Ahmad Salim Doost; Carsten Ullrich (ICWL, 2010)

Requirements of Chinese Teachers for Online Student Tracking and a Comparison to Their Western Counterparts. - Xiaohong Tan; Carsten Ullrich; Oliver Scheuer; Erica Melis; Ruimin Shen (ICWL Workshops, 2010)

Learning from Erroneous Examples. - Dimitra Tsovaltzi; Bruce M. McLaren; Erica Melis; Ann-Kristin Meyer; Michael Dietrich; George Goguadze (Intelligent Tutoring Systems (2), 2010)

Student Model Adjustment Through Random-Restart Hill Climbing. - Ahmad Salim Doost; Erica Melis (LWA, 2010)

Complex Course Generation Adapted to Pedagogical Scenarios and its Evaluation. - Carsten Ullrich; Erica Melis (J. Educ. Technol. Soc., 2010)

Design und Evaluation von interaktiven webbasierten Bruchrechenaufgaben. - Anja Eichelmann; Lenka Schnaubert; George Goguadze; Susanne Narciss; Erica Melis (DeLFI, 2011)

Student Behavior in Error-Correction-Tasks and Its Relation to Perception of Competence. - Lenka Schnaubert; Eric Andres; Susanne Narciss; Anja Eichelmann; George Goguadze; Erica Melis (EC-TEL, 2011)

Exploring feedback and student characteristics relevant for personalizing feedback strategies. - Susanne Narciss; Sergey A. Sosnovsky; Lenka Schnaubert; Eric Andres; Anja Eichelmann; George Goguadze; Erica Melis (Comput. Educ., 2014)