1
0
0
(1 - 30 von 46
)
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 ...
Automated Deduction – CADE-20: 20th International Conference on ...
books.google.com
Andreas Meier and Erica Melis German Research Center for Artificial Intelligence (DFKI), Saarbrücken, Germany {ameier, ...
KLUEDO | Island Planning and Refinement
kluedo.ub.uni-kl.de
Planning for realistic problems in a static and deterministic environment with complete information faces exponential search spaces and, more often than not,...
KLUEDO | How Mathematicians Prove Theorems
kluedo.ub.uni-kl.de
This paper analyzes how mathematicians prove the-orems. The analysis is based upon several empiricalsources such as reports of mathematicians and math-ematical...
KLUEDO | Analogy Makes Proofs Feasible
kluedo.ub.uni-kl.de
Erica Melis, Manuela Veloso. Many mathematical proofs are hard to generate forhumans and even harder for automated theoremprovers. Classical techniques of automated theoremproving involve the application of basic rules, of built-in special procedures, or of tactics. Melis (Melis 1993)introduced a new method for analogical reasoning inautomated ...
Databases in Networked Information Systems: 4th International ...
books.google.com
The ActiveMath group: Erica Melis, Jochen Büdenbender, George Goguadze, Paul Libbrecht and Carsten Ullrich: “Knowledge Representation and Management in ...
Enabling Collaboration on Semiformal Mathematical Knowledge by ...
books.google.com
[432] Erica Melis, Giorgi Goguadze, Martin Homik, Paul Libbrecht, Carsten Ullrich, and Stefan Winterstein. “Semantic-aware components and services of ...
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. ...
books.google.com
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, and Jörg Siekmann. Omega-MKRP – a proof development environment.
KLUEDO | Decomposition Techniques and their …
kluedo.ub.uni-kl.de
Erica Melis It shows also, howdecomposition can beneficially be applied in theorem proving by analogy.Decomposition is also useful for human-style proof presentation. We proposeseveral decomposition techniques that were found to be useful in automatedtheorem proving and give examples of their application.
Change of Representation in Theorem Proving by Analogy
kluedo.ub.uni-kl.de
Erica Melis. Constructing an analogy between a known and already proven theorem(the base case) and another yet to be proven theorem (the target case) ... › docId
OMDoc -- An Open Markup Format for Mathematical Documents [version ...
books.google.com
[MBG+03] Erica Melis, Jochen Büdenbender, George Goguadze, Paul Libbrecht, and Carsten Ullrich. Knowledge representation and management in activemath.
books.google.com › ... › GeneralArtificial Intelligence in Education: Shaping the Future of Learning ...
books.google.com
How to Teach it PolyaInspired Scenarios in ActiveMath Erica Melis A Modeltracing Intelligent Tutoring System for Teaching Microscopic.
books.google.com › books › about › Change_of_Re...Change of Representation in Theorem Proving by Analogy - Erica ...
books.google.com
Erica Melis. Technische Universität Kaiserslautern, Fachbereich Informatik, Reviews. Reviews aren't verified, but Google checks for and removes fake ...
DAI Database: Documents Authored by: Erica Meliswww.dai.ed.ac.uk › papers › authors › ericam
www.dai.ed.ac.uk
Documents Authored by: Erica Melis. Please note that only papers and publications recorded in this departments database are shown here. An author may have ...
Cognitive and Metacognitive Educational Systems
www.aaai.org
AAAI advances the understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines.
Databases in Networked Information Systems: 4th International ...books.google.ca › books
books.google.ca
The ActiveMath group: Erica Melis, Jochen Büdenbender, George Goguadze, Paul Libbrecht and Carsten Ullrich: “Knowledge Representation and Management ...
KLUEDO | A Model of Analogy-Driven Proof-Plan …
kluedo.ub.uni-kl.de
This paper addresses a model of analogy-driven theorem proving that is more general and cognitively more adequate than previous approaches. The model works at the level ofproof-plans. More precisely, we consider analogy as a control strategy in proof planning that employs a source proof-plan to guide the construction of a proof-plan for the target problem.
PRL Project - Knowledge Base - Nuprl
www.nuprl.org
Filter for: Erica Melis. 2 results. Seminar Proof presentation in the Omega system by Erica Melis October 25, Seminar Knowledge-Based Proof Planning › ...
Specification, authoring and prototyping of personalised AAUvbn.aau.dk › publications › specifi...
vbn.aau.dk
... Geert-Jan Houben, Paul Librecht, Maristella Matera, Erica Melis, Wolfgang Nejdl, Marcus Specht, Craig Stewart, David Smits, Natalia Stash, Colin Tattersall.
Artificial Intelligence in Education: Shaping the Future of ...
books.google.com
( Eds . ) IOS Press , How to Teach it - Polya - Inspired Scenarios in Active Math Erica Melis and Carsten Ullrich DFKI and Saarland University ,
Case-Based Reasoning Research and Development: 5th International...
books.google.com.ua
Brian Lees Ramon López de Mántaras Michel Manago Cindy Marling Bruce McLaren David McSherry Erica Melis Alain Mille Héctor Mu ̃noz-Avila Bart Netten ...
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. ...books.google.ca › books
books.google.ca
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, and Jörg Siekmann. Omega-MKRP – a proof development ...
Specification, authoring and prototyping of personalized ...
research.ou.nl
... Geert-Jan Houben, Paul Libbrecht, Maristella Matera, Erica Melis, Wolfgang Nejdl, M.M. Specht, Craig Stewart, David Smits, Natalia Stash, C. Tattersall. › fingerprints
The Heine–Borel Challenge Problem. In Honor of Woody Bledsoe ...
ur.booksc.eu
The Heine–Borel Challenge Problem. In Honor of Woody Bledsoe | Erica Melis | download | BookSC. Download books for free. Find books. › book
sortiert nach Relevanz / Datum