Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Erica Melis C
Observed names:
Dr. Erica Melis,
Erica Melis,
Erica Melis A,
Erica Melis B,
Erica Melis⋆,
Melis Erica,
Melis, Erica
show all 7
Observed institutions:
Cornell University,
German Research Centre for Artificial Intelligence,
Eindhoven University of Technology,
Saarland University,
University of Edinburgh
OpenAlex ID:
A5113466899
Exploring feedback and student characteristics relevant for personalizing feedback strategies
2013
·
Susanne Narciss
, Sergey Sosnovsky
, et al.
·
Computers & Education
·
262
ActiveMath: A Generic and Adaptive Web-Based Learning Environment
2001
·
Erica Melis
, Eric Andres
, et al.
·
HAL
·
217
PDF
Ωmega: Towards a mathematical assistant
1997
·
Christoph Benzmüller
, Lassaad Cheikhrouhou
, et al.
·
Lecture notes in computer science
·
118
ActiveMath: An Intelligent Tutoring System for Mathematics
2004
·
Erica Melis
, Jörg Siekmann
·
Lecture notes in computer science
·
112
Knowledge-based proof planning
1999
·
Erica Melis
, Jörg Siekmann
·
Artificial Intelligence
·
75
PDF
Proof Development with Ωmega
2002
·
Jörg Siekmann
, Christoph Benzmüller
, et al.
·
Lecture notes in computer science
·
69
Semantic‐aware components and services of ActiveMath
2006
·
Erica Melis
, Giorgi Goguadze
, et al.
·
British Journal of Educational Technology
·
68
Pedagogically founded courseware generation based on HTN-planning
2008
·
Carsten Ullrich
, Erica Melis
·
Expert Systems with Applications
·
50
Combining ITS and eLearning Technologies: Opportunities and Challenges
2006
·
Christopher Brooks
, Jim Greer
, et al.
·
Lecture notes in computer science
·
50
Proof Planning with Multiple Strategies
2000
·
Erica Melis
, Andreas Meier
·
Lecture notes in computer science
·
49
Knowledge Representation and Management in ACTIVEMATH
2003
·
The ACTIVEMATH group
, Erica Melis
, et al.
·
Annals of Mathematics and Artificial Intelligence
·
45
Learning from Erroneous Examples: When and How Do Students Benefit from Them?
2010
·
Dimitra Tsovaltzi
, Erica Melis
, et al.
·
Lecture notes in computer science
·
41
A model of analogy-driven proof-plan construction
1995
·
Erica Melis⋆
·
41
Erroneous examples: effects on learning fractions in a web-based setting
2012
·
Dimitra Tsovaltzi
, Bruce M. McLaren
, et al.
·
International Journal of Technology Enhanced Learning
·
35
Typische Fehler bei der Addition und Subtraktion von Brüchen – Ein Review zu empirischen Fehleranalysen
2011
·
Anja Eichelmann
, Susanne Narciss
, et al.
·
Journal für Mathematik-Didaktik
·
35
LΩUI: Lovely ΩMEGA User Interface
1999
·
Jörg Siekmann
, Stephan Hess
, et al.
·
Formal Aspects of Computing
·
35
Interactivity of Exercises in ActiveMath
2005
·
Giorgi Goguadze
, Alberto González Palomo
, et al.
·
International Conference on Computers in Education
·
34
Methods to Access and Retrieve Mathematical Content in ActiveMath
2006
·
Paul Libbrecht
, Erica Melis
·
Lecture notes in computer science
·
31
Analogy in Inductive Theorem Proving
1999
·
Erica Melis
, Jon Whittle
·
Journal of Automated Reasoning
·
31
The Heine–Borel Challenge Problem. In Honor of Woody Bledsoe
1998
·
Erica Melis
·
Journal of Automated Reasoning
·
28
Reformulation in case-based reasoning
1998
·
Erica Melis
, Jean Lieber
, et al.
·
Lecture notes in computer science
·
28
Proof planning with multiple strategies
2007
·
Erica Melis
, Andreas Meier
, et al.
·
Artificial Intelligence
·
24
PDF
Ω-MKRP: A proof development environment
1994
·
Xiaorong Huang
, Manfred Kerber
, et al.
·
Lecture notes in computer science
·
23
Global Feedback in ActiveMath.
2005
·
Erica Melis⋆
, Eric Andrés
·
22
AI-Techniques in Proof Planning.
1998
·
Erica Melis⋆
·
22
Show more works
View as search
Works count:
219
Citation count:
2,153
H-index:
23
I10-index:
49
Year
Topic
Type
