Manfred Kerber  Home/Search
Context
Related
| cs.bham.ac.uk/pub/auth...SR9106.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.bham.ac.uk/~mmk/publicat...all (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: To prove difficult theorems in a mathematical field requires substantial know- ledge of that field. In this paper a frame-based knowledge representation formalism is presented, which supports a conceptual representation and to a large extent guar- antees the consistency of the built-up knowledge bases. We define a semantics of the representation by giving a translation into the underlaying logic. (Update)
Similar documents (at the sentence level):
62.9%: Useful Properties of a Frame-Based Representation of Mathematical .. - Kerber (1991) (Correct)
Active bibliography (related documents): More All
0.5: Reuse of Proofs by Meta-Methods - Huang, Kerber (Correct)
0.5: Honesty in Partial Logic - van der Hoek, Jaspars, Thijsse (1993) (Correct)
0.3: Linear Algebra - Notation Real Numbers (Correct)
Similar documents based on text: More All
0.4: A Mathematical Knowledge Base for Proving Theorems in.. - Schütt, Kerber (1993) (Correct)
0.2: Requirements for Building up Large Mathematical Knowledge Bases - Kerber (Correct)
0.2: MELISA. An ontology-based agent for information retrieval in.. - Abasolo, Gomez (2000) (Correct)
BibTeX entry: (Update)
@misc{ kerber-useful,
author = "Manfred Kerber",
title = "Useful Properties of a Frame-Based Representation of Mathematical Knowledge",
url = "citeseer.ist.psu.edu/article/kerber91useful.html" }
Citations (may not include all citations):419 A formulation of the simple theory of types (context) - Church - 1940
304 A framework for representing knowledge (context) - Minsky - 1975
151 An Introduction to Mathematical Logic and Type Theory: To Tr.. (context) - Andrews - 1986
58 Principles of Artificial Intelligence (context) - Nilsson - 1980
42 The logic of frames (context) - Hayes - 1985
32 Boyer and J Strother Moore (context) - Robert - 1979
27 The Psychology of Invention in the Mathematical Field (context) - Hadamard - 1949
11 the Representation of Mathematical Concepts and their T'ans-.. (context) - Kerber - 1992
7 The Consistency of the Axiom of Choice and of the Generalize.. (context) - del - 1970
7 The Markgraf Karl Refutation Procedure (context) - GRaph - 1984
4 ber formal unentscheidbare Stze der Principia Mathematica un.. (context) - GSdel - 1931
3 Patterns of Plausible Inference (context) - ya, Plausible et al. - 1954
3 and Werner Stelzner (context) - Kreiser, Gottwald - 1990
2 Partial logic (context) - Blarney - 1986
2 also as Penguin Book (context) - ya, Solve et al. - 1990
1 Vollstndige Induktion (context) - Hutter - 1987
1 Mathematical Discovery 0 utderstatditg (context) - ya - 1962
1 Wie der Beweis der Vermutung von Baudet gefunden wurde (context) - van der Waerden - 1964
1 volume 12 of Heidelberger' Taschenbichev (context) - van der Waerden - 1971
Documents on the same site (http://www.cs.bham.ac.uk/~mmk/publications/all.html): More
Prisoners of Reason - Manfred Kerber Csrp- (Correct)
What makes a problem hard for XCS? - Kovacs, Kerber (Correct)
Semantic Selection for Resolution in Clause Graphs - Choi, Kerber (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC