default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDErica Melis
Person information
- 1949 - 2011
- affiliation: German Research Institute for Artificial Intelligence (DFKI), Saarbruecken, Germany
- affiliation: Saarland University, Computer Science Department, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2014
[j19]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: 56-76 (2014)- 2010
- [j18]Carsten Ullrich, Erica Melis:
Complex Course Generation Adapted to Pedagogical Scenarios and its Evaluation. J. Educ. Technol. Soc. 13(2): 102-115 (2010) - 2009
- [j17]Erica Melis, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich:
Culturally adapted mathematics education with ActiveMath. AI Soc. 24(3): 251-265 (2009) - [j16]Carsten Ullrich, Erica Melis:
Pedagogically founded courseware generation based on HTN-planning. Expert Syst. Appl. 36(5): 9319-9332 (2009) - 2008
- [j15]Erica Melis, Andreas Meier, Jörg H. Siekmann:
Proof planning with multiple strategies. Artif. Intell. 172(6-7): 656-684 (2008) - 2007
- [j14]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): 286-308 (2007) - 2006
- [j13]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): 405-423 (2006) - 2004
- [j12]Jürgen Zimmer, Erica Melis:
Constraint Solving for Proof Planning. J. Autom. Reason. 33(1): 51-88 (2004) - [j11]Peter Baumgartner, Barbara L. Grabowski, Walter Oevel, Erica Melis:
In2Math - Interaktive Mathematik- und Informatikgrundausbildung. Softwaretechnik-Trends 24(1) (2004) - 2003
- [j10]Erica Melis, Jochen Büdenbender, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich:
Knowledge Representation and Management in ACTIVEMATH. Ann. Math. Artif. Intell. 38(1-3): 47-64 (2003) - [j9]Erica Melis, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich:
Wissensmodellierung und -nutzung in ActiveMath. Künstliche Intell. 17(1): 12- (2003) - 1999
- [j8]Erica Melis, Jörg H. Siekmann:
Knowledge-Based Proof Planning. Artif. Intell. 115(1): 65-105 (1999) - [j7]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:
L<Omega>UI: Lovely <Omega>MEGA User Interface. Formal Aspects Comput. 11(3): 326-342 (1999) - [j6]Erica Melis, Jon Whittle:
Analogy in Inductive Theorem Proving. J. Autom. Reason. 22(2): 117-147 (1999) - 1998
- [j5]Erica Melis:
The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe. J. Autom. Reason. 20(3): 255-282 (1998) - [j4]Jörg H. Siekmann, Michael Kohlhase, Erica Melis:
<Omega>MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft 7(3): 101-105 (1998) - 1997
- [j3]Erica Melis:
Beweisen durch Analogie. Kognitionswissenschaft 6(3): 115-126 (1997) - 1996
- [j2]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): 20-26 (1996) - 1992
- [j1]Erica Melis:
KI und Logik (Projektübersicht). Künstliche Intell. 6(3): 75-78 (1992)
Conference and Workshop Papers
- 2011
- [c73]Anja Eichelmann, Lenka Schnaubert, George Goguadze, Susanne Narciss, Erica Melis:
Design und Evaluation von interaktiven webbasierten Bruchrechenaufgaben. DeLFI 2011: 31-42 - [c72]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: 370-383 - 2010
- [c71]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 - [c70]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: 357-373 - [c69]Dominik Jednoralski, Erica Melis, Sergey A. Sosnovsky, Carsten Ullrich:
Gap Detection in Web-Based Adaptive Educational Systems. ICWL 2010: 111-120 - [c68]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: 120-128 - [c67]Erica Melis, Arndt Faulhaber, Ahmad Salim Doost, Carsten Ullrich:
Supporting Flexible Competency Frameworks. ICWL 2010: 210-219 - [c66]Dimitra Tsovaltzi, Bruce M. McLaren, Erica Melis, Ann-Kristin Meyer, Michael Dietrich, George Goguadze:
Learning from Erroneous Examples. Intelligent Tutoring Systems (2) 2010: 420-422 - [c65]Ahmad Salim Doost, Erica Melis:
Student Model Adjustment Through Random-Restart Hill Climbing. LWA 2010: 289-294 - 2009
- [c64]Erica Melis, Dieter Kriesell:
Effects of Erroneous Examples - Results of a Preliminary School Experiment. AIED 2009: 578-580 - [c63]George Goguadze, Erica Melis:
Combining Evaluative and Generative Diagnosis in ACTIVEMATH. AIED 2009: 668-670 - [c62]Carsten Ullrich, Tianxiang Lu, Erica Melis:
A New Framework for Dynamic Adaptations and Actions. EC-TEL 2009: 67-72 - [c61]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: 688-693 - [c60]Carsten Ullrich, Tianxiang Lu, Erica Melis:
Just-in-Time Adaptivity through Dynamic Items. UMAP 2009: 373-378 - 2008
- [c59]Arndt Faulhaber, Erica Melis:
An Efficient Student Model Based on Student Performance and Metadata. ECAI 2008: 276-280 - [c58]Erica Melis, Bruce M. McLaren, Silvana Solomon:
Towards Accessing Disparate Educational Data in a Single, Unified Manner. EC-TEL 2008: 280-283 - [c57]Erica Melis, Arndt Faulhaber, Anja Eichelmann, Susanne Narciss:
Interoperable Competencies Characterizing Learning Objects in Mathematics. Intelligent Tutoring Systems 2008: 416-425 - [c56]Georgi Goguadze, Erica Melis:
One Exercise - Various Tutorial Strategies. Intelligent Tutoring Systems 2008: 755-757 - 2006
- [c55]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: 45-58 - [c54]Philipp Kärger, Carsten Ullrich, Erica Melis:
Integrating Learning Object Repositories Using a Mediator Architecture. EC-TEL 2006: 185-197 - [c53]Erica Melis, Jeff Haywood, Tim J. Smith:
LeActiveMath. EC-TEL 2006: 660-666 - [c52]Philipp Kärger, Erica Melis, Carsten Ullrich:
Querying Heterogeneous and Distributed Learning Object Repositories via Ontology-Based Mediation. ICALT 2006: 845-846 - [c51]Paul Libbrecht, Erica Melis:
Methods to Access and Retrieve Mathematical Content in ActiveMath. ICMS 2006: 331-342 - [c50]Christopher A. Brooks, Jim E. Greer, Erica Melis, Carsten Ullrich:
Combining ITS and eLearning Technologies: Opportunities and Challenges. Intelligent Tutoring Systems 2006: 278-287 - 2005
- [c49]Erica Melis:
Design of Erroneous Examples for ACTIVEMATH. AIED 2005: 451-458 - [c48]Erica Melis:
Why Proof Planning for Maths Education and How?. Mechanizing Mathematical Reasoning 2005: 364-378 - [c47]Erica Melis, Jörg H. Siekmann:
e-Learning Logic and Mathematics: What We Have and What We Need. We Will Show Them! (2) 2005: 639-662 - [c46]Andreas Meier, Erica Melis:
System Description: Multi A Multi-strategy Proof Planner. CADE 2005: 250-254 - [c45]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: 36-44 - [c44]Erica Melis, Philipp Kärger, Martin Homik:
Interactive Concept Mapping in ActiveMath. DeLFI 2005: 247-258 - [c43]Erica Melis:
Choice of Feedback Strategies. CELDA 2005: 183-189 - [c42]Georgi Goguadze, Alberto González Palomo, Erica Melis:
Interactivity of Exercises in ActiveMath. ICCE 2005: 109-115 - [c41]Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, Erica Melis:
Authoring Presentation for OpenMath. MKM 2005: 33-48 - [c40]Andreas Meier, Erica Melis:
Impasse-Driven Reasoning in Proof Planning. MKM 2005: 143-158 - 2004
- [c39]Erica Melis, Carsten Ullrich:
Gender-Biased Adaptations in Educational Adaptive Hypermedia. AH 2004: 425-428 - [c38]Erica Melis:
Erroneous Examples as a Source of Learning in Mathematics. CELDA 2004: 311-318 - [c37]Erica Melis, Jörg H. Siekmann:
ActiveMath: An Intelligent Tutoring System for Mathematics. ICAISC 2004: 91-101 - [c36]Erica Melis, Georgi Goguadze:
Towards Adaptive Generation of Faded Examples. Intelligent Tutoring Systems 2004: 762-771 - [c35]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: 912 - [c34]Erica Melis, Andreas Meier, Martin Pollet:
Adaptive Access to a Proof Planner. MKM 2004: 251-264 - [c33]Andreas Meier, Erica Melis:
Failure Reasoning in Multiple-Strategy Proof Planning. STRATEGIES@IJCAR 2004: 67-90 - 2003
- [c32]Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul A. Cairns:
Problems and Solutions for Markup for Mathematical Examples and Exercises. MKM 2003: 80-92 - [c31]Andreas Meier, Erica Melis, Martin Pollet:
Adaptable Mixed-Initiative Proof Planning for Educational Interaction. UITP@TPHOLs 2003: 105-120 - 2002
- [c30]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: 144-149 - [c29]Jochen Büdenbender, Adrian Frischauf, Georgi Goguadze, Erica Melis, Paul Libbrecht, Carsten Ullrich:
Using Computer Algebra Systems as Cognitive Tools. Intelligent Tutoring Systems 2002: 802-810 - [c28]Erica Melis, Jochen Büdenbender, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich:
Semantics for Web-Based Mathematical Education Systems. Semantic Web Workshop 2002 - [c27]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: 82-117 - 2000
- [c26]Erica Melis, Jörg H. Siekmann:
Concepts in Proof Planning. Intellectics and Computational Logic 2000: 263-276 - [c25]Erica Melis:
Workshop: Automated Deduction in Education. CADE 2000: 516 - [c24]Erica Melis, Andreas Meier:
Proof Planning with Multiple Strategies. Computational Logic 2000: 644-659 - [c23]Erica Melis, Jürgen Zimmer, Tobias Müller:
Extensions of Constraint Solving for Proof Planning. ECAI 2000: 229-233 - [c22]Erica Melis, Jürgen Zimmer, Tobias Müller:
Integrating Constraint Solving into Proof Planning. FroCoS 2000: 32-46 - 1999
- [c21]Erica Melis, Carsten Ullrich:
Flexibly Interleaving Processes. ICCBR 1999: 263-275 - [c20]Erica Melis, Volker Sorge:
Employing external reasoners in proof planning. Calculemus 1999: 440-450 - 1998
- [c19]Alessandro Armando, Erica Melis, Silvio Ranise:
Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. AIMSA 1998: 28-38 - [c18]Erica Melis:
The "Limit" Domain. AIPS 1998: 199-207 - [c17]Erica Melis:
AI-Techniques in Proof Planning. ECAI 1998: 494-498 - [c16]Erica Melis, Axel Schairer:
Similarities and Reuse of Proofs in Formal Software Verification. EWCBR 1998: 76-87 - [c15]Erica Melis, Jean Lieber, Amedeo Napoli:
Reformulation in Case-Based Reasoning. EWCBR 1998: 172-183 - [c14]Ralph Bergmann, Hector Muñoz-Avila, Manuela M. Veloso, Erica Melis:
CBR Applied to Planning. Case-Based Reasoning Technology 1998: 169-200 - 1997
- [c13]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: 252-255 - [c12]Erica Melis:
Solution-Relevant Abstractions Constrain Retrieval and Adaptation. ICCBR 1997: 383-392 - [c11]Erica Melis, Jon Whittle:
External Analogy in Inductive Theorem Proving. KI 1997: 111-122 - 1996
- [c10]Erica Melis, Jon Whittle:
Internal Analogy in Theorem Proving. CADE 1996: 92-105 - [c9]Manfred Kerber, Erica Melis:
Two Kinds of Non-Monotonic Analogical Inference. FAPR 1996: 361-374 - [c8]Erica Melis:
When to Prove Theorems by Analogy? KI 1996: 259-271 - 1995
- [c7]Erica Melis:
Theorem Proving by Analogy - A Compelling Example. EPIA 1995: 261-272 - [c6]Erica Melis:
A Model of Analogy-Driven Proof-Plan Construction. IJCAI 1995: 182-189 - [c5]Manfred Kerber, Erica Melis:
Using Exemplary Knowledge for Justified Analogical Reasoning. WOCFAI 1995: 157-168 - 1994
- [c4]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: 788-792 - [c3]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: 807-810 - 1992
- [c2]Dietmar Janetzko, Stefan Wess, Erica Melis:
Goal-Driven Similarity Assessment. GWAI 1992: 283-298 - 1986
- [c1]Ch. Melis, Erica Melis:
Some Considerations About Formalization of Analogical Reasoning. AII 1986: 125-134
Parts in Books or Collections
- 2009
- [p1]Erica Melis, Giorgi Goguadze, Paul Libbrecht, Carsten Ullrich:
ACTIVEMATH - a Learning Platform With Semantic Web Features. Semantic Web Technologies for e-Learning 2009: 159-177
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-11-22 05:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
