|
|
- A Tough Nut for Mathematical Knowledge Management
Proceedings of the 2005 Conference on Mathematical Knowledge Management; editor: Michael Kohlhase, pages \fc, Springer, LNCS/LNAI
Manfred Kerber, Martin Pollet,
2005
Available: html pdf PostScript © Springer Verlag
- Intuitive and Formal Representations: The Case of Matrices
Mathematical Knowledge Management. Third International Conference, MKM; editor: Andrea Asperti and Grzegorz Bancerek and Andrzej Trybulec, Springer, LNCS 3119
Martin Pollet, Volker Sorge, Manfred Kerber,
2004
Available: html BiBTeX pdf PostScript © Springer Verlag
- Using Tactics to Reformulate Formulae for Resolution Theorem Proving
Annals of Mathematics and Artificial Intelligence, 18, pages 221-241
Manfred Kerber, Axel Präcklein,
1996
Available: BiBTeX pdf PostScript
- Proceedings of ECAI-96 Workshop on the Representation of Mathematical Knowledge
Budapest, Hungary
Herbert Stoyan, Karsten Homann, Sabine Jacob, Manfred Kerber, eds.,
1996
Available: BiBTeX Further Info.
- Two Kinds of Non-Monotonic Analogical Inference
Proceedings of the FAPR, International Conference on Formal and Applied Practical Reasoning; editor: Dov Gabbay and Hans Jürgen Ohlbach, pages 361-374, Springer Verlag, Berlin, Germany, LNAI 1085
Manfred Kerber, Erica Melis,
1996
Available: BiBTeX pdf PostScript © Springer Verlag
- Requirements for Building up Large Mathematical Knowledge Bases
Proceedings of the ECAI-96 Workshop
``Representation of Mathematical Knowledge''; editor: Herbert Stoyan and Karsten Homann and Sabine Jacob and Manfred Kerber, pages 15-18
Manfred Kerber,
1996
Available: BiBTeX pdf PostScript
- An Approach of Formalizing Mathematics by Reformulations - A
Proposal for QED
Electronic Journal: Mathesis Universalis -
A Neo-Leibnizian Forum for Mind-and-Matter, 1
Manfred Kerber,
1995
Available: BiBTeX pdf PostScript
- Reformulating Resolution Problems by Tactics
Proceedings of the WOCFAI, Second World Conference on the Fundamentals of AI; editor: Michel De Glas and Zdzislaw Pawlak, pages 169-180, Angkor, Paris, France
Manfred Kerber, Axel Präcklein,
1995
Available: BiBTeX pdf PostScript
- Using Exemplary Knowledge for Justified Analogical Reasoning
Proceedings of the WOCFAI, Second World Conference on the Fundamentals of AI; editor: Michel De Glas and Zdzislaw Pawlak, pages 157-168, Angkor, Paris, France
Manfred Kerber, Erica Melis,
1995
Available: BiBTeX pdf PostScript
- Analogical Reasoning with a Hybrid Knowledge Base
Proceedings of the IJCAI-Workshop on Principles of Hybrid Reasoning
and Representation; editor: Erica Melis, pages 85-95
Manfred Kerber, Erica Melis, Jörg H. Siekmann,
1993
Available: BiBTeX pdf PostScript
- Reasoning with Assertions and Examples
Working Notes of the AAAI Spring Symposium on AI and Creativity; editor: Terry Dartnell and Steven Kim and Fay Sudweeks, pages 61-66
Manfred Kerber, Erica Melis, Jörg H. Siekmann,
1993
Available: BiBTeX pdf PostScript
- A Mathematical Knowledge Base for Proving Theorems in Semigroup
and Automata Theory - Part I
Fachbereich Informatik, Universität des Saarlandes,
Saarbrücken, Germany. SEKI Working Paper, SR-93-02
Barbara Schütt, Manfred Kerber,
1993
Available: BiBTeX pdf PostScript
- Reasoning with Assertions And Examples
Fachbereich Informatik, Universität des Saarlandes,
Saarbrücken, Germany. SEKI Report, SR-93-10
Manfred Kerber, Erica Melis, Jörg Siekmann,
1993
Available: BiBTeX pdf PostScript
- Analogical Reasoning with Typical Examples
Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany. SEKI Report, SR-92-13
Manfred Kerber, Erica Melis, Jörg Siekmann,
1992
Available: BiBTeX pdf PostScript
- Tactics for the Improvement of Problem Formulation in Resolution-Based
Theorem Proving
Fachbereich Informatik, Universität des Saarlandes,
Saarbrücken, Germany. SEKI Report, SR-92-09
Manfred Kerber, Axel Präcklein,
1992
Available: BiBTeX pdf PostScript
- On the Representation of Mathematical Concepts and their Translation into First Order Logic
PhD Thesis, Fachbereich Informatik, Universität Kaiserslautern
Manfred Kerber,
1992
Available: BiBTeX pdf PostScript
- On the Representation of Mathematical Knowledge in Frames and its Consistency
WOCFAI '91 - Proceedings of the First World Conference on the Fundamentals of Artificial Intelligence; editor: Michel De Glas and Dov Gabbay, pages 293-301, Angkor, Paris, France
Manfred Kerber,
1991
Available: BiBTeX pdf PostScript
- Useful Properties of a Frame-Based Representation of Mathematical Knowledge
Fachbereich Informatik, Universität des Saarlandes,
Saarbrücken, Germany. SEKI Report, SR-91-06
Manfred Kerber,
1991
Available: BiBTeX pdf PostScript
|