Homepage

Address

Directions

Research

Research Interests

Funded Projects

Publications

Talks

Partiality

PhD Students

Events

Teaching

Software Workshop

Project Prosals

Adv. Msc Project Prosals

Previously taught modules

Administration

Departmental Seminar

Senior Tutor

Project Coordinator

Timetable

Short CV

Publications on Representation of Mathematical Knowledge

• A Dynamic Poincaré Principle
  Mathematical Knowledge Management - 5th International Conference, MKM 2006; editor: Jonathan M. Borwein and William M. Farmer, pages 44-53, Springer, LNAI 4108 Manfred Kerber, 2006
  Available: BiBTeX  © Springer Verlag, http://www.springeronline.com/3-540-37104-4
• A Tough Nut for Mathematical Knowledge Management
  Mathematical Knowledge Management - 4th International Conference, MKM 2005; editor: Michael Kohlhase, pages 81-95, Springer, LNAI 3863 Manfred Kerber, Martin Pollet, 2006
  Available: html  BiBTeX  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, http://dx.doi.org/10.1007/3-540-61313-7_86
• 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 

---

© and maintained by Manfred Kerber, School of Computer Science,  The University of Birmingham
Last update: 17.12.2006. The URL of this page is   http://www.cs.bham.ac.uk/~mmk/publications/representation.php.