Erica Melis

According to our database1, Erica Melis authored at least 92 papers between 1986 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2014
Exploring feedback and student characteristics relevant for personalizing feedback strategies.
Computers & Education, 2014

2011
Student Behavior in Error-Correction-Tasks and Its Relation to Perception of Competence.
Proceedings of the Towards Ubiquitous Learning, 2011

Design und Evaluation von interaktiven webbasierten Bruchrechenaufgaben.
Proceedings of the DeLFI 2011, 2011

2010
Complex Course Generation Adapted to Pedagogical Scenarios and its Evaluation.
Educational Technology & Society, 2010

Student Model Adjustment Through Random-Restart Hill Climbing.
Proceedings of the LWA 2010, 2010

Learning from Erroneous Examples.
Proceedings of the Intelligent Tutoring Systems, 10th International Conference, 2010

Requirements of Chinese Teachers for Online Student Tracking and a Comparison to Their Western Counterparts.
Proceedings of the New Horizons in Web-Based Learning - ICWL 2010 Workshops, 2010

Supporting Flexible Competency Frameworks.
Proceedings of the Advances in Web-Based Learning - ICWL 2010, 2010

Gap Detection in Web-Based Adaptive Educational Systems.
Proceedings of the Advances in Web-Based Learning - ICWL 2010, 2010

Learning from Erroneous Examples: When and How Do Students Benefit from Them?
Proceedings of the Sustaining TEL: From Innovation to Learning and Practice, 2010

How to Support Meta-Cognitive Skills for Finding and Correcting Errors?
Proceedings of the Cognitive and Metacognitive Educational Systems, 2010

2009
Pedagogically founded courseware generation based on HTN-planning.
Expert Syst. Appl., 2009

Culturally adapted mathematics education with ActiveMath.
AI Soc., 2009

Just-in-Time Adaptivity through Dynamic Items.
Proceedings of the User Modeling, 2009

A New Framework for Dynamic Adaptations and Actions.
Proceedings of the Learning in the Synergy of Multiple Disciplines, 2009

Erroneous Examples: A Preliminary Investigation into Learning Benefits.
Proceedings of the Learning in the Synergy of Multiple Disciplines, 2009

Effects of Erroneous Examples - Results of a Preliminary School Experiment.
Proceedings of the Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling, 2009

Combining Evaluative and Generative Diagnosis in ACTIVEMATH.
Proceedings of the Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling, 2009

ACTIVEMATH - a Learning Platform With Semantic Web Features.
Proceedings of the Semantic Web Technologies for e-Learning, 2009

2008
Proof planning with multiple strategies.
Artif. Intell., 2008

Interoperable Competencies Characterizing Learning Objects in Mathematics.
Proceedings of the Intelligent Tutoring Systems, 9th International Conference, 2008

One Exercise - Various Tutorial Strategies.
Proceedings of the Intelligent Tutoring Systems, 9th International Conference, 2008

Towards Accessing Disparate Educational Data in a Single, Unified Manner.
Proceedings of the Times of Convergence. Technologies Across Learning Contexts, 2008

An Efficient Student Model Based on Student Performance and Metadata.
Proceedings of the ECAI 2008, 2008

2007
Specification, authoring and prototyping of personalised workplace learning solutions.
IJLT, 2007

2006
Combining ITS and eLearning Technologies: Opportunities and Challenges.
Proceedings of the Intelligent Tutoring Systems, 8th International Conference, 2006

Methods to Access and Retrieve Mathematical Content in ActiveMath.
Proceedings of the Mathematical Software, 2006

Querying Heterogeneous and Distributed Learning Object Repositories via Ontology-Based Mediation.
Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, 2006

LeActiveMath.
Proceedings of the Innovative Approaches for Learning and Knowledge Sharing, 2006

Integrating Learning Object Repositories Using a Mediator Architecture.
Proceedings of the Innovative Approaches for Learning and Knowledge Sharing, 2006

Reductio ad Absurdum: Planning Proofs by Contradiction.
Proceedings of the Reasoning, 2006

2005
Failure Reasoning in Multiple-Strategy Proof Planning.
Electr. Notes Theor. Comput. Sci., 2005

Impasse-Driven Reasoning in Proof Planning.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Authoring Presentation for OpenMath.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Interactivity of Exercises in ActiveMath.
Proceedings of the Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences, 2005

Choice of Feedback Strategies.
Proceedings of the Cognition and Exploratory Learning in Digital Age, 2005

Interactive Concept Mapping in ActiveMath.
Proceedings of the DeLFI 2005: 3. Deutsche e-Learning Fachtagung Informatik, 2005

Challenges in Search and Usage of Multi-media Learning Objects.
Proceedings of the Cognitive Systems, Joint Chinese-German Workshop, Shanghai, 2005

System Description: Multi A Multi-strategy Proof Planner.
Proceedings of the Automated Deduction, 2005

e-Learning Logic and Mathematics: What We Have and What We Need.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

Why Proof Planning for Maths Education and How?.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

Design of Erroneous Examples for ACTIVEMATH.
Proceedings of the Artificial Intelligence in Education, 2005

2004
In2Math - Interaktive Mathematik- und Informatikgrundausbildung.
Softwaretechnik-Trends, 2004

Constraint Solving for Proof Planning.
J. Autom. Reasoning, 2004

Adaptable Mixed-Initiative Proof Planning for Educational Interaction.
Electr. Notes Theor. Comput. Sci., 2004

Adaptive Access to a Proof Planner.
Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

Towards Adaptive Generation of Faded Examples.
Proceedings of the Intelligent Tutoring Systems, 7th International Conference, 2004


ActiveMath: An Intelligent Tutoring System for Mathematics.
Proceedings of the Artificial Intelligence and Soft Computing, 2004

Erroneous Examples as a Source of Learning in Mathematics.
Proceedings of the Cognition and Exploratory Learning in Digital Age (CELDA'04), 2004

Gender-Biased Adaptations in Educational Adaptive Hypermedia.
Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2004

2003
Wissensmodellierung und -nutzung in ActiveMath.
KI, 2003

Knowledge Representation and Management in ACTIVEMATH.
Ann. Math. Artif. Intell., 2003

Problems and Solutions for Markup for Mathematical Examples and Exercises.
Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003

2002
MultiMedia Instruction in Safe and Secure Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Semantics for Web-Based Mathematical Education Systems.
Proceedings of the WWW2002 International Workshop on the Semantic Web, Hawaii, May 7, 2002, 2002

Using Computer Algebra Systems as Cognitive Tools.
Proceedings of the Intelligent Tutoring Systems, 6th International Conference, 2002


2000
Integrating Constraint Solving into Proof Planning.
Proceedings of the Frontiers of Combining Systems, 2000

Extensions of Constraint Solving for Proof Planning.
Proceedings of the ECAI 2000, 2000

Proof Planning with Multiple Strategies.
Proceedings of the Computational Logic, 2000

Workshop: Automated Deduction in Education.
Proceedings of the Automated Deduction, 2000

Concepts in Proof Planning.
Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

1999
Analogy in Inductive Theorem Proving.
J. Autom. Reasoning, 1999

LUI: Lovely MEGA User Interface.
Formal Asp. Comput., 1999

Employing external reasoners in proof planning.
Electr. Notes Theor. Comput. Sci., 1999

Knowledge-Based Proof Planning.
Artif. Intell., 1999

Flexibly Interleaving Processes.
Proceedings of the Case-Based Reasoning and Development, Third International Conference, 1999

1998
MEGA: Ein mathematisches Assistenzsystem.
Kognitionswissenschaft, 1998

The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe.
J. Autom. Reasoning, 1998

CBR Applied to Planning.
Proceedings of the Case-Based Reasoning Technology, From Foundations to Applications, 1998

Similarities and Reuse of Proofs in Formal Software Verification.
Proceedings of the Advances in Case-Based Reasoning, 4th European Workshop, 1998

Reformulation in Case-Based Reasoning.
Proceedings of the Advances in Case-Based Reasoning, 4th European Workshop, 1998

AI-Techniques in Proof Planning.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

The "Limit" Domain.
Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998

Constraint Solving in Logic Programming and in Automated Deduction: A Comparison.
Proceedings of the Artificial Intelligence: Methodology, 1998

1997
Beweisen durch Analogie.
Kognitionswissenschaft, 1997

External Analogy in Inductive Theorem Proving.
Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

Solution-Relevant Abstractions Constrain Retrieval and Adaptation.
Proceedings of the Case-Based Reasoning Research and Development, 1997


1996
Die Beweisentwicklungsumgebung Omega-MKRP.
Inform., Forsch. Entwickl., 1996

When to Prove Theorems by Analogy?
Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

Two Kinds of Non-Monotonic Analogical Inference.
Proceedings of the Practical Reasoning, 1996

Internal Analogy in Theorem Proving.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995
Using Exemplary Knowledge for Justified Analogical Reasoning.
Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

A Model of Analogy-Driven Proof-Plan Construction.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Theorem Proving by Analogy - A Compelling Example.
Proceedings of the Progress in Artificial Intelligence, 1995

1994
KEIM: A Toolkit for Automated Deduction.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Omega-MKRP: A Proof Development Environment.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1992
KI und Logik (Projektübersicht).
KI, 1992

Goal-Driven Similarity Assessment.
Proceedings of the GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31, 1992

1986
Some Considerations About Formalization of Analogical Reasoning.
Proceedings of the Analogical and Inductive Inference, 1986


  Loading...