Erica Melis

According to our database, Erica Melis authored at least 93 papers between 1986 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

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

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

Proceedings of the Towards Ubiquitous Learning, 2011

Design und Evaluation von interaktiven webbasierten Bruchrechenaufgaben.

Anja Eichelmann, Lenka Schnaubert, George Goguadze, Susanne Narciss, Erica Melis

Proceedings of the DeLFI 2011, 2011

2010

Complex Course Generation Adapted to Pedagogical Scenarios and its Evaluation.

Carsten Ullrich, Erica Melis

J. Educ. Technol. Soc., 2010

Student Model Adjustment Through Random-Restart Hill Climbing.

Ahmad Salim Doost, Erica Melis

Proceedings of the LWA 2010, 2010

Learning from Erroneous Examples.

Dimitra Tsovaltzi, Bruce M. McLaren, Erica Melis, Ann-Kristin Meyer, Michael Dietrich, George Goguadze

Proceedings of the Intelligent Tutoring Systems, 10th International Conference, 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

Proceedings of the New Horizons in Web-Based Learning - ICWL 2010 Workshops, 2010

Supporting Flexible Competency Frameworks.

Erica Melis, Arndt Faulhaber, Ahmad Salim Doost, Carsten Ullrich

Proceedings of the Advances in Web-Based Learning - ICWL 2010, 2010

Gap Detection in Web-Based Adaptive Educational Systems.

Dominik Jednoralski, Erica Melis, Sergey A. Sosnovsky, Carsten Ullrich

Proceedings of the Advances in Web-Based Learning - ICWL 2010, 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

Proceedings of the Sustaining TEL: From Innovation to Learning and Practice, 2010

How to Support Meta-Cognitive Skills for Finding and Correcting Errors?

Erica Melis, Andreas Sander, Dimitra Tsovaltzi

Proceedings of the Cognitive and Metacognitive Educational Systems, 2010

2009

Pedagogically founded courseware generation based on HTN-planning.

Carsten Ullrich, Erica Melis

Expert Syst. Appl., 2009

Culturally adapted mathematics education with ActiveMath.

Erica Melis, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich

AI Soc., 2009

Just-in-Time Adaptivity through Dynamic Items.

Carsten Ullrich, Tianxiang Lu, Erica Melis

Proceedings of the User Modeling, 2009

A New Framework for Dynamic Adaptations and Actions.

Carsten Ullrich, Tianxiang Lu, Erica Melis

Proceedings of the Learning in the Synergy of Multiple Disciplines, 2009

Erroneous Examples: A Preliminary Investigation into Learning Benefits.

Dimitra Tsovaltzi, Erica Melis, Bruce M. McLaren, Michael Dietrich, Georgi Goguadze, Ann-Kristin Meyer

Proceedings of the Learning in the Synergy of Multiple Disciplines, 2009

Effects of Erroneous Examples - Results of a Preliminary School Experiment.

Erica Melis, Dieter Kriesell

Proceedings of the Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling, 2009

Combining Evaluative and Generative Diagnosis in ACTIVEMATH.

George Goguadze, Erica Melis

Proceedings of the Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling, 2009

ACTIVEMATH - a Learning Platform With Semantic Web Features.

Erica Melis, Giorgi Goguadze, Paul Libbrecht, Carsten Ullrich

Proceedings of the Semantic Web Technologies for e-Learning, 2009

2008

Proof planning with multiple strategies.

Erica Melis, Andreas Meier, Jörg H. Siekmann

Artif. Intell., 2008

Interoperable Competencies Characterizing Learning Objects in Mathematics.

Erica Melis, Arndt Faulhaber, Anja Eichelmann, Susanne Narciss

Proceedings of the Intelligent Tutoring Systems, 9th International Conference, 2008

One Exercise - Various Tutorial Strategies.

Georgi Goguadze, Erica Melis

Proceedings of the Intelligent Tutoring Systems, 9th International Conference, 2008

Towards Accessing Disparate Educational Data in a Single, Unified Manner.

Erica Melis, Bruce M. McLaren, Silvana Solomon

Proceedings of the Times of Convergence. Technologies Across Learning Contexts, 2008

An Efficient Student Model Based on Student Performance and Metadata.

Arndt Faulhaber, Erica Melis

Proceedings of the ECAI 2008, 2008

2007

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, Marcus Specht, Craig D. Stewart, David Smits, Natalia Stash, Colin Tattersall

Int. J. Learn. Technol., 2007

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

Combining ITS and eLearning Technologies: Opportunities and Challenges.

Christopher A. Brooks, Jim E. Greer, Erica Melis, Carsten Ullrich

Proceedings of the Intelligent Tutoring Systems, 8th International Conference, 2006

Methods to Access and Retrieve Mathematical Content in ActiveMath.

Paul Libbrecht, Erica Melis

Proceedings of the Mathematical Software, 2006

Querying Heterogeneous and Distributed Learning Object Repositories via Ontology-Based Mediation.

Philipp Kärger, Erica Melis, Carsten Ullrich

Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, 2006

LeActiveMath.

Erica Melis, Jeff Haywood, Tim J. Smith

Proceedings of the Innovative Approaches for Learning and Knowledge Sharing, 2006

Integrating Learning Object Repositories Using a Mediator Architecture.

Philipp Kärger, Carsten Ullrich, Erica Melis

Proceedings of the Innovative Approaches for Learning and Knowledge Sharing, 2006

Reductio ad Absurdum: Planning Proofs by Contradiction.

Erica Melis, Martin Pollet, Jörg H. Siekmann

Proceedings of the Reasoning, 2006

2005

Impasse-Driven Reasoning in Proof Planning.

Andreas Meier, Erica Melis

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Authoring Presentation for OpenMath.

Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, Erica Melis

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Interactivity of Exercises in ActiveMath.

Georgi Goguadze, Alberto González Palomo, Erica Melis

Proceedings of the Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences, 2005

Choice of Feedback Strategies.

Erica Melis

Proceedings of the Cognition and Exploratory Learning in Digital Age, 2005

Interactive Concept Mapping in ActiveMath.

Erica Melis, Philipp Kärger, Martin Homik

Proceedings of the DeLFI 2005: 3. Deutsche e-Learning Fachtagung Informatik, 2005

Challenges in Search and Usage of Multi-media Learning Objects.

Erica Melis, Ruimin Shen, Jörg H. Siekmann, Carsten Ullrich, Fan Yang, Peng Han

Proceedings of the Cognitive Systems, Joint Chinese-German Workshop, Shanghai, 2005

System Description: Multi A Multi-strategy Proof Planner.

Andreas Meier, Erica Melis

Proceedings of the Automated Deduction, 2005

e-Learning Logic and Mathematics: What We Have and What We Need.

Erica Melis, Jörg H. Siekmann

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

Why Proof Planning for Maths Education and How?.

Erica Melis

Proceedings of the Mechanizing Mathematical Reasoning, 2005

Design of Erroneous Examples for ACTIVEMATH.

Erica Melis

Proceedings of the Artificial Intelligence in Education, 2005

2004

In2Math - Interaktive Mathematik- und Informatikgrundausbildung.

Peter Baumgartner, Barbara L. Grabowski, Walter Oevel, Erica Melis

Softwaretechnik-Trends, 2004

Constraint Solving for Proof Planning.

Jürgen Zimmer, Erica Melis

J. Autom. Reason., 2004

Failure Reasoning in Multiple-Strategy Proof Planning.

Andreas Meier, Erica Melis

Proceedings of the 5th International Workshop on Strategies in Automated Deduction, 2004

Adaptive Access to a Proof Planner.

Erica Melis, Andreas Meier, Martin Pollet

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

Towards Adaptive Generation of Faded Examples.

Erica Melis, Georgi Goguadze

Proceedings of the Intelligent Tutoring Systems, 7th International Conference, 2004

Workshop on Applications of Semantic Web Technologies for E-learning p.

Lora Aroyo, Darina Dicheva, Peter Brusilovsky, Paloma Díaz, Vania Dimitrova, Erik Duval, Jim E. Greer, Tsukasa Hirashima, Heinz Ulrich Hoppe, Geert-Jan Houben, Mitsuru Ikeda, Judy Kay, Kinshuk, Erica Melis, Tanja Mitrovic, Ambjörn Naeve, Ossi Nykänen, Gilbert Paquette, Simos Retalis, Demetrios G. Sampson, Katherine M. Sinitsa, Amy Soller, Steffen Staab, Julita Vassileva, Felisa Verdejo, Gerd Wagner

Proceedings of the Intelligent Tutoring Systems, 7th International Conference, 2004

ActiveMath: An Intelligent Tutoring System for Mathematics.

Erica Melis, Jörg H. Siekmann

Proceedings of the Artificial Intelligence and Soft Computing, 2004

Erroneous Examples as a Source of Learning in Mathematics.

Erica Melis

Proceedings of the Cognition and Exploratory Learning in Digital Age (CELDA'04), 2004

Gender-Biased Adaptations in Educational Adaptive Hypermedia.

Erica Melis, Carsten Ullrich

Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2004

2003

Wissensmodellierung und -nutzung in ActiveMath.

Erica Melis, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich

Künstliche Intell., 2003

Adaptable Mixed-Initiative Proof Planning for Educational Interaction.

Andreas Meier, Erica Melis, Martin Pollet

Proceedings of the User Interfaces for Theorem Provers Workshop, 2003

Knowledge Representation and Management in ACTIVEMATH.

Erica Melis, Jochen Büdenbender, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich

Ann. Math. Artif. Intell., 2003

Problems and Solutions for Markup for Mathematical Examples and Exercises.

Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul A. Cairns

Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003

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

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Semantics for Web-Based Mathematical Education Systems.

Erica Melis, Jochen Büdenbender, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich

Proceedings of the WWW2002 International Workshop on the Semantic Web, Hawaii, May 7, 2002, 2002

Using Computer Algebra Systems as Cognitive Tools.

Jochen Büdenbender, Adrian Frischauf, Georgi Goguadze, Erica Melis, Paul Libbrecht, Carsten Ullrich

Proceedings of the Intelligent Tutoring Systems, 6th International Conference, 2002

Proof Development with OMEGA.

Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer

Proceedings of the Automated Deduction, 2002

2000

Integrating Constraint Solving into Proof Planning.

Erica Melis, Jürgen Zimmer, Tobias Müller

Proceedings of the Frontiers of Combining Systems, 2000

Extensions of Constraint Solving for Proof Planning.

Erica Melis, Jürgen Zimmer, Tobias Müller

Proceedings of the ECAI 2000, 2000

Proof Planning with Multiple Strategies.

Erica Melis, Andreas Meier

Proceedings of the Computational Logic, 2000

Workshop: Automated Deduction in Education.

Erica Melis

Proceedings of the Automated Deduction, 2000

Concepts in Proof Planning.

Erica Melis, Jörg H. Siekmann

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

1999

Analogy in Inductive Theorem Proving.

Erica Melis, Jon Whittle

J. Autom. Reason., 1999

<i>L</i><Omega><i>UI</i>: <i>L</i>ovely <Omega>MEGA <i>U</i>ser <i>I</i>nterface.

Jörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge

Formal Aspects Comput., 1999

Employing external reasoners in proof planning.

Erica Melis, Volker Sorge

Proceedings of the Systems for Integrated Computation and Deduction, 1999

Knowledge-Based Proof Planning.

Erica Melis, Jörg H. Siekmann

Artif. Intell., 1999

Flexibly Interleaving Processes.

Erica Melis, Carsten Ullrich

Proceedings of the Case-Based Reasoning and Development, Third International Conference, 1999

1998

<Omega>MEGA: Ein mathematisches Assistenzsystem.

Jörg H. Siekmann, Michael Kohlhase, Erica Melis

Kognitionswissenschaft, 1998

The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe.

Erica Melis

J. Autom. Reason., 1998

CBR Applied to Planning.

Ralph Bergmann, Hector Muñoz-Avila, Manuela M. Veloso, Erica Melis

Proceedings of the Case-Based Reasoning Technology, From Foundations to Applications, 1998

Similarities and Reuse of Proofs in Formal Software Verification.

Erica Melis, Axel Schairer

Proceedings of the Advances in Case-Based Reasoning, 4th European Workshop, 1998

Reformulation in Case-Based Reasoning.

Erica Melis, Jean Lieber, Amedeo Napoli

Proceedings of the Advances in Case-Based Reasoning, 4th European Workshop, 1998

AI-Techniques in Proof Planning.

Erica Melis

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

The "Limit" Domain.

Erica Melis

Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998

Constraint Solving in Logic Programming and in Automated Deduction: A Comparison.

Alessandro Armando, Erica Melis, Silvio Ranise

Proceedings of the Artificial Intelligence: Methodology, 1998

1997

Beweisen durch Analogie.

Erica Melis

Kognitionswissenschaft, 1997

External Analogy in Inductive Theorem Proving.

Erica Melis, Jon Whittle

Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

Solution-Relevant Abstractions Constrain Retrieval and Adaptation.

Erica Melis

Proceedings of the Case-Based Reasoning Research and Development, 1997

Omega: Towards a Mathematical Assistant.

Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge

Proceedings of the Automated Deduction, 1997

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

When to Prove Theorems by Analogy?

Erica Melis

Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

Two Kinds of Non-Monotonic Analogical Inference.

Manfred Kerber, Erica Melis

Proceedings of the Practical Reasoning, 1996

Internal Analogy in Theorem Proving.

Erica Melis, Jon Whittle

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Using Exemplary Knowledge for Justified Analogical Reasoning.

Manfred Kerber, Erica Melis

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

A Model of Analogy-Driven Proof-Plan Construction.

Erica Melis

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Theorem Proving by Analogy - A Compelling Example.

Erica Melis

Proceedings of the Progress in Artificial Intelligence, 1995

1994

KEIM: A Toolkit for Automated Deduction.

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Omega-MKRP: A Proof Development Environment.

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1992

KI und Logik (Projektübersicht).

Erica Melis

Künstliche Intell., 1992

Goal-Driven Similarity Assessment.

Dietmar Janetzko, Stefan Wess, Erica Melis

Proceedings of the GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31, 1992

1986

Some Considerations About Formalization of Analogical Reasoning.

Ch. Melis, Erica Melis

Proceedings of the Analogical and Inductive Inference, 1986