Erica Melis

Anja Eichelmann, Lenka Schnaubert, George Goguadze, Susanne Narciss, Erica Melis: Design und Evaluation von interaktiven webbasierten Bruchrechenaufgaben. DeLFI 2011: 31-42

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

Carsten Ullrich, Erica Melis: Complex Course Generation Adapted to Pedagogical Scenarios and its Evaluation. Educational Technology & Society 13(2): 102-115 (2010)

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

Dominik Jednoralski, Erica Melis, Sergey A. Sosnovsky, Carsten Ullrich: Gap Detection in Web-Based Adaptive Educational Systems. ICWL 2010: 111-120

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

Erica Melis, Arndt Faulhaber, Ahmad Salim Doost, Carsten Ullrich: Supporting Flexible Competency Frameworks. ICWL 2010: 210-219

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

Erica Melis, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich: Culturally adapted mathematics education with ActiveMath. AI Soc. 24(3): 251-265 (2009)

Carsten Ullrich, Erica Melis: Pedagogically founded courseware generation based on HTN-planning. Expert Syst. Appl. 36(5): 9319-9332 (2009)

Erica Melis, Dieter Kriesell: Effects of Erroneous Examples - Results of a Preliminary School Experiment. AIED 2009: 578-580

George Goguadze, Erica Melis: Combining Evaluative and Generative Diagnosis in ACTIVEMATH. AIED 2009: 668-670

Carsten Ullrich, Tianxiang Lu, Erica Melis: A New Framework for Dynamic Adaptations and Actions. EC-TEL 2009: 67-72

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

Carsten Ullrich, Tianxiang Lu, Erica Melis: Just-in-Time Adaptivity through Dynamic Items. UMAP 2009: 373-378

Erica Melis, Andreas Meier, Jörg H. Siekmann: Proof planning with multiple strategies. Artif. Intell. 172(6-7): 656-684 (2008)

Arndt Faulhaber, Erica Melis: An Efficient Student Model Based on Student Performance and Metadata. ECAI 2008: 276-280

Erica Melis, Bruce M. McLaren, Silvana Solomon: Towards Accessing Disparate Educational Data in a Single, Unified Manner. EC-TEL 2008: 280-283

Erica Melis, Arndt Faulhaber, Anja Eichelmann, Susanne Narciss: Interoperable Competencies Characterizing Learning Objects in Mathematics. Intelligent Tutoring Systems 2008: 416-425

Georgi Goguadze, Erica Melis: One Exercise - Various Tutorial Strategies. Intelligent Tutoring Systems 2008: 755-757

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 Stewart, David Smits, Natalia Stash, Colin Tattersall: Specification, authoring and prototyping of personalised workplace learning solutions. IJLT 3(3): 286-308 (2007)

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

Philipp Kärger, Carsten Ullrich, Erica Melis: Integrating Learning Object Repositories Using a Mediator Architecture. EC-TEL 2006: 185-197

Erica Melis, Jeff Haywood, Tim J. Smith: LeActiveMath. EC-TEL 2006: 660-666

Philipp Kärger, Erica Melis, Carsten Ullrich: Querying Heterogeneous and Distributed Learning Object Repositories via Ontology-Based Mediation. ICALT 2006: 845-846

Paul Libbrecht, Erica Melis: Methods to Access and Retrieve Mathematical Content in ActiveMath. ICMS 2006: 331-342

Christopher A. Brooks, Jim E. Greer, Erica Melis, Carsten Ullrich: Combining ITS and eLearning Technologies: Opportunities and Challenges. Intelligent Tutoring Systems 2006: 278-287

Andreas Meier, Erica Melis: Failure Reasoning in Multiple-Strategy Proof Planning. Electr. Notes Theor. Comput. Sci. 125(2): 67-90 (2005)

Erica Melis: Design of Erroneous Examples for ACTIVEMATH. AIED 2005: 451-458

Erica Melis: Why Proof Planning for Maths Education and How?. Mechanizing Mathematical Reasoning 2005: 364-378

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

Andreas Meier, Erica Melis: System Description: Multi A Multi-strategy Proof Planner. CADE 2005: 250-254

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

Erica Melis, Philipp Kärger, Martin Homik: Interactive Concept Mapping in ActiveMath. DeLFI 2005: 247-258

Erica Melis: Choice of Feedback Strategies. CELDA 2005: 183-189

Georgi Goguadze, Alberto González Palomo, Erica Melis: Interactivity of Exercises in ActiveMath. ICCE 2005: 109-115

Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, Erica Melis: Authoring Presentation for OpenMath. MKM 2005: 33-48

Andreas Meier, Erica Melis: Impasse-Driven Reasoning in Proof Planning. MKM 2005: 143-158

Andreas Meier, Erica Melis, Martin Pollet: Adaptable Mixed-Initiative Proof Planning for Educational Interaction. Electr. Notes Theor. Comput. Sci. 103: 105-120 (2004)

Jürgen Zimmer, Erica Melis: Constraint Solving for Proof Planning. J. Autom. Reasoning 33(1): 51-88 (2004)

Peter Baumgartner, Barbara L. Grabowski, Walter Oevel, Erica Melis: In2Math - Interaktive Mathematik- und Informatikgrundausbildung. Softwaretechnik-Trends 24(1) (2004)

Erica Melis, Carsten Ullrich: Gender-Biased Adaptations in Educational Adaptive Hypermedia. AH 2004: 425-428

Erica Melis: Erroneous Examples as a Source of Learning in Mathematics. CELDA 2004: 311-318

Erica Melis, Jörg H. Siekmann: ActiveMath: An Intelligent Tutoring System for Mathematics. ICAISC 2004: 91-101

Erica Melis, Georgi Goguadze: Towards Adaptive Generation of Faded Examples. Intelligent Tutoring Systems 2004: 762-771

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

Erica Melis, Andreas Meier, Martin Pollet: Adaptive Access to a Proof Planner. MKM 2004: 251-264

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)

Erica Melis, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich: Wissensmodellierung und -nutzung in ActiveMath. KI 17(1): 12- (2003)

Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul A. Cairns: Problems and Solutions for Markup for Mathematical Examples and Exercises. MKM 2003: 80-92

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

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

Erica Melis, Jochen Büdenbender, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich: Semantics for Web-Based Mathematical Education Systems. Semantic Web Workshop 2002

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

Erica Melis, Jörg H. Siekmann: Concepts in Proof Planning. Intellectics and Computational Logic 2000: 263-276

Erica Melis: Workshop: Automated Deduction in Education. CADE 2000: 516

Erica Melis, Andreas Meier: Proof Planning with Multiple Strategies. Computational Logic 2000: 644-659

Erica Melis, Jürgen Zimmer, Tobias Müller: Extensions of Constraint Solving for Proof Planning. ECAI 2000: 229-233

Erica Melis, Jürgen Zimmer, Tobias Müller: Integrating Constraint Solving into Proof Planning. FroCoS 2000: 32-46

Erica Melis, Jörg H. Siekmann: Knowledge-Based Proof Planning. Artif. Intell. 115(1): 65-105 (1999)

Erica Melis, Volker Sorge: Employing external reasoners in proof planning. Electr. Notes Theor. Comput. Sci. 23(3): 440-450 (1999)

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 Asp. Comput. 11(3): 326-342 (1999)

Erica Melis, Jon Whittle: Analogy in Inductive Theorem Proving. J. Autom. Reasoning 22(2): 117-147 (1999)

Erica Melis, Carsten Ullrich: Flexibly Interleaving Processes. ICCBR 1999: 263-275

Erica Melis: The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe. J. Autom. Reasoning 20(3): 255-282 (1998)

Jörg H. Siekmann, Michael Kohlhase, Erica Melis: <Omega>MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft 7(3): 101-105 (1998)

Alessandro Armando, Erica Melis, Silvio Ranise: Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. AIMSA 1998: 28-38

Erica Melis: The ``Limit'' Domain. AIPS 1998: 199-207

Erica Melis: AI-Techniques in Proof Planning. ECAI 1998: 494-498

Erica Melis, Axel Schairer: Similarities and Reuse of Proofs in Formal Software Verification. EWCBR 1998: 76-87

Erica Melis, Jean Lieber, Amedeo Napoli: Reformulation in Case-Based Reasoning. EWCBR 1998: 172-183

Ralph Bergmann, Hector Muñoz-Avila, Manuela M. Veloso, Erica Melis: CBR Applied to Planning. Case-Based Reasoning Technology 1998: 169-200

Erica Melis: Beweisen durch Analogie. Kognitionswissenschaft 6(3): 115-126 (1997)

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

Erica Melis: Solution-Relevant Abstractions Constrain Retrieval and Adaptation. ICCBR 1997: 383-392

Erica Melis, Jon Whittle: External Analogy in Inductive Theorem Proving. KI 1997: 111-122

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)

Erica Melis, Jon Whittle: Internal Analogy in Theorem Proving. CADE 1996: 92-105

Manfred Kerber, Erica Melis: Two Kinds of Non-Monotonic Analogical Inference. FAPR 1996: 361-374

Erica Melis: When to Prove Theorems by Analogy? KI 1996: 259-271

Erica Melis: Theorem Proving by Analogy - A Compelling Example. EPIA 1995: 261-272

Erica Melis: A Model of Analogy-Driven Proof-Plan Construction. IJCAI 1995: 182-189

Manfred Kerber, Erica Melis: Using Exemplary Knowledge for Justified Analogical Reasoning. WOCFAI 1995: 157-168

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

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

Erica Melis: KI und Logik (Projektübersicht). KI 6(3): 75-78 (1992)

Dietmar Janetzko, Stefan Wess, Erica Melis: Goal-Driven Similarity Assessment. GWAI 1992: 283-298

Ch. Melis, Erica Melis: Some Considerations About Formalization of Analogical Reasoning. AII 1986: 125-134