Erica Melis

Publication Activity (10 Years)

Years Active: 1986-2014
Publications (10 Years): 0

Top Topics

Teaching Strategies

Positive Feedback

Top Venues

Publications

Susanne Narciss, Sergey A. Sosnovsky, Lenka Schnaubert, Eric Andres, Anja Eichelmann, George Goguadze, Erica Melis
Exploring feedback and student characteristics relevant for personalizing feedback strategies. Comput. Educ. 71 (2014)
Lenka Schnaubert, Eric Andres, Susanne Narciss, Anja Eichelmann, George Goguadze, Erica Melis
Student Behavior in Error-Correction-Tasks and Its Relation to Perception of Competence. EC-TEL (2011)
Anja Eichelmann, Lenka Schnaubert, George Goguadze, Susanne Narciss, Erica Melis
Design und Evaluation von interaktiven webbasierten Bruchrechenaufgaben. DeLFI (2011)
Erica Melis, Andreas Sander, Dimitra Tsovaltzi
How to Support Meta-Cognitive Skills for Finding and Correcting Errors? AAAI Fall Symposium: Cognitive and Metacognitive Educational Systems (2010)
Carsten Ullrich, Erica Melis
Complex Course Generation Adapted to Pedagogical Scenarios and its Evaluation. J. Educ. Technol. Soc. 13 (2) (2010)
Ahmad Salim Doost, Erica Melis
Student Model Adjustment Through Random-Restart Hill Climbing. LWA (2010)
Xiaohong Tan, Carsten Ullrich, Oliver Scheuer, Erica Melis, Ruimin Shen
Requirements of Chinese Teachers for Online Student Tracking and a Comparison to Their Western Counterparts. ICWL Workshops (2010)
Dimitra Tsovaltzi, Bruce M. McLaren, Erica Melis, Ann-Kristin Meyer, Michael Dietrich, George Goguadze
Learning from Erroneous Examples. Intelligent Tutoring Systems (2) (2010)
Dominik Jednoralski, Erica Melis, Sergey A. Sosnovsky, Carsten Ullrich
Gap Detection in Web-Based Adaptive Educational Systems. ICWL (2010)
Dimitra Tsovaltzi, Erica Melis, Bruce M. McLaren, Ann-Kristin Meyer, Michael Dietrich, George Goguadze
Learning from Erroneous Examples: When and How Do Students Benefit from Them? EC-TEL (2010)
Erica Melis, Arndt Faulhaber, Ahmad Salim Doost, Carsten Ullrich
Supporting Flexible Competency Frameworks. ICWL (2010)
Dimitra Tsovaltzi, Erica Melis, Bruce M. McLaren, Michael Dietrich, Georgi Goguadze, Ann-Kristin Meyer
Erroneous Examples: A Preliminary Investigation into Learning Benefits. EC-TEL (2009)
Carsten Ullrich, Erica Melis
Pedagogically founded courseware generation based on HTN-planning. Expert Syst. Appl. 36 (5) (2009)
George Goguadze, Erica Melis
Combining Evaluative and Generative Diagnosis in ACTIVEMATH. AIED (2009)
Carsten Ullrich, Tianxiang Lu, Erica Melis
Just-in-Time Adaptivity through Dynamic Items. UMAP (2009)
Erica Melis, Dieter Kriesell
Effects of Erroneous Examples - Results of a Preliminary School Experiment. AIED (2009)
Carsten Ullrich, Tianxiang Lu, Erica Melis
A New Framework for Dynamic Adaptations and Actions. EC-TEL (2009)
Erica Melis, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich
Culturally adapted mathematics education with ActiveMath. AI Soc. 24 (3) (2009)
Erica Melis, Arndt Faulhaber, Anja Eichelmann, Susanne Narciss
Interoperable Competencies Characterizing Learning Objects in Mathematics. Intelligent Tutoring Systems (2008)
Erica Melis, Bruce M. McLaren, Silvana Solomon
Towards Accessing Disparate Educational Data in a Single, Unified Manner. EC-TEL (2008)
Arndt Faulhaber, Erica Melis
An Efficient Student Model Based on Student Performance and Metadata. ECAI (2008)
Erica Melis, Andreas Meier, Jörg H. Siekmann
Proof planning with multiple strategies. Artif. Intell. 172 (6-7) (2008)
Georgi Goguadze, Erica Melis
One Exercise - Various Tutorial Strategies. Intelligent Tutoring Systems (2008)
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
Specification, authoring and prototyping of personalised workplace learning solutions. Int. J. Learn. Technol. 3 (3) (2007)
Erica Melis, Jeff Haywood, Tim J. Smith
LeActiveMath. EC-TEL (2006)
Christopher A. Brooks, Jim E. Greer, Erica Melis, Carsten Ullrich
Combining ITS and eLearning Technologies: Opportunities and Challenges. Intelligent Tutoring Systems (2006)
Philipp Kärger, Carsten Ullrich, Erica Melis
Integrating Learning Object Repositories Using a Mediator Architecture. EC-TEL (2006)
Paul Libbrecht, Erica Melis
Methods to Access and Retrieve Mathematical Content in ActiveMath. ICMS (2006)
Erica Melis, Giorgi Goguadze, Martin Homik, Paul Libbrecht, Carsten Ullrich, Stefan Winterstein
Semantic-aware components and services of ActiveMath. Br. J. Educ. Technol. 37 (3) (2006)
Erica Melis, Martin Pollet, Jörg H. Siekmann
Reductio ad Absurdum: Planning Proofs by Contradiction. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Philipp Kärger, Erica Melis, Carsten Ullrich
Querying Heterogeneous and Distributed Learning Object Repositories via Ontology-Based Mediation. ICALT (2006)
Andreas Meier, Erica Melis
Impasse-Driven Reasoning in Proof Planning. MKM (2005)
Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, Erica Melis
Authoring Presentation for OpenMath. MKM (2005)
Erica Melis
Why Proof Planning for Maths Education and How?. Mechanizing Mathematical Reasoning (2005)
Erica Melis
Design of Erroneous Examples for ACTIVEMATH. AIED (2005)
Andreas Meier, Erica Melis
System Description: Multi A Multi-strategy Proof Planner. CADE (2005)
Erica Melis, Philipp Kärger, Martin Homik
Interactive Concept Mapping in ActiveMath. DeLFI (2005)
Erica Melis, Jörg H. Siekmann
e-Learning Logic and Mathematics: What We Have and What We Need. We Will Show Them! (2) (2005)
Erica Melis
Choice of Feedback Strategies. CELDA (2005)
Erica Melis, Ruimin Shen, Jörg H. Siekmann, Carsten Ullrich, Fan Yang, Peng Han
Challenges in Search and Usage of Multi-media Learning Objects. Cognitive Systems (2005)
Georgi Goguadze, Alberto González Palomo, Erica Melis
Interactivity of Exercises in ActiveMath. ICCE (2005)
Andreas Meier, Erica Melis
Failure Reasoning in Multiple-Strategy Proof Planning. Electron. Notes Theor. Comput. Sci. 125 (2) (2005)
Peter Baumgartner, Barbara L. Grabowski, Walter Oevel, Erica Melis
In2Math - Interaktive Mathematik- und Informatikgrundausbildung. Softwaretechnik-Trends 24 (1) (2004)
Erica Melis, Carsten Ullrich
Gender-Biased Adaptations in Educational Adaptive Hypermedia. AH (2004)
Erica Melis, Jörg H. Siekmann
ActiveMath: An Intelligent Tutoring System for Mathematics. ICAISC (2004)
Erica Melis, Andreas Meier, Martin Pollet
Adaptive Access to a Proof Planner. MKM (2004)
Jürgen Zimmer, Erica Melis
Constraint Solving for Proof Planning. J. Autom. Reason. 33 (1) (2004)
Erica Melis, Georgi Goguadze
Towards Adaptive Generation of Faded Examples. Intelligent Tutoring Systems (2004)
Erica Melis
Erroneous Examples as a Source of Learning in Mathematics. CELDA (2004)
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
Workshop on Applications of Semantic Web Technologies for E-learning p. Intelligent Tutoring Systems (2004)
Andreas Meier, Erica Melis, Martin Pollet
Adaptable Mixed-Initiative Proof Planning for Educational Interaction. Electron. Notes Theor. Comput. Sci. 103 (2004)
Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul A. Cairns
Problems and Solutions for Markup for Mathematical Examples and Exercises. MKM (2003)
Erica Melis, Jochen Büdenbender, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich
Knowledge Representation and Management in ACTIVEMATH. Ann. Math. Artif. Intell. 38 (1-3) (2003)
Erica Melis, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich
Wissensmodellierung und -nutzung in ActiveMath. Künstliche Intell. 17 (1) (2003)
Jochen Büdenbender, Adrian Frischauf, Georgi Goguadze, Erica Melis, Paul Libbrecht, Carsten Ullrich
Using Computer Algebra Systems as Cognitive Tools. Intelligent Tutoring Systems (2002)
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
MultiMedia Instruction in Safe and Secure Systems. WADT (2002)
Erica Melis, Jochen Büdenbender, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich
Semantics for Web-Based Mathematical Education Systems. Semantic Web Workshop (2002)
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
Proof Development with OMEGA. CADE (2002)
Erica Melis
Workshop: Automated Deduction in Education. CADE (2000)
Erica Melis, Jürgen Zimmer, Tobias Müller
Integrating Constraint Solving into Proof Planning. FroCoS (2000)
Erica Melis, Andreas Meier
Proof Planning with Multiple Strategies. Computational Logic (2000)
Erica Melis, Jürgen Zimmer, Tobias Müller
Extensions of Constraint Solving for Proof Planning. ECAI (2000)
Erica Melis, Jörg H. Siekmann
Concepts in Proof Planning. Intellectics and Computational Logic (2000)
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
nterface. Formal Aspects Comput. 11 (3) (1999)
Erica Melis, Volker Sorge
Employing external reasoners in proof planning. Calculemus (1999)
Erica Melis, Jon Whittle
Analogy in Inductive Theorem Proving. J. Autom. Reason. 22 (2) (1999)
Erica Melis, Carsten Ullrich
Flexibly Interleaving Processes. ICCBR (1999)
Erica Melis, Jörg H. Siekmann
Knowledge-Based Proof Planning. Artif. Intell. 115 (1) (1999)
Jörg H. Siekmann, Michael Kohlhase, Erica Melis
MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft 7 (3) (1998)
Erica Melis
The "Limit" Domain. AIPS (1998)
Erica Melis, Axel Schairer
Similarities and Reuse of Proofs in Formal Software Verification. EWCBR (1998)
Alessandro Armando, Erica Melis, Silvio Ranise
Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. AIMSA (1998)
Ralph Bergmann, Hector Muñoz-Avila, Manuela M. Veloso, Erica Melis
CBR Applied to Planning. Case-Based Reasoning Technology (1998)
Erica Melis
AI-Techniques in Proof Planning. ECAI (1998)
Erica Melis, Jean Lieber, Amedeo Napoli
Reformulation in Case-Based Reasoning. EWCBR (1998)
Erica Melis
The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe. J. Autom. Reason. 20 (3) (1998)
Erica Melis
Beweisen durch Analogie. Kognitionswissenschaft 6 (3) (1997)
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
Omega: Towards a Mathematical Assistant. CADE (1997)
Erica Melis, Jon Whittle
External Analogy in Inductive Theorem Proving. KI (1997)
Erica Melis
Solution-Relevant Abstractions Constrain Retrieval and Adaptation. ICCBR (1997)
Erica Melis
When to Prove Theorems by Analogy? KI (1996)
Erica Melis, Jon Whittle
Internal Analogy in Theorem Proving. CADE (1996)
Manfred Kerber, Erica Melis
Two Kinds of Non-Monotonic Analogical Inference. FAPR (1996)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Die Beweisentwicklungsumgebung Omega-MKRP. Inform. Forsch. Entwickl. 11 (1) (1996)
Erica Melis
Theorem Proving by Analogy - A Compelling Example. EPIA (1995)
Manfred Kerber, Erica Melis
Using Exemplary Knowledge for Justified Analogical Reasoning. WOCFAI (1995)
Erica Melis
A Model of Analogy-Driven Proof-Plan Construction. IJCAI (1995)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Omega-MKRP: A Proof Development Environment. CADE (1994)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
KEIM: A Toolkit for Automated Deduction. CADE (1994)
Erica Melis
KI und Logik (Projektübersicht). Künstliche Intell. 6 (3) (1992)
Dietmar Janetzko, Stefan Wess, Erica Melis
Goal-Driven Similarity Assessment. GWAI (1992)
Ch. Melis, Erica Melis
Some Considerations About Formalization of Analogical Reasoning. AII (1986)