Erica Melis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
12
Active years
1992–2010
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ITS | Learning from Erroneous Examples. | Dimitra Tsovaltzi, Bruce M. McLaren, Erica Melis, Ann-Kristin Meyer, Michael Dietrich, George Goguadze |
| 2009 | AIED | Combining Evaluative and Generative Diagnosis in ACTIVEMATH. | George Goguadze, Erica Melis |
| 2009 | AIED | Effects of Erroneous Examples - Results of a Preliminary School Experiment. | Erica Melis, Dieter Kriesell |
| 2008 | ECAI | An Efficient Student Model Based on Student Performance and Metadata. | Arndt Faulhaber, Erica Melis |
| 2008 | ITS | One Exercise - Various Tutorial Strategies. | Georgi Goguadze, Erica Melis |
| 2008 | ITS | Interoperable Competencies Characterizing Learning Objects in Mathematics. | Erica Melis, Arndt Faulhaber, Anja Eichelmann, Susanne Narciss |
| 2006 | ICALT | Querying Heterogeneous and Distributed Learning Object Repositories via Ontology-Based Mediation. | Philipp Krger, Erica Melis, Carsten Ullrich |
| 2006 | ITS | Combining ITS and eLearning Technologies: Opportunities and Challenges. | Christopher A. Brooks, Jim E. Greer, Erica Melis, Carsten Ullrich |
| 2005 | AIED | Design of Erroneous Examples for ACTIVEMATH. | Erica Melis |
| 2005 | CADE | System Description: Multi A Multi-strategy Proof Planner. | Andreas Meier, Erica Melis |
| 2005 | ICCE | Interactivity of Exercises in ActiveMath. | Georgi Goguadze, Alberto Gonzlez Palomo, Erica Melis |
| 2004 | ICAISC | ActiveMath: An Intelligent Tutoring System for Mathematics. | Erica Melis, Jrg H. Siekmann |
| 2004 | ITS | Workshop on Applications of Semantic Web Technologies for E-learning p. | Lora Aroyo, Darina Dicheva, Peter Brusilovsky, Paloma Daz, Vania Dimitrova, Erik Duval, Jim E. Greer, Tsukasa Hirashima, Heinz Ulrich Hoppe, Geert-Jan Houben, Mitsuru Ikeda, Judy Kay, Kinshuk, Erica Melis, Tanja Mitrovic, Ambjrn Naeve, Ossi Nyknen, Gilbert Paquette, Simos Retalis, Demetrios G. Sampson, Katherine M. Sinitsa, Amy Soller, Steffen Staab, Julita Vassileva, Felisa Verdejo, Gerd Wagner |
| 2004 | ITS | Towards Adaptive Generation of Faded Examples. | Erica Melis, Georgi Goguadze |
| 2002 | CADE | Proof Development with OMEGA. | Jrg H. Siekmann, Christoph Benzmller, 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, Jrgen Zimmer |
| 2002 | ITS | Using Computer Algebra Systems as Cognitive Tools. | Jochen Bdenbender, Adrian Frischauf, Georgi Goguadze, Erica Melis, Paul Libbrecht, Carsten Ullrich |
| 2000 | CADE | Workshop: Automated Deduction in Education. | Erica Melis |
| 2000 | ECAI | Extensions of Constraint Solving for Proof Planning. | Erica Melis, Jrgen Zimmer, Tobias Mller |
| 1999 | ICCBR | Flexibly Interleaving Processes. | Erica Melis, Carsten Ullrich |
| 1998 | AIMSA | Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. | Alessandro Armando, Erica Melis, Silvio Ranise |
| 1998 | ECAI | AI-Techniques in Proof Planning. | Erica Melis |
| 1998 | ICCBR | CBR Applied to Planning. | Ralph Bergmann, Hector Muoz-Avila, Manuela M. Veloso, Erica Melis |
| 1997 | CADE | Omega: Towards a Mathematical Assistant. | Christoph Benzmller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jrg H. Siekmann, Volker Sorge |
| 1997 | ICCBR | Solution-Relevant Abstractions Constrain Retrieval and Adaptation. | Erica Melis |
| 1997 | KI | External Analogy in Inductive Theorem Proving. | Erica Melis, Jon Whittle |
| 1996 | CADE | Internal Analogy in Theorem Proving. | Erica Melis, Jon Whittle |
| 1996 | KI | When to Prove Theorems by Analogy? | Erica Melis |
| 1995 | EPIA | Theorem Proving by Analogy - A Compelling Example. | Erica Melis |
| 1995 | IJCAI | A Model of Analogy-Driven Proof-Plan Construction. | Erica Melis |
| 1994 | CADE | Omega-MKRP: A Proof Development Environment. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jrn Richts, Jrg H. Siekmann |
| 1994 | CADE | KEIM: A Toolkit for Automated Deduction. | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jrn Richts, Jrg H. Siekmann |
| 1992 | KI | Goal-Driven Similarity Assessment. | Dietmar Janetzko, Stefan Wess, Erica Melis |