Homepage of Manfred Kerber

Articles and Book Publications

Reasoning without Believing: On the Mechanization of Presuppositions and Partiality
Journal of Applied Non-Classical Logics Manfred Kerber, Michael Kohlhase, forthcoming
A Ramsey bound on stable sets in Jordan pillage games
International Journal of Game Theory, 40(3), pages 461-466 Manfred Kerber, Colin Rowat, 2011
Forword
Mathematics in Computer Science, 2(2), pages 193-194 Manfred Kerber, 2008
Combined reasoning by automated cooperation
Journal of Applied Logic, 6(3), pages 318-342 Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber, 2008
Informal and Formal Representations in Mathematics
From Insight to Proof: Festschrift in Honour of Andrzej Trybulec; editor: Roman Matuszewski and Anna Zalewska, pages 75-94 Manfred Kerber, Martin Pollet, 2007
Available: pdf © University of Białystok
A Study of Structural and Parametric Learning in XCS
Evolutionary Computation Journal, 14(1), pages 1-19 Tim Kovacs, Manfred Kerber, 2006
Available: BiBTeX pdf © MIT Press
What makes a problem hard for XCS?
Foundations of Learning Classifier Systems; editor: Larry Bull and Tim Kovacs, pages 317-336 Tim Kovacs, Manfred Kerber, 2005
Available: html BiBTeX pdf PostScript © Springer Verlag
From MKRP to Omega
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of his 60th Birthday; editor: Dieter Hutter and Werner Stephan, pages 139-153 Manfred Kerber, 2005
Available: html BiBTeX pdf PostScript © Springer Verlag
Living with paradoxes
Electronic Notes in Theoretical Computer Science, 123, pages 151-163 Manfred Kerber, 2005
Available: html BiBTeX pdf PostScript © Elsvier B.V., ENTCS
Living with paradoxes
AISB Quaterly, 116, pages 2 & 7 Manfred Kerber, 2004
Available: html BiBTeX pdf PostScript © AISB
Automatic Learning of Proof Methods in Proof Planning
Logic Journal of the IGPL, 11(6), pages 647-673 Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller, 2003
Available: html BiBTeX pdf PostScript © Oxford University Press
Model-Guided Proof Planning
Logical and Computational Aspects of Model-Based Reasoning; editor: Lorenzo Magnani and Nancy J. Nersessian and Claudio Pizzi, pages 143-162 Seungyeob Choi, Manfred Kerber, 2002
Available: html BiBTeX pdf PostScript © Kluwer Academic
Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors
Journal of Symbolic Computation, 32(1-2), pages 1-2 Tomás Recio, Manfred Kerber, 2001
Available: html BiBTeX pdf PostScript © Academic Press
Prisoners of Reason
AISB Quarterly, 104, pages 13-19 Manfred Kerber, 2000
Available: html BiBTeX pdf PostScript © Manfred Kerber
Proof Planning - A Practical Approach to Mechanised Reasoning in Mathematics
Automated Deduction - A Basis for Applications; editor: Wolfgang Bibel and Peter H. Schmitt, pages 77-95 Manfred Kerber, 1998
Available: BiBTeX pdf PostScript
Integrating Computer Algebra into Proof Planning
Journal of Automated Reasoning, 21(3), pages 327-355 Manfred Kerber, Michael Kohlhase, Volker Sorge, 1998
Available: BiBTeX pdf PostScript
Adaptation of Declaratively Represented Methods in Proof Planning
Annals of Mathematics and Artificial Intelligence, 23(3-4), pages 299-320 Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou, 1998
Available: BiBTeX pdf PostScript © Springer Verlag, http://dx.doi.org/10.1023/A:1018980611571
A Tableau Calculus for Partial Functions
Collegium Logicum - Annals of the Kurt-Gödel-Society, 2, pages 21-49 Manfred Kerber, Michael Kohlhase, 1996
Available: BiBTeX pdf PostScript
Die Beweisentwicklungsumgebung Omega-MKRP
Informatik - Forschung und Entwicklung, 11, pages 20-26 Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann, 1996
Available: BiBTeX pdf PostScript
Using Tactics to Reformulate Formulae for Resolution Theorem Proving
Annals of Mathematics and Artificial Intelligence, 18(2-4), pages 221-241 Manfred Kerber, Axel Präcklein, 1996
Available: BiBTeX pdf PostScript
Inferenzverfahren
Wörterbuch der Kognitionswissenschaft; editor: Gerhard Strube, pages 267-275 Manfred Kerber, Jörg Siekmann, 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
Planning Mathematical Proofs with Methods
Journal of Information Processing and Cybernetics, EIK, 30(5-6), pages 277-291 Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn, 1994
Available: BiBTeX pdf PostScript
Deduktionssysteme
KI, 3/92, pages 14-22 Manfred Kerber, Christoph Weidenbach, 1992
Available: BiBTeX pdf PostScript

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