2008 |
72 | EE | Erica Melis,
Bruce M. McLaren,
Silvana Solomon:
Towards Accessing Disparate Educational Data in a Single, Unified Manner.
EC-TEL 2008: 280-283 |
71 | EE | Arndt Faulhaber,
Erica Melis:
An Efficient Student Model Based on Student Performance and Metadata.
ECAI 2008: 276-280 |
70 | EE | Erica Melis,
Arndt Faulhaber,
Anja Eichelmann,
Susanne Narciss:
Interoperable Competencies Characterizing Learning Objects in Mathematics.
Intelligent Tutoring Systems 2008: 416-425 |
69 | EE | Georgi Goguadze,
Erica Melis:
One Exercise - Various Tutorial Strategies.
Intelligent Tutoring Systems 2008: 755-757 |
68 | EE | Erica Melis,
Andreas Meier,
Jörg H. Siekmann:
Proof planning with multiple strategies.
Artif. Intell. 172(6-7): 656-684 (2008) |
2007 |
67 | EE | 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) |
2006 |
66 | EE | Philipp Kärger,
Carsten Ullrich,
Erica Melis:
Integrating Learning Object Repositories Using a Mediator Architecture.
EC-TEL 2006: 185-197 |
65 | EE | Erica Melis,
Jeff Haywood,
Tim J. Smith:
LeActiveMath.
EC-TEL 2006: 660-666 |
64 | EE | Philipp Kärger,
Erica Melis,
Carsten Ullrich:
Querying Heterogeneous and Distributed Learning Object Repositories via Ontology-Based Mediation.
ICALT 2006: 845-846 |
63 | EE | Paul Libbrecht,
Erica Melis:
Methods to Access and Retrieve Mathematical Content in ActiveMath.
ICMS 2006: 331-342 |
62 | EE | Christopher A. Brooks,
Jim E. Greer,
Erica Melis,
Carsten Ullrich:
Combining ITS and eLearning Technologies: Opportunities and Challenges.
Intelligent Tutoring Systems 2006: 278-287 |
61 | EE | 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 |
2005 |
60 | | Erica Melis:
Design of Erroneous Examples for ACTIVEMATH.
AIED 2005: 451-458 |
59 | EE | Andreas Meier,
Erica Melis:
System Description: Multi A Multi-strategy Proof Planner.
CADE 2005: 250-254 |
58 | | Erica Melis:
Choice of Feedback Strategies.
CELDA 2005: 183-189 |
57 | EE | 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 |
56 | | Erica Melis,
Philipp Kärger,
Martin Homik:
Interactive Concept Mapping in ActiveMath.
DeLFI 2005: 247-258 |
55 | | Georgi Goguadze,
Alberto González Palomo,
Erica Melis:
Interactivity of Exercises in ActiveMath.
ICCE 2005: 109-115 |
54 | EE | Andreas Meier,
Erica Melis:
Impasse-Driven Reasoning in Proof Planning.
MKM 2005: 143-158 |
53 | EE | Shahid Manzoor,
Paul Libbrecht,
Carsten Ullrich,
Erica Melis:
Authoring Presentation for OpenMath.
MKM 2005: 33-48 |
52 | EE | Erica Melis:
Why Proof Planning for Maths Education and How?.
Mechanizing Mathematical Reasoning 2005: 364-378 |
51 | | 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 |
50 | EE | Andreas Meier,
Erica Melis:
Failure Reasoning in Multiple-Strategy Proof Planning.
Electr. Notes Theor. Comput. Sci. 125(2): 67-90 (2005) |
2004 |
49 | EE | Erica Melis,
Carsten Ullrich:
Gender-Biased Adaptations in Educational Adaptive Hypermedia.
AH 2004: 425-428 |
48 | | Erica Melis:
Erroneous Examples as a Source of Learning in Mathematics.
CELDA 2004: 311-318 |
47 | EE | Erica Melis,
Jörg H. Siekmann:
ActiveMath: An Intelligent Tutoring System for Mathematics.
ICAISC 2004: 91-101 |
46 | EE | Erica Melis,
Georgi Goguadze:
Towards Adaptive Generation of Faded Examples.
Intelligent Tutoring Systems 2004: 762-771 |
45 | EE | 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 |
44 | EE | Erica Melis,
Andreas Meier,
Martin Pollet:
Adaptive Access to a Proof Planner.
MKM 2004: 251-264 |
43 | EE | Andreas Meier,
Erica Melis,
Martin Pollet:
Adaptable Mixed-Initiative Proof Planning for Educational Interaction.
Electr. Notes Theor. Comput. Sci. 103: 105-120 (2004) |
42 | EE | Jürgen Zimmer,
Erica Melis:
Constraint Solving for Proof Planning.
J. Autom. Reasoning 33(1): 51-88 (2004) |
2003 |
41 | EE | Georgi Goguadze,
Erica Melis,
Carsten Ullrich,
Paul A. Cairns:
Problems and Solutions for Markup for Mathematical Examples and Exercises.
MKM 2003: 80-92 |
40 | | 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) |
39 | EE | Erica Melis,
Georgi Goguadze,
Paul Libbrecht,
Carsten Ullrich:
Wissensmodellierung und -nutzung in ActiveMath.
KI 17(1): 12- (2003) |
2002 |
38 | EE | 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 |
37 | EE | 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 |
36 | EE | Erica Melis,
Jochen Büdenbender,
Georgi Goguadze,
Paul Libbrecht,
Carsten Ullrich:
Semantics for Web-Based Mathematical Education Systems.
Semantic Web Workshop 2002 |
35 | EE | 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 |
2000 |
34 | | Erica Melis:
Workshop: Automated Deduction in Education.
CADE 2000: 516 |
33 | EE | Erica Melis,
Andreas Meier:
Proof Planning with Multiple Strategies.
Computational Logic 2000: 644-659 |
32 | | Erica Melis,
Jürgen Zimmer,
Tobias Müller:
Extensions of Constraint Solving for Proof Planning.
ECAI 2000: 229-233 |
31 | | Erica Melis,
Jürgen Zimmer,
Tobias Müller:
Integrating Constraint Solving into Proof Planning.
FroCos 2000: 32-46 |
30 | | Erica Melis,
Jörg H. Siekmann:
Concepts in Proof Planning.
Intellectics and Computational Logic 2000: 263-276 |
1999 |
29 | EE | Erica Melis,
Carsten Ullrich:
Flexibly Interleaving Processes.
ICCBR 1999: 263-275 |
28 | EE | Erica Melis,
Jörg H. Siekmann:
Knowledge-Based Proof Planning.
Artif. Intell. 115(1): 65-105 (1999) |
27 | EE | Erica Melis,
Volker Sorge:
Employing external reasoners in proof planning.
Electr. Notes Theor. Comput. Sci. 23(3): (1999) |
26 | EE | 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) |
25 | | Erica Melis,
Jon Whittle:
Analogy in Inductive Theorem Proving.
J. Autom. Reasoning 22(2): 117-147 (1999) |
1998 |
24 | EE | Alessandro Armando,
Erica Melis,
Silvio Ranise:
Constraint Solving in Logic Programming and in Automated Deduction: A Comparison.
AIMSA 1998: 28-38 |
23 | | Erica Melis:
The ``Limit'' Domain.
AIPS 1998: 199-207 |
22 | EE | Ralph Bergmann,
Hector Muñoz-Avila,
Manuela M. Veloso,
Erica Melis:
CBR Applied to Planning.
Case-Based Reasoning Technology 1998: 169-200 |
21 | | Erica Melis:
AI-Techniques in Proof Planning.
ECAI 1998: 494-498 |
20 | EE | Erica Melis,
Jean Lieber,
Amedeo Napoli:
Reformulation in Case-Based Reasoning.
EWCBR 1998: 172-183 |
19 | EE | Erica Melis,
Axel Schairer:
Similarities and Reuse of Proofs in Formal Software Verification.
EWCBR 1998: 76-87 |
18 | | Erica Melis:
The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe.
J. Autom. Reasoning 20(3): 255-282 (1998) |
17 | EE | Jörg H. Siekmann,
Michael Kohlhase,
Erica Melis:
<Omega>MEGA: Ein mathematisches Assistenzsystem.
Kognitionswissenschaft 7(3): 101-105 (1998) |
1997 |
16 | | 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 |
15 | | Erica Melis:
Solution-Relevant Abstractions Constrain Retrieval and Adaptation.
ICCBR 1997: 383-392 |
14 | | Erica Melis,
Jon Whittle:
External Analogy in Inductive Theorem Proving.
KI 1997: 111-122 |
13 | EE | Erica Melis:
Beweisen durch Analogie.
Kognitionswissenschaft 6(3): 115-126 (1997) |
1996 |
12 | | Erica Melis,
Jon Whittle:
Internal Analogy in Theorem Proving.
CADE 1996: 92-105 |
11 | | Manfred Kerber,
Erica Melis:
Two Kinds of Non-Monotonic Analogical Inference.
FAPR 1996: 361-374 |
10 | | Erica Melis:
When to Prove Theorems by Analogy?
KI 1996: 259-271 |
9 | | 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) |
1995 |
8 | | Erica Melis:
Theorem Proving by Analogy - A Compelling Example.
EPIA 1995: 261-272 |
7 | | Erica Melis:
A Model of Analogy-Driven Proof-Plan Construction.
IJCAI 1995: 182-189 |
6 | | Manfred Kerber,
Erica Melis:
Using Exemplary Knowledge for Justified Analogical Reasoning.
WOCFAI 1995: 157-168 |
1994 |
5 | | 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 |
4 | | 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 |
1992 |
3 | | Dietmar Janetzko,
Stefan Wess,
Erica Melis:
Goal-Driven Similarity Assessment.
GWAI 1992: 283-298 |
2 | | Erica Melis:
KI und Logik (Projektübersicht).
KI 6(3): 75-78 (1992) |
1986 |
1 | | Ch. Melis,
Erica Melis:
Some Considerations About Formalization of Analogical Reasoning.
AII 1986: 125-134 |