|
Search the dblp DataBase
Erica Melis:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Erica Melis, Carsten Ullrich
Gender-Biased Adaptations in Educational Adaptive Hypermedia. [Citation Graph (0, 0)][DBLP] AH, 2004, pp:425-428 [Conf]
- Ch. Melis, Erica Melis
Some Considerations About Formalization of Analogical Reasoning. [Citation Graph (0, 0)][DBLP] AII, 1986, pp:125-134 [Conf]
- Alessandro Armando, Erica Melis, Silvio Ranise
Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. [Citation Graph (0, 0)][DBLP] AIMSA, 1998, pp:28-38 [Conf]
- Erica Melis
The ``Limit'' Domain. [Citation Graph (0, 0)][DBLP] AIPS, 1998, pp:199-207 [Conf]
- Erica Melis
Why Proof Planning for Maths Education and How?. [Citation Graph (0, 0)][DBLP] Mechanizing Mathematical Reasoning, 2005, pp:364-378 [Conf]
- Erica Melis, Jörg H. Siekmann
Concepts in Proof Planning. [Citation Graph (0, 0)][DBLP] Intellectics and Computational Logic, 2000, pp:263-276 [Conf]
- Erica Melis, Jörg H. Siekmann
e-Learning Logic and Mathematics: What We Have and What We Need. [Citation Graph (0, 0)][DBLP] We Will Show Them! (2), 2005, pp:639-662 [Conf]
- Erica Melis, Martin Pollet, Jörg H. Siekmann
Reductio ad Absurdum: Planning Proofs by Contradiction. [Citation Graph (0, 0)][DBLP] Reasoning, Action and Interaction in AI Theories and Systems, 2006, pp:45-58 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] CADE, 1997, pp:252-255 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] CADE, 2002, pp:144-149 [Conf]
- Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Omega-MKRP: A Proof Development Environment. [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:788-792 [Conf]
- Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
KEIM: A Toolkit for Automated Deduction. [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:807-810 [Conf]
- Andreas Meier, Erica Melis
System Description: Multi A Multi-strategy Proof Planner. [Citation Graph (0, 0)][DBLP] CADE, 2005, pp:250-254 [Conf]
- Erica Melis
Workshop: Automated Deduction in Education. [Citation Graph (0, 0)][DBLP] CADE, 2000, pp:516- [Conf]
- Erica Melis, Jon Whittle
Internal Analogy in Theorem Proving. [Citation Graph (0, 0)][DBLP] CADE, 1996, pp:92-105 [Conf]
- Erica Melis, Andreas Meier
Proof Planning with Multiple Strategies. [Citation Graph (0, 0)][DBLP] Computational Logic, 2000, pp:644-659 [Conf]
- Erica Melis, Philipp Kärger, Martin Homik
Interactive Concept Mapping in ActiveMath. [Citation Graph (0, 0)][DBLP] DeLFI, 2005, pp:247-258 [Conf]
- Erica Melis
AI-Techniques in Proof Planning. [Citation Graph (0, 0)][DBLP] ECAI, 1998, pp:494-498 [Conf]
- Erica Melis, Jürgen Zimmer, Tobias Müller
Extensions of Constraint Solving for Proof Planning. [Citation Graph (0, 0)][DBLP] ECAI, 2000, pp:229-233 [Conf]
- Philipp Kärger, Carsten Ullrich, Erica Melis
Integrating Learning Object Repositories Using a Mediator Architecture. [Citation Graph (0, 0)][DBLP] EC-TEL, 2006, pp:185-197 [Conf]
- Erica Melis, Jeff Haywood, Tim J. Smith
LeActiveMath. [Citation Graph (0, 0)][DBLP] EC-TEL, 2006, pp:660-666 [Conf]
- Erica Melis
Theorem Proving by Analogy - A Compelling Example. [Citation Graph (0, 0)][DBLP] EPIA, 1995, pp:261-272 [Conf]
- Erica Melis, Jean Lieber, Amedeo Napoli
Reformulation in Case-Based Reasoning. [Citation Graph (0, 0)][DBLP] EWCBR, 1998, pp:172-183 [Conf]
- Erica Melis, Axel Schairer
Similarities and Reuse of Proofs in Formal Software Verification. [Citation Graph (0, 0)][DBLP] EWCBR, 1998, pp:76-87 [Conf]
- Manfred Kerber, Erica Melis
Two Kinds of Non-Monotonic Analogical Inference. [Citation Graph (0, 0)][DBLP] FAPR, 1996, pp:361-374 [Conf]
- Erica Melis, Jürgen Zimmer, Tobias Müller
Integrating Constraint Solving into Proof Planning. [Citation Graph (0, 0)][DBLP] FroCos, 2000, pp:32-46 [Conf]
- Erica Melis
Erroneous Examples as a Source of Learning in Mathematics. [Citation Graph (0, 0)][DBLP] CELDA, 2004, pp:311-318 [Conf]
- Erica Melis
Choice of Feedback Strategies. [Citation Graph (0, 0)][DBLP] CELDA, 2005, pp:183-189 [Conf]
- Erica Melis, Jörg H. Siekmann
ActiveMath: An Intelligent Tutoring System for Mathematics. [Citation Graph (0, 0)][DBLP] ICAISC, 2004, pp:91-101 [Conf]
- Philipp Kärger, Erica Melis, Carsten Ullrich
Querying Heterogeneous and Distributed Learning Object Repositories via Ontology-Based Mediation. [Citation Graph (0, 0)][DBLP] ICALT, 2006, pp:845-846 [Conf]
- Ralph Bergmann, Hector Muñoz-Avila, Manuela M. Veloso, Erica Melis
CBR Applied to Planning. [Citation Graph (0, 0)][DBLP] Case-Based Reasoning Technology, 1998, pp:169-200 [Conf]
- Erica Melis
Solution-Relevant Abstractions Constrain Retrieval and Adaptation. [Citation Graph (0, 0)][DBLP] ICCBR, 1997, pp:383-392 [Conf]
- Erica Melis, Carsten Ullrich
Flexibly Interleaving Processes. [Citation Graph (0, 0)][DBLP] ICCBR, 1999, pp:263-275 [Conf]
- Paul Libbrecht, Erica Melis
Methods to Access and Retrieve Mathematical Content in ActiveMath. [Citation Graph (0, 0)][DBLP] ICMS, 2006, pp:331-342 [Conf]
- Erica Melis
A Model of Analogy-Driven Proof-Plan Construction. [Citation Graph (0, 0)][DBLP] IJCAI, 1995, pp:182-189 [Conf]
- Christopher A. Brooks, Jim E. Greer, Erica Melis, Carsten Ullrich
Combining ITS and eLearning Technologies: Opportunities and Challenges. [Citation Graph (0, 0)][DBLP] Intelligent Tutoring Systems, 2006, pp:278-287 [Conf]
- Jochen Büdenbender, Adrian Frischauf, Georgi Goguadze, Erica Melis, Paul Libbrecht, Carsten Ullrich
Using Computer Algebra Systems as Cognitive Tools. [Citation Graph (0, 0)][DBLP] Intelligent Tutoring Systems, 2002, pp:802-810 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Intelligent Tutoring Systems, 2004, pp:912- [Conf]
- Erica Melis, Georgi Goguadze
Towards Adaptive Generation of Faded Examples. [Citation Graph (0, 0)][DBLP] Intelligent Tutoring Systems, 2004, pp:762-771 [Conf]
- Dietmar Janetzko, Stefan Wess, Erica Melis
Goal-Driven Similarity Assessment. [Citation Graph (0, 0)][DBLP] GWAI, 1992, pp:283-298 [Conf]
- Erica Melis
When to Prove Theorems by Analogy? [Citation Graph (0, 0)][DBLP] KI, 1996, pp:259-271 [Conf]
- Erica Melis, Jon Whittle
External Analogy in Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP] KI, 1997, pp:111-122 [Conf]
- Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul A. Cairns
Problems and Solutions for Markup for Mathematical Examples and Exercises. [Citation Graph (0, 0)][DBLP] MKM, 2003, pp:80-92 [Conf]
- Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, Erica Melis
Authoring Presentation for OpenMath. [Citation Graph (0, 0)][DBLP] MKM, 2005, pp:33-48 [Conf]
- Andreas Meier, Erica Melis
Impasse-Driven Reasoning in Proof Planning. [Citation Graph (0, 0)][DBLP] MKM, 2005, pp:143-158 [Conf]
- Erica Melis, Andreas Meier, Martin Pollet
Adaptive Access to a Proof Planner. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:251-264 [Conf]
- Erica Melis, Jochen Büdenbender, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich
Semantics for Web-Based Mathematical Education Systems. [Citation Graph (0, 0)][DBLP] Semantic Web Workshop, 2002, pp:- [Conf]
- 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. [Citation Graph (0, 0)][DBLP] WADT, 2002, pp:82-117 [Conf]
- Manfred Kerber, Erica Melis
Using Exemplary Knowledge for Justified Analogical Reasoning. [Citation Graph (0, 0)][DBLP] WOCFAI, 1995, pp:157-168 [Conf]
- Erica Melis, Ruimin Shen, Jörg H. Siekmann, Carsten Ullrich, Fan Yang, Peng Han
Challenges in Search and Usage of Multi-media Learning Objects. [Citation Graph (0, 0)][DBLP] Cognitive Systems, 2005, pp:36-44 [Conf]
- Erica Melis, Jörg H. Siekmann
Knowledge-Based Proof Planning. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1999, v:115, n:1, pp:65-105 [Journal]
- Erica Melis, Jochen Büdenbender, George Goguadze, Paul Libbrecht, Carsten Ullrich
Knowledge Representation and Management in ACTIVEMATH. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:47-64 [Journal]
- Andreas Meier, Erica Melis
Failure Reasoning in Multiple-Strategy Proof Planning. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:125, n:2, pp:67-90 [Journal]
- Andreas Meier, Erica Melis, Martin Pollet
Adaptable Mixed-Initiative Proof Planning for Educational Interaction. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:105-120 [Journal]
- Erica Melis, Volker Sorge
Employing external reasoners in proof planning. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1999, v:11, n:3, pp:326-342 [Journal]
- Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Die Beweisentwicklungsumgebung Omega-MKRP. [Citation Graph (0, 0)][DBLP] Inform., Forsch. Entwickl., 1996, v:11, n:1, pp:20-26 [Journal]
- Erica Melis
The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1998, v:20, n:3, pp:255-282 [Journal]
- Erica Melis, Jon Whittle
Analogy in Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1999, v:22, n:2, pp:117-147 [Journal]
- Jürgen Zimmer, Erica Melis
Constraint Solving for Proof Planning. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2004, v:33, n:1, pp:51-88 [Journal]
- Erica Melis
KI und Logik (Projektübersicht). [Citation Graph (0, 0)][DBLP] KI, 1992, v:6, n:3, pp:75-78 [Journal]
- Erica Melis, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich
Wissensmodellierung und -nutzung in ActiveMath. [Citation Graph (0, 0)][DBLP] KI, 2003, v:17, n:1, pp:12-0 [Journal]
- Erica Melis
Beweisen durch Analogie. [Citation Graph (0, 0)][DBLP] Kognitionswissenschaft, 1997, v:6, n:3, pp:115-126 [Journal]
- Jörg H. Siekmann, Michael Kohlhase, Erica Melis
<Omega>MEGA: Ein mathematisches Assistenzsystem. [Citation Graph (0, 0)][DBLP] Kognitionswissenschaft, 1998, v:7, n:3, pp:101-105 [Journal]
Design of Erroneous Examples for ACTIVEMATH. [Citation Graph (, )][DBLP]
Effects of Erroneous Examples - Results of a Preliminary School Experiment. [Citation Graph (, )][DBLP]
Combining Evaluative and Generative Diagnosis in ACTIVEMATH. [Citation Graph (, )][DBLP]
An Efficient Student Model Based on Student Performance and Metadata. [Citation Graph (, )][DBLP]
Towards Accessing Disparate Educational Data in a Single, Unified Manner. [Citation Graph (, )][DBLP]
A New Framework for Dynamic Adaptations and Actions. [Citation Graph (, )][DBLP]
Erroneous Examples: A Preliminary Investigation into Learning Benefits. [Citation Graph (, )][DBLP]
Learning from Erroneous Examples: When and How Do Students Benefit from Them? [Citation Graph (, )][DBLP]
Interactivity of Exercises in ActiveMath. [Citation Graph (, )][DBLP]
Interoperable Competencies Characterizing Learning Objects in Mathematics. [Citation Graph (, )][DBLP]
One Exercise - Various Tutorial Strategies. [Citation Graph (, )][DBLP]
Learning from Erroneous Examples. [Citation Graph (, )][DBLP]
Just-in-Time Adaptivity through Dynamic Items. [Citation Graph (, )][DBLP]
Proof planning with multiple strategies. [Citation Graph (, )][DBLP]
Culturally adapted mathematics education with ActiveMath. [Citation Graph (, )][DBLP]
Search in 0.007secs, Finished in 0.011secs
|