Erica Melis

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