News
Gegen Fachkräftemangel hilft nur noch EU-weite Mathe-Nachhilfe
www.silicon.de
Die Zahl der Studienabbrecher in den Ingenieurwissenschaften ist zu hoch: Rund ein Drittel der Studienanfänger in Studienfächern wie Informatik oder...
IWM Aktuelles
www.iwm-tuebingen.de
Wissenserwerb, Wissensvermittlung und Wissensaustausch mit innovativen Technologien stehen im Zentrum der Forschung des Leibniz-Instituts fuer Wissensmedien.
iClass - Intelligentes e-Learning für Europa - Innovations ...
www.innovations-report.de
Eine Forschergruppe des DFKI unter der Leitung von Dr. Erica Melis erarbeitet im Teilprojekt Benutzermodellierung Beiträge zu Wissensrepräsentation, Collaborative Learning, Diagnose von Lernstilen und ist mit der Entwicklung der iClass Plattform im Bereich Benutzermodellierung betraut. DFKI-Kontakt: Dr. Martin Mühlenbrock
Veranstaltungskalender Mathematik (Archiv 2004)
www.math.uni-hamburg.de
PD Dr. Erica Melis (Deutsches Forschungszentrum für Künstliche Intelligenz, Saarbrücken): eLearning in der Mathematik-am Beispiel der web-basierten Lernumgebung "LeActiveMath" H5 : Di: : 16:15
Netzwerk-Profile
LinkedIn: Erica Melis | LinkedIn
Sehen Sie sich das berufliche Profil von Erica Melis (Deutschland) auf LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und ...
Interessen
Erica Melis, Jürgen Zimmer & Tobias Müller, Integrating constraint ...philpapers.org › rec › MELICS
philpapers.org
Erica Melis, Jürgen Zimmer & Tobias Müller. In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of Combining Systems. Research Studies Press. pp
OMEGA: Resource-adaptive Proof Planning - PhilPapers
philpapers.org
von S Jörg · — Erica Melis, Andreas Meier & Jörg Siekmann Artificial Intelligence 172 (6-7): Bridging Theorem Proving and Mathematical Knowledge Retrieval ... › SIEORP
Firmen-Mitarbeiter
SFB 378: Erica Melis
www.coli.uni-saarland.de
Erica Melis. Projects: OMEGA: Telephone: + : Telefax: + : -sb.de
Using AI methods to control automated deduction
agent.informatik.uni-kl.de
Erica Melis, U. Saarbrücken, Jon Whittle, U. Edinburgh Proving Ground Completeness of Resolution by Proof Planning ... Using AI methods to control automated deduction
Ausbildung
Workshop ABIS - LWA Lernen, Wissen,Adaptivität Oktober...
www.kde.cs.uni-kassel.de
Webseite des Fachgebiets Wissensverarbeitung, Fachbereich 16, Universität Kassel
Herkunft
Erica Melis - The Mathematics Genealogy Project
genealogy.math.ndsu.nodak.edu
According to our current on-line database, Erica Melis has 2 students and 2 descendants. We welcome any additional information. If you have additional ...
Bücher
PRL Seminar: Authors: Erica Melis
www.nuprl.org
Proof presentation in the Omega system. Erica Melis, October 25, Knowledge-Based Proof Planning. Erica Melis, April 19, Department of Computer ...
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...
When to Prove Theorems by Analogy? - Erica Melis - Google Booksbooks.google.com › books › about
books.google.com.ua
Author, Erica Melis. Publisher, Technische Universität Kaiserslautern, Fachbereich Informatik, Export Citation, BiBTeX EndNote RefMan ...
Dokumente zum Namen
Supporting Flexible Competency Frameworks - SlideShare
www.slideshare.net
Supporting Flexible Competency Frameworks Erica Melis, Arndt Faulhaber, Ahmad Salim Doost and Carsten Ullrich DFKI GmbH, SJTU; 2. › ullrich
Interactive Concept Mapping in ActiveMath (iCMap)
de.slideshare.net
Describes a tool for conept mapping in mathematics that offers feedback, evaluation, and suggestions. It is part of the ActiveMath learning environment.
ePortfolios in ActiveMath
de.slideshare.net
Describes a first approach to implement e-portfolios in ActiveMath
Wissenschaftliche Veröffentlichungen
DFG - GEPRIS - Privatdozentin Dr. Erica Melis
gepris.dfg.de
Privatdozentin Dr. Erica Melis, Saarbrücken. Mixed-initiative Beweisplanen und dessen Anwendungen für Mathematik-Lernsysteme (Sachbeihilfen)
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...
Veröffentlichungen allgemein
Analogy in Inductive Theorem Proving | SpringerLink
link.springer.com
In this paper, we investigate analogy-driven proof plan construction in inductive theorem proving. The intention is to produce a plan for a target theorem
Madipedia – Kategorie:Betreute Dissertationen (Erica Melis)
madipedia.de
Seiten in der Kategorie „Betreute Dissertationen (Erica Melis)“ Diese Kategorie enthält nur die folgende Seite.
ActiveMath: An Intelligent Tutoring System for Mathematics ...link.springer.com › chapter
link.springer.com
Erica Melis; Jörg Siekmann. Erica Melis. 1. Jörg Siekmann German Research Institute for Artificial Intelligence (DFKI)SaarbrückenGermany. Conference ...
Design of Erroneous Examples for ACTIVEMATH
ebooks.iospress.nl
von E Melis · · Zitiert von: 31 — Erica Melis. Pages Series. Frontiers in Artificial Intelligence and Applications. Ebook. Volume 125: Artificial Intelligence in Education. › publicat...
Artikel & Meinungen
Google Groups: Hilfe gesucht f"ur Liste aller deutschen logik-orientierten KI Projekte ...
: Erica Melis -sb.de comp ai Euch!!! Keywords: In KI soll eine
Google Groups: v1992i019: Call for Info: Projekte zu KI und Logik
: ... (mit Adresse) 3. Laufzeit 4. Foerderungsform 5. Anmerkungen. Danke. Erica
Google Groups: KI Zeitschrift 3/92
: Erica Melis -sb.de comp ai In KI soll eine Liste der laufenden
Wikipedia: Predictive learning – Wikipedia
Erica Melis & Alan Bundy: Planning and Proof Planning (en, PS-Adobe-2.0 (52,83 kiB)) Abgerufen am 22. November ↑ J. Siekmann, M. Kohlhase ...
Sonstiges
erica melis | Professional Profile - LinkedIn
www.linkedin.com
View erica melis' profile on LinkedIn, the world's largest professional community. erica has 1 job listed on their profile. See the complete profile on LinkedIn and discover erica's connections and jobs at similar companies.
erica melis - PD.Dr - DFKI | 领英 - LinkedIn
www.linkedin.com
上领英，在全球领先职业社交平台查看erica melis的职业档案。erica的职业档案列出了1 个职位。查看erica的完整档案，结识职场人脉和查看相似公司的职位。
Source: Erica Melis Educational Technologies WS2006 Knowledge...
slideplayer.com
Source: Erica Melis Educational Technologies WS2006 Knowledge Representation Deutsches Forschungszentrum für Künstliche Intelligenz.
Analogies between Proofs { A Case Study. Erica Melis. Universitat...
sciencedocbox.com
Transcription. 1 Analogies between Proofs { A Case Study Erica Melis Universitat Saarbrucken Fachbereich Informatik Saarbrucken This case study examines in detail the theorems and proofs that are shown by analogy in a mathematical textbook on semigroups and automata, that is widely used as an undergraduate ...
Source: Erica Melis Approximate Plan of the Course Introduction...
slideplayer.com
Source: Erica Melis What are Meta-Cognitive Activities? self-regulation –planning and monitoring, evaluating problem solving –planning and monitoring of learning ...
Erica Melis - Kissimmee, FL - PublicDataDigger.com
ww.publicdatadigger.com
View public records and voter registration of Erica Melis born 1987, includes court and personal records.
Hands-on Mathematics for Computer Scientists Erica Melis, Martin ...slideplayer.com › slide
slideplayer.com
Presentation on theme: "Hands-on Mathematics for Computer Scientists Erica Melis, Martin Homik Seminar WS "— Presentation transcript: 1 Hands-on ...
erica melis (tell) - Universität des Saarlandes
studylib.net
Free essays, homework help, flashcards, research papers, book reports, term papers, history, science, politics
Erica Melis (erica_melis) – Profil | Pinterest
www.pinterest.it
Guarda cosa ha scoperto Erica Melis (erica_melis) su Pinterest, la raccolta di idee più grande del mondo.
© LeActiveMath, annual review Source: Erica Melis...
slideplayer.com
3 Source: Erica Melis annual review Work Packages WP1 Requirement analysis (DFKI) WP2 Knowledge representation (UdS) WP3 Components and tools (DFKI) …
PPT – Dr. habil Erica Melis PowerPoint presentation | free to view
www.powershow.com
Title: Dr. habil Erica Melis 1. Educational Technologies WS Dr. habil Erica Melis; ActiveMath- Group; Deutsches Forschungszentrum; für Künstliche ...
PPT - Tianxiang Lu, Guillaume Jacquet, Aaron Kaplan, Erica Melis ...www.slideserve.com › brandee-canute › tianxiang-l...
www.slideserve.com
ParSemKB Integrating Text Mining Results form Different Modules Using Extended OWL-DL. Tianxiang Lu, Guillaume Jacquet, Aaron Kaplan, Erica Melis.
doc - erica melis
studyres.com
Find the training resources you need for all your activities. Studyres contains millions of educational documents, questions and answers, notes about the...
Erica Melis y. University of Edinburgh, Department of AI. 80 South...
docplayer.net
1 A Model of Analogy-Driven Proof-Plan Construction Erica Melis y University of Edinburgh, Department of AI 80 South Bridge, Edinburgh EH1 1HN, Scotland Abstract This paper addresses a model of analogy-driven theorem proving that is more general and cognitively more adequate than previous approaches. The model ...
Erica Melis: Background Data, Facts, Social Media, Net Worth and more!
www.namedat.com
Interesting facts and data about Erica Melis: life expectancy, age, death date, gender, popularity, net worth, location, social media outreach, biography, and...
Hands-on Mathematics for Computer Scientists Erica Melis, Martin...
vdocuments.site
Hands-on Mathematics for Computer Scientists Erica Melis, Martin Homik Seminar WS How to improve learning in math? Polya, Leron framework Plan and...
sortiert nach Relevanz / Datum