dblp.uni-trier.dewww.uni-trier.de

Erica Melis Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
79EEErica Melis, Dieter Kriesell: Effects of Erroneous Examples - Results of a Preliminary School Experiment. AIED 2009: 578-580
78EEGeorge Goguadze, Erica Melis: Combining Evaluative and Generative Diagnosis in ACTIVEMATH. AIED 2009: 668-670
77EECarsten Ullrich, Tianxiang Lu, Erica Melis: A New Framework for Dynamic Adaptations and Actions. EC-TEL 2009: 67-72
76EEDimitra 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
75EECarsten Ullrich, Tianxiang Lu, Erica Melis: Just-in-Time Adaptivity through Dynamic Items. UMAP 2009: 373-378
74EEErica Melis, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich: Culturally adapted mathematics education with ActiveMath. AI Soc. 24(3): 251-265 (2009)
73EECarsten Ullrich, Erica Melis: Pedagogically founded courseware generation based on HTN-planning. Expert Syst. Appl. 36(5): 9319-9332 (2009)
2008
72EEErica Melis, Bruce M. McLaren, Silvana Solomon: Towards Accessing Disparate Educational Data in a Single, Unified Manner. EC-TEL 2008: 280-283
71EEArndt Faulhaber, Erica Melis: An Efficient Student Model Based on Student Performance and Metadata. ECAI 2008: 276-280
70EEErica Melis, Arndt Faulhaber, Anja Eichelmann, Susanne Narciss: Interoperable Competencies Characterizing Learning Objects in Mathematics. Intelligent Tutoring Systems 2008: 416-425
69EEGeorgi Goguadze, Erica Melis: One Exercise - Various Tutorial Strategies. Intelligent Tutoring Systems 2008: 755-757
68EEErica Melis, Andreas Meier, Jörg H. Siekmann: Proof planning with multiple strategies. Artif. Intell. 172(6-7): 656-684 (2008)
2007
67EEPeter 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
66EEPhilipp Kärger, Carsten Ullrich, Erica Melis: Integrating Learning Object Repositories Using a Mediator Architecture. EC-TEL 2006: 185-197
65EEErica Melis, Jeff Haywood, Tim J. Smith: LeActiveMath. EC-TEL 2006: 660-666
64EEPhilipp Kärger, Erica Melis, Carsten Ullrich: Querying Heterogeneous and Distributed Learning Object Repositories via Ontology-Based Mediation. ICALT 2006: 845-846
63EEPaul Libbrecht, Erica Melis: Methods to Access and Retrieve Mathematical Content in ActiveMath. ICMS 2006: 331-342
62EEChristopher A. Brooks, Jim E. Greer, Erica Melis, Carsten Ullrich: Combining ITS and eLearning Technologies: Opportunities and Challenges. Intelligent Tutoring Systems 2006: 278-287
61EEErica 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
59EEAndreas 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
57EEErica 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
54EEAndreas Meier, Erica Melis: Impasse-Driven Reasoning in Proof Planning. MKM 2005: 143-158
53EEShahid Manzoor, Paul Libbrecht, Carsten Ullrich, Erica Melis: Authoring Presentation for OpenMath. MKM 2005: 33-48
52EEErica 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
50EEAndreas Meier, Erica Melis: Failure Reasoning in Multiple-Strategy Proof Planning. Electr. Notes Theor. Comput. Sci. 125(2): 67-90 (2005)
2004
49EEErica 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
47EEErica Melis, Jörg H. Siekmann: ActiveMath: An Intelligent Tutoring System for Mathematics. ICAISC 2004: 91-101
46EEErica Melis, Georgi Goguadze: Towards Adaptive Generation of Faded Examples. Intelligent Tutoring Systems 2004: 762-771
45EELora 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
44EEErica Melis, Andreas Meier, Martin Pollet: Adaptive Access to a Proof Planner. MKM 2004: 251-264
43EEAndreas Meier, Erica Melis, Martin Pollet: Adaptable Mixed-Initiative Proof Planning for Educational Interaction. Electr. Notes Theor. Comput. Sci. 103: 105-120 (2004)
42EEJürgen Zimmer, Erica Melis: Constraint Solving for Proof Planning. J. Autom. Reasoning 33(1): 51-88 (2004)
2003
41EEGeorgi 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)
39EEErica Melis, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich: Wissensmodellierung und -nutzung in ActiveMath. KI 17(1): 12- (2003)
2002
38EEJö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
37EEJochen 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
36EEErica Melis, Jochen Büdenbender, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich: Semantics for Web-Based Mathematical Education Systems. Semantic Web Workshop 2002
35EEBernd 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
34EEErica Melis: Workshop: Automated Deduction in Education. CADE 2000: 516
33EEErica 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
29EEErica Melis, Carsten Ullrich: Flexibly Interleaving Processes. ICCBR 1999: 263-275
28EEErica Melis, Jörg H. Siekmann: Knowledge-Based Proof Planning. Artif. Intell. 115(1): 65-105 (1999)
27EEErica Melis, Volker Sorge: Employing external reasoners in proof planning. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
26EEJö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
24EEAlessandro 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
22EERalph 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
20EEErica Melis, Jean Lieber, Amedeo Napoli: Reformulation in Case-Based Reasoning. EWCBR 1998: 172-183
19EEErica 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)
17EEJörg H. Siekmann, Michael Kohlhase, Erica Melis: <Omega>MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft 7(3): 101-105 (1998)
1997
16EEChristoph 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
13EEErica Melis: Beweisen durch Analogie. Kognitionswissenschaft 6(3): 115-126 (1997)
1996
12EEErica 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
5EEXiaorong 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
4EEXiaorong 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

Coauthor Index

1Alessandro Armando [24]
2Lora Aroyo [45]
3Christoph Benzmüller (Christoph Benzmueller) [16] [26] [38]
4Ralph Bergmann [22]
5Paul De Bra [67]
6Vladimir Brezhnev [38]
7Christopher A. Brooks [62]
8Peter Brusilovsky [45]
9Jochen Büdenbender [36] [37] [40]
10Daniel Burgos [67]
11Paul A. Cairns [41]
12Stefano Ceri [67]
13Lassaad Cheikhrouhou [16] [26] [38]
14Alexandra I. Cristea [67]
15Vladan Devedzic [67]
16Paloma Díaz (Paloma Díaz-Pérez) [45]
17Darina Dicheva [45]
18Michael Dietrich [76]
19Vania Dimitrova [45]
20Peter Dolog [67]
21Erik Duval [45]
22Anja Eichelmann [70]
23Arndt Faulhaber [70] [71]
24Detlef Fehrer [16]
25Armin Fiedler [16] [26] [38]
26Andreas Franke [38]
27Adrian Frischauf [37]
28George Goguadze (Georgi Goguadze) [36] [37] [39] [40] [41] [46] [55] [69] [74] [76] [78]
29Jim E. Greer [45] [62]
30Peng Han [57]
31Jeff Haywood [65]
32Stephan M. Hess [26]
33Tsukasa Hirashima [45]
34Martin Homik [56]
35Heinz Ulrich Hoppe [45]
36Helmut Horacek [26] [38]
37Geert-Jan Houben [45] [67]
38Xiaorong Huang [4] [5] [9] [16]
39Dieter Hutter [35]
40Mitsuru Ikeda [45]
41Dietmar Janetzko [3]
42Philipp Kärger [56] [64] [66]
43Judy Kay [45]
44Manfred Kerber [4] [5] [6] [9] [11] [16]
45 Kinshuk [45]
46Michael Kohlhase [4] [5] [9] [16] [17] [26] [38]
47Karsten Konrad [16] [26]
48Milos Kravcik [67]
49Bernd Krieg-Brückner [35]
50Dieter Kriesell [79]
51Paul Libbrecht [36] [37] [39] [40] [53] [63] [67] [74]
52Jean Lieber [20]
53Arne Lindow [35]
54Tianxiang Lu [75] [77]
55Christoph Lüth [35]
56Achim Mahnke [35]
57Shahid Manzoor [53]
58Maristella Matera [67]
59Bruce M. McLaren [72] [76]
60Andreas Meier [16] [26] [33] [38] [43] [44] [50] [54] [59] [68]
61Philipp Meier [35]
62Ch. Melis [1]
63Ann-Kristin Meyer [76]
64Tanja Mitrovic [45]
65Markus Moschner [38]
66Tobias Müller [31] [32]
67Hector Muñoz-Avila (Héctor Muñoz-Avila) [22]
68Ambjörn Naeve [45]
69Amedeo Napoli [20]
70Susanne Narciss [70]
71Wolfgang Nejdl [67]
72Daniel Nesmith (Dan Nesmith) [4] [5] [9]
73Immanuel Normann [38]
74Ossi Nykänen [45]
75Alberto González Palomo [55]
76Gilbert Paquette [45]
77Arnd Poetzsch-Heffter [35]
78Martin Pollet [26] [38] [43] [44] [61]
79Silvio Ranise [24]
80Simos Retalis [45]
81Jörn Richts [4] [5] [9]
82Markus Roggenbach [35]
83George Russell [35]
84Demetrios G. Sampson [45]
85Wolf Schaarschmidt [16]
86Axel Schairer [19]
87Ruimin Shen [57]
88Jörg H. Siekmann [4] [5] [9] [16] [17] [26] [28] [30] [38] [47] [51] [57] [61] [68]
89Katherine M. Sinitsa [45]
90Jan-Georg Smaus [35]
91Tim J. Smith [65]
92David Smits [67]
93Amy Soller [45]
94Silvana Solomon [72]
95Volker Sorge [16] [26] [27] [38]
96Marcus Specht [67]
97Steffen Staab [45]
98Natalia Stash [67]
99Craig Stewart [67]
100Colin Tattersall [67]
101Dimitra Tsovaltzi [76]
102Carsten Ullrich [29] [36] [37] [38] [39] [40] [41] [49] [53] [57] [62] [64] [66] [73] [74] [75] [77]
103Julita Vassileva [45]
104Manuela M. Veloso [22]
105M. Felisa Verdejo (María Felisa Verdejo Maillo, Felisa Verdejo) [45]
106Gerd Wagner [45]
107Stefan Wess [3]
108Jon Whittle (Jonathan Whittle) [12] [14] [25]
109Martin Wirsing [35]
110Claus-Peter Wirth [38]
111Fan Yang [57]
112Jürgen Zimmer [31] [32] [38] [42]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)