1
0
0
(1 - 30 von 41
)
Exploring feedback and student characteristics relevant for...
www.sciencedirect.com
Citing articles (0). Dr. Erica Melis was one of the initiators and the principal investigators of the AtuF project. She passed away during the implementation of AtuF.
Vol. 13, No. 2, April of Journal of Educational Technology &...
www.jstor.org
Educational Technology & Society seeks academic articles on the issues affecting the developers of educational systems and educators who implement and manag...
Die Beweisentwicklungsumgebung Omega-MKRP – International Center for...
iccl.inf.tu-dresden.de
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann Die Beweisentwicklungsumgebung Omega-MKRP Informatik – Forschung und Entwicklung, 11(1):20-26, 1996
Programming Systems Lab: Publications by Erica Melis
ps.uni-saarland.de
Erica Melis, Jürgen Zimmer, Tobias Müller Frontiers of Combining Systems -- Third International Workshop, FroCos Extensions of Constraint Solving for Proof Planning Erica Melis, Jürgen Zimmer, Tobias Müller Proceedings of the 14th European Conference on Artificial Intelligence
Michael Kohlhase - International Center for …
iccl.inf.tu-dresden.de
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann KEIM: A Toolkit for Automated Deduction In Alan Bundy, eds., Automated Deduction — CADE-12, Proceedings of the 12th International Conference on Automated DeductionSpringer Details. View full publication list
Search results for "Erica Melis" – FacetedDBLP
dblp.l3s.uni-hannover.de
Publications of "Erica Melis" ( http://dblp.L3S.de/Authors/Erica_Melis ) URL (Homepage): http://www-ags.dfki.uni-sb.de/~melis/ Author page on DBLP Author page in RDF ...
dblp: Artificial Intelligence in Education 2009
dblp1.uni-trier.de
Bibliographic content of Artificial Intelligence in Education 2009
Dr. Erica Melis – Emeriti
emeriti.cs.uni-saarland.de
Research Interests. Intelligent Learning Environments and Tools. Web-based education environment Active Math and MathBridge for Mathematics. This includes ...
Publikationen der UdS: ActiveMath - generation and reuse of...
publikationen.sulb.uni-saarland.de
vii Acknowledgment First of all, I would like to thank Erica Melis who was the supervisor of my thesis for her continuous support and valuable advices.
2003 — Universität Koblenz · Landau
www.uni-koblenz-landau.de
Peter Baumgartner, Paul A. Cairns, Michael Kohlhase, Erica Melis (Eds.). Knowledge Representation and Automated Reasoning for E-Learning Systems. Research Report (Abstract, Report as [PDF | postscript], BiBTeX Entry) Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, Thomas Kleemann, Christoph Wernhard.
Publikationen der UdS: Analogical transfer of verification proofs for...
publikationen.sulb.uni-saarland.de
Analogical Transfer of Verification Proofs for State-Based Specifica-tions Erica Melis and Claus Sengler DFKI-RR
Publikationen CPS
www.dfki.de
In: Vania Dimitrova, Paul A. Kirschner, Stefanie N. Lindstaedt, Maren Scheffel, Martin Wolpers (Hrsg.). Proceedings of the 5th European Conference on ...
KLUEDO | Theorem Proving by Analogy - A Compelling Example ?
kluedo.ub.uni-kl.de
This paper shows how a new approach to theorem provingby analogy is applicable to real maths problems. This approach worksat the level of proof-plans and...
KLUEDO | Proving a Heine-Borel Theorem by Analogy
kluedo.ub.uni-kl.de
This paper addresses analogy-driven auto-mated theorem proving that employs a sourceproof-plan to guide the search for a proof-planof the target problem. The...
KLUEDO | Analogy in CLAM
kluedo.ub.uni-kl.de
CL A M is a proof planner, developed by the Dream group in Edinburgh,that mainly operates for inductive proofs. This paper addresses the questionhow an analogy...
Publication details
www.ps.uni-saarland.de
Erica Melis, Jürgen Zimmer, Tobias Müller . Frontiers of Combining Systems -- Third International Workshop, FroCos 2000, Vol of lnai, pp , springer, March In proof planning mathematical objects with theory-specific properties have to be constructed. More often than not, mere unification offers little support for this task.
KLUEDO | Decomposition Techniques and their Applications in Automated...
kluedo.ub.uni-kl.de
This paper addresses the decomposition of proofs as a means of constructingmethods in plan-based automated theorem proving. It shows also, howdecomposition can...
Emeriti
emeriti.cs.uni-saarland.de
Dr. Erica Melis. Principal Researcher German Research Institute for Artificial Intelligence (DFKI) Centre for e-Learning Technology and associated at Universität des Saarlandes Computer Science Department. Research Interests: Intelligent Learning Environments and Tools; Proof Planning; Case-Based Reasoning; Automated Deduction; Website: melis ...
Using Exemplary Knowledge for Justified Analogical Reasoning
kluedo.ub.uni-kl.de
Typical instances, that is, instances that are representative for a particular situ-ation or concept, play an important role in human knowledge...
Publication details - ps.uni-saarland.de
www.ps.uni-saarland.de
Erica Melis, Jürgen Zimmer, Tobias Müller . Proceedings of the 14th European Conference on Artificial Intelligence, pp , IOS Press, August The integration of constraint solvers into proof planning has pushed the problem solving horizon.
Knowledge Representation and Automated Reasoning for E ...
www.uni-koblenz-landau.de
Peter Baumgartner, Paul A. Cairns, Michael Kohlhase, Erica Melis (Eds.). Abstract This Report contains the contributions to the workshop 'Knowledge Representation and Automated Reasoning for E-Learning Systems', held at the International Joint Conference on Artificial Intelligence (IJCAI 2003).
MathBridge Paderborn Kassel | The Project
mathbridge.math.uni-paderborn.de
Duration: Mai January Overall project volume: 3,6 Mio Euro Project Coordination: DFKI: Dr. Erica Melis, Dr. Andrey Girenko
XPS uni-wuerzburg.de
ki.informatik.uni-wuerzburg.de
First of all, I would like to thank the coordinators of the workshops Rudi Studer, Dieter Fensel, Jana Koehler, Erica Melis and Thomas Wetter and the members of the respective program committees for reviewing the papers. As there can be no conference without submissions we thank all authors - successful or not - for submitting to XPS-99.
sortiert nach Relevanz / Datum