The SCEAS System
Navigation Menu

Search the dblp DataBase


Erica Melis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Erica Melis, Carsten Ullrich
    Gender-Biased Adaptations in Educational Adaptive Hypermedia. [Citation Graph (0, 0)][DBLP]
    AH, 2004, pp:425-428 [Conf]
  2. Ch. Melis, Erica Melis
    Some Considerations About Formalization of Analogical Reasoning. [Citation Graph (0, 0)][DBLP]
    AII, 1986, pp:125-134 [Conf]
  3. 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]
  4. Erica Melis
    The ``Limit'' Domain. [Citation Graph (0, 0)][DBLP]
    AIPS, 1998, pp:199-207 [Conf]
  5. Erica Melis
    Why Proof Planning for Maths Education and How?. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:364-378 [Conf]
  6. Erica Melis, Jörg H. Siekmann
    Concepts in Proof Planning. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:263-276 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. Andreas Meier, Erica Melis
    System Description: Multi A Multi-strategy Proof Planner. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:250-254 [Conf]
  14. Erica Melis
    Workshop: Automated Deduction in Education. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:516- [Conf]
  15. Erica Melis, Jon Whittle
    Internal Analogy in Theorem Proving. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:92-105 [Conf]
  16. Erica Melis, Andreas Meier
    Proof Planning with Multiple Strategies. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:644-659 [Conf]
  17. Erica Melis, Philipp Kärger, Martin Homik
    Interactive Concept Mapping in ActiveMath. [Citation Graph (0, 0)][DBLP]
    DeLFI, 2005, pp:247-258 [Conf]
  18. Erica Melis
    AI-Techniques in Proof Planning. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:494-498 [Conf]
  19. 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]
  20. 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]
  21. Erica Melis, Jeff Haywood, Tim J. Smith
    LeActiveMath. [Citation Graph (0, 0)][DBLP]
    EC-TEL, 2006, pp:660-666 [Conf]
  22. Erica Melis
    Theorem Proving by Analogy - A Compelling Example. [Citation Graph (0, 0)][DBLP]
    EPIA, 1995, pp:261-272 [Conf]
  23. Erica Melis, Jean Lieber, Amedeo Napoli
    Reformulation in Case-Based Reasoning. [Citation Graph (0, 0)][DBLP]
    EWCBR, 1998, pp:172-183 [Conf]
  24. Erica Melis, Axel Schairer
    Similarities and Reuse of Proofs in Formal Software Verification. [Citation Graph (0, 0)][DBLP]
    EWCBR, 1998, pp:76-87 [Conf]
  25. Manfred Kerber, Erica Melis
    Two Kinds of Non-Monotonic Analogical Inference. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:361-374 [Conf]
  26. 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]
  27. Erica Melis
    Erroneous Examples as a Source of Learning in Mathematics. [Citation Graph (0, 0)][DBLP]
    CELDA, 2004, pp:311-318 [Conf]
  28. Erica Melis
    Choice of Feedback Strategies. [Citation Graph (0, 0)][DBLP]
    CELDA, 2005, pp:183-189 [Conf]
  29. Erica Melis, Jörg H. Siekmann
    ActiveMath: An Intelligent Tutoring System for Mathematics. [Citation Graph (0, 0)][DBLP]
    ICAISC, 2004, pp:91-101 [Conf]
  30. 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]
  31. 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]
  32. Erica Melis
    Solution-Relevant Abstractions Constrain Retrieval and Adaptation. [Citation Graph (0, 0)][DBLP]
    ICCBR, 1997, pp:383-392 [Conf]
  33. Erica Melis, Carsten Ullrich
    Flexibly Interleaving Processes. [Citation Graph (0, 0)][DBLP]
    ICCBR, 1999, pp:263-275 [Conf]
  34. Paul Libbrecht, Erica Melis
    Methods to Access and Retrieve Mathematical Content in ActiveMath. [Citation Graph (0, 0)][DBLP]
    ICMS, 2006, pp:331-342 [Conf]
  35. Erica Melis
    A Model of Analogy-Driven Proof-Plan Construction. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:182-189 [Conf]
  36. 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]
  37. 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]
  38. 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]
  39. Erica Melis, Georgi Goguadze
    Towards Adaptive Generation of Faded Examples. [Citation Graph (0, 0)][DBLP]
    Intelligent Tutoring Systems, 2004, pp:762-771 [Conf]
  40. Dietmar Janetzko, Stefan Wess, Erica Melis
    Goal-Driven Similarity Assessment. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:283-298 [Conf]
  41. Erica Melis
    When to Prove Theorems by Analogy? [Citation Graph (0, 0)][DBLP]
    KI, 1996, pp:259-271 [Conf]
  42. Erica Melis, Jon Whittle
    External Analogy in Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:111-122 [Conf]
  43. 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]
  44. Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, Erica Melis
    Authoring Presentation for OpenMath. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:33-48 [Conf]
  45. Andreas Meier, Erica Melis
    Impasse-Driven Reasoning in Proof Planning. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:143-158 [Conf]
  46. Erica Melis, Andreas Meier, Martin Pollet
    Adaptive Access to a Proof Planner. [Citation Graph (0, 0)][DBLP]
    MKM, 2004, pp:251-264 [Conf]
  47. 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]
  48. 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]
  49. Manfred Kerber, Erica Melis
    Using Exemplary Knowledge for Justified Analogical Reasoning. [Citation Graph (0, 0)][DBLP]
    WOCFAI, 1995, pp:157-168 [Conf]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. Erica Melis
    KI und Logik (Projektübersicht). [Citation Graph (0, 0)][DBLP]
    KI, 1992, v:6, n:3, pp:75-78 [Journal]
  62. 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]
  63. Erica Melis
    Beweisen durch Analogie. [Citation Graph (0, 0)][DBLP]
    Kognitionswissenschaft, 1997, v:6, n:3, pp:115-126 [Journal]
  64. 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]

  65. Design of Erroneous Examples for ACTIVEMATH. [Citation Graph (, )][DBLP]

  66. Effects of Erroneous Examples - Results of a Preliminary School Experiment. [Citation Graph (, )][DBLP]

  67. Combining Evaluative and Generative Diagnosis in ACTIVEMATH. [Citation Graph (, )][DBLP]

  68. An Efficient Student Model Based on Student Performance and Metadata. [Citation Graph (, )][DBLP]

  69. Towards Accessing Disparate Educational Data in a Single, Unified Manner. [Citation Graph (, )][DBLP]

  70. A New Framework for Dynamic Adaptations and Actions. [Citation Graph (, )][DBLP]

  71. Erroneous Examples: A Preliminary Investigation into Learning Benefits. [Citation Graph (, )][DBLP]

  72. Learning from Erroneous Examples: When and How Do Students Benefit from Them? [Citation Graph (, )][DBLP]

  73. Interactivity of Exercises in ActiveMath. [Citation Graph (, )][DBLP]

  74. Interoperable Competencies Characterizing Learning Objects in Mathematics. [Citation Graph (, )][DBLP]

  75. One Exercise - Various Tutorial Strategies. [Citation Graph (, )][DBLP]

  76. Learning from Erroneous Examples. [Citation Graph (, )][DBLP]

  77. Just-in-Time Adaptivity through Dynamic Items. [Citation Graph (, )][DBLP]

  78. Proof planning with multiple strategies. [Citation Graph (, )][DBLP]

  79. Culturally adapted mathematics education with ActiveMath. [Citation Graph (, )][DBLP]

Search in 0.007secs, Finished in 0.011secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002