Erica Melis - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

Gap Detection in Web-Based Adaptive Educational SystemsDominik Jednoralski, Erica Melis, Sergey A. Sosnovsky, Carsten Ullrich. icwl 2010: 111-120 [doi]

Supporting Flexible Competency FrameworksErica Melis, Arndt Faulhaber, Ahmad Salim Doost, Carsten Ullrich. icwl 2010: 210-219 [doi]

Requirements of Chinese Teachers for Online Student Tracking and a Comparison to Their Western CounterpartsXiaohong Tan, Carsten Ullrich, Oliver Scheuer, Erica Melis, Ruimin Shen. icwl 2011: 120-128 [doi]

Learning from Erroneous Examples: When and How Do Students Benefit from Them?Dimitra Tsovaltzi, Erica Melis, Bruce M. McLaren, Ann-Kristin Meyer, Michael Dietrich, George Goguadze. ectel 2010: 357-373 [doi]

Learning from Erroneous ExamplesDimitra Tsovaltzi, Bruce M. McLaren, Erica Melis, Ann-Kristin Meyer, Michael Dietrich, George Goguadze. its 2010: 420-422 [doi]

2009

Combining Evaluative and Generative Diagnosis in ACTIVEMATHGeorge Goguadze, Erica Melis. aied 2009: 668-670 [doi]

Culturally adapted mathematics education with ActiveMathErica Melis, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich. ais, 24(3):251-265, 2009. [doi]

Effects of Erroneous Examples - Results of a Preliminary School ExperimentErica Melis, Dieter Kriesell. aied 2009: 578-580 [doi]

Erroneous Examples: A Preliminary Investigation into Learning BenefitsDimitra Tsovaltzi, Erica Melis, Bruce M. McLaren, Michael Dietrich, Georgi Goguadze, Ann-Kristin Meyer. ectel 2009: 688-693 [doi]

A New Framework for Dynamic Adaptations and ActionsCarsten Ullrich, Tianxiang Lu, Erica Melis. ectel 2009: 67-72 [doi]

Just-in-Time Adaptivity through Dynamic ItemsCarsten Ullrich, Tianxiang Lu, Erica Melis. um 2009: 373-378 [doi]

Pedagogically founded courseware generation based on HTN-planningCarsten Ullrich, Erica Melis. eswa, 36(5):9319-9332, 2009. [doi]

2008

2007

2006

2005

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

Authoring Presentation for OpenMathShahid Manzoor, Paul Libbrecht, Carsten Ullrich, Erica Melis. mkm 2005: 33-48 [doi]

Impasse-Driven Reasoning in Proof PlanningAndreas Meier, Erica Melis. mkm 2005: 143-158 [doi]

Failure Reasoning in Multiple-Strategy Proof PlanningAndreas Meier, Erica Melis. ENTCS, 125(2):67-90, 2005. [doi]

System Description: Multi A Multi-strategy Proof PlannerAndreas Meier, Erica Melis. cade 2005: 250-254 [doi]

Interactive Concept Mapping in ActiveMathErica Melis, Philipp Kärger, Martin Homik. delfi 2005: 247-258

Choice of Feedback StrategiesErica Melis. iadis 2005: 183-189

Why Proof Planning for Maths Education and How?Erica Melis. BIRTHDAY 2005: 364-378 [doi]

e-Learning Logic and Mathematics: What We Have and What We NeedErica Melis, Jörg H. Siekmann. BIRTHDAY 2005: 639-662

Design of Erroneous Examples for ACTIVEMATHErica Melis. aied 2005: 451-458

Challenges in Search and Usage of Multi-media Learning ObjectsErica Melis, Ruimin Shen, Jörg H. Siekmann, Carsten Ullrich, Fan Yang, Peng Han. cogsys 2007: 36-44 [doi]

2004

Adaptable Mixed-Initiative Proof Planning for Educational InteractionAndreas Meier, Erica Melis, Martin Pollet. ENTCS, 103:105-120, 2004. [doi]

Towards Adaptive Generation of Faded ExamplesErica Melis, Georgi Goguadze. its 2004: 762-771 [doi]

ActiveMath: An Intelligent Tutoring System for MathematicsErica Melis, Jörg H. Siekmann. icaisc 2004: 91-101 [doi]

Adaptive Access to a Proof PlannerErica Melis, Andreas Meier, Martin Pollet. mkm 2004: 251-264 [doi]

Gender-Biased Adaptations in Educational Adaptive HypermediaErica Melis, Carsten Ullrich. ah 2004: 425-428 [doi]

Erroneous Examples as a Source of Learning in MathematicsErica Melis. iadis 2004: 311-318

Constraint Solving for Proof PlanningJürgen Zimmer, Erica Melis. JAR, 33(1):51-88, 2004. [doi]

2003

2002

Using Computer Algebra Systems as Cognitive ToolsJochen Büdenbender, Adrian Frischauf, Georgi Goguadze, Erica Melis, Paul Libbrecht, Carsten Ullrich. its 2002: 802-810 [doi]

MultiMedia Instruction in Safe and Secure SystemsBernd 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. WADT 2003: 82-117 [doi]

Semantics for Web-Based Mathematical Education SystemsErica Melis, Jochen Büdenbender, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich. sww 2002: [doi]

2000

1999

1998

Constraint Solving in Logic Programming and in Automated Deduction: A ComparisonAlessandro Armando, Erica Melis, Silvio Ranise. aimsa 1998: 28-38 [doi]

CBR Applied to PlanningRalph Bergmann, Hector Muñoz-Avila, Manuela M. Veloso, Erica Melis. iccbr 1998: 169-200 [doi]

AI-Techniques in Proof PlanningErica Melis. ecai 1998: 494-498

The Heine-Borel Challenge Problem. In Honor of Woody BledsoeErica Melis. JAR, 20(3):255-282, 1998.

The Limit DomainErica Melis. aips 1998: 199-207

Similarities and Reuse of Proofs in Formal Software VerificationErica Melis, Axel Schairer. ewcbr 1998: 76-87 [doi]

Reformulation in Case-Based ReasoningErica Melis, Jean Lieber, Amedeo Napoli. ewcbr 1998: 172-183 [doi]

<Omega>MEGA: Ein mathematisches AssistenzsystemJörg H. Siekmann, Michael Kohlhase, Erica Melis. kognitionswissenschaft, 7(3):101-105, 1998. [doi]

1997

1996

1995

Using Exemplary Knowledge for Justified Analogical ReasoningManfred Kerber, Erica Melis. wocfai 1995: 157-168

Theorem Proving by Analogy - A Compelling ExampleErica Melis. epia 1995: 261-272

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

1994

KEIM: A Toolkit for Automated DeductionXiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann. cade 1994: 807-810

Omega-MKRP: A Proof Development EnvironmentXiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann. cade 1994: 788-792

1992

Goal-Driven Similarity AssessmentDietmar Janetzko, Stefan Wess, Erica Melis. ki 1993: 283-298

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

1986

Some Considerations About Formalization of Analogical ReasoningCh. Melis, Erica Melis. aii 1987: 125-134