Homepage of Manfred Kerber

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
Using Theorema in the Formalization of Theoretical Economics
Intelligent Computer Mathematics; editor: J. Davenport and W.M. Farmer and F. Rabe and J. Urban, pages 58--73, Springer, LNAI 6824 Manfred Kerber, Colin Rowat, Wolfgang Windsteiger, 2011
Proof, Proofs, Proofs, and Proofs
Intelligent Computer Mathematics; editor: S. Autexier and J. Calmet and D. Delahaye and P. Ion and L. Rideau and R. Rioboo and A. Sexton, pages 345-354, Springer, LNAI 6167 Manfred Kerber, 2010
Heuristics for Resolution in Propositional Logic
KI 2009: Advances in Artificial Intelligence; editor: Bärbel Mertsching and Marcus Hund and Zaheer Aziz, pages 656-663, Springer, LNAI 5803 Manfred Kerber, 2009
Available: BiBTeX © Springer Verlag, http://www.springerlink.com/content/ppn21q322r1gu447/?p=23ce24c6fd364aab85079cd4c358f0d1&pi=81
A CommonLisp program to compute the upper bound of a Ramsey number
link Manfred Kerber, Colin Rowat, 2009
A Ramsey Bound on Stable Sets in Jordan Pillage Games
link Manfred Kerber, Colin Rowat, 2009
Stable sets in three agent pillage games
link Manfred Kerber, Colin Rowat, 2009
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
Management of Mathematical Knowledge
Mathematics in Computer Science, Manfred Kerber, ed., 2008
Available: BiBTeX Further Info.
Normalization Issues in Mathematical Representations
Intelligent Computer Mathematics (Mathematical Knowledge Management - 7th International Conference, MKM 2008; editor: Serge Autexier and John Campbell and Julio Rubio and Volker Sorge and Masakazu Suzuki and Freek Wiedijk, pages 494--503, Springer, LNAI 5144 Manfred Kerber, 2008
Available: BiBTeX © Springer Verlag, http://www.springer.com/computer/artificial/book/978-3-540-85109-7
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
Proceedings Calculemus/MKM, Towards Mechanized Mathematical Assistants
Springer, Hagenberg, Austria Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger, eds., 2007
Informal Proceedings Deduktionstreffen
link, Koblenz, Germany Manfred Kerber, ed., 2007
Moods and Shallow Emotions for Balanced Speech Acts in Computer Games
Proceedings of the 2nd Workshop on Emotion and Computing - Current Research and Future Impact; editor: Dirk Reichardt and Paul Levi, pages 6, ISSN 1865-6374 Mireille Rojas Romero, Manfred Kerber, 2007
Available: BiBTeX © Mireille Rojas Romero, Manfred Kerber
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
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
Extending Hoare Calculus to Deal with Crash
The University of Birmingham, School of Computer Science. Research Reports, CSR-06-08 Viviana Bono, Manfred Kerber, 2006
Available: BiBTeX pdf PostScript © Viviana Bono and Manfred Kerber
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
Why is the Lucas-Penrose Argument Invalid?
Proceedings of the 28th German Conference on Artificial Intelligence - KI 2005; editor: Uli Furbach, pages 380--393, Springer, LNAI 3698 Manfred Kerber, 2005
Available: html BiBTeX pdf PostScript © Springer Verlag
Can a Higher-Order and a First-Order Theorem Prover Cooperate?
Proceedings of the 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR); editor: Franz Baader and Andrei Voronkov, pages 415--431, Springer, LNAI 3452 Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber, 2005
Available: html BiBTeX pdf PostScript © Springer Verlag
Combining Proofs of Higher-Order and First-Order Automated Theorem Provers
Proceedings of the Workshop on Empirically Successful Automated Reasoning in Higher-order Logic; editor: Christoph Benzmüller, John Harrison, Carsten Schürmann, pages 45--58 Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber, 2005
Available: html BiBTeX pdf PostScript © Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
LocModGen - Model Generation by Local Search
12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice; editor: Dave Berry, Alan Bundy, Jacques Fleuriot Manfred Kerber, 2005
Available: html BiBTeX pdf PostScript © Manfred Kerber
Living with paradoxes
AISB Quaterly, 116, pages 2 & 7 Manfred Kerber, 2004
Available: html BiBTeX pdf PostScript © AISB
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
High classification accuracy does not imply effective genetic search
Genetic and Evolutionary Computation - GECCO: Genetic and Evolutionary Computation Conference. Proceedings, Part II; editor: Kalyanmoy Deb et al., pages 785-796, Springer, LNCS 3103 Tim Kovacs, Manfred Kerber, 2004
Available: html BiBTeX pdf PostScript © Springer Verlag
A Three-Valued Hoare Calculus
11th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice; editor: Brandon Bennett Viviana Bono, Manfred Kerber, 2004
Available: html BiBTeX pdf PostScript © Viviana Bono, Manfred Kerber
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
On Truth, Strings, and Paradoxes
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-03-01 Manfred Kerber, 2003
Available: html BiBTeX pdf PostScript © Manfred Kerber
On the Design of Mathematical Concepts
Norman Foo's Festschrift, Abhaya Nayak and Maurice Pagnucco, eds. Manfred Kerber, Martin Pollet, 2003
Available: html BiBTeX pdf PostScript © Manfred Kerber, Martin Pollet
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
On the Design of Mathematical Concepts
AI-2002: 15th Australian Joint Conference on Artificial Intelligence; editor: Bob McKay and John Slaney, pages 716, Springer, LNAI 2557 Manfred Kerber, Martin Pollet, 2002
Available: html BiBTeX pdf PostScript © Springer Verlag
Semantic Selection for Resolution in Clause Graphs
AI-2002: 15th Australian Joint Conference on Artificial Intelligence; editor: Bob McKay and John Slaney, pages 83-94, Springer, LNAI 2557 Seungyeob Choi, Manfred Kerber, 2002
Available: html BiBTeX pdf PostScript © Springer Verlag
LearnOmatic: System Description
CADE-2002: Conference on Automated Deduction; editor: Andrei Voronkov, pages 150-155, Springer, LNAI 2392 Mateja Jamnik, Manfred Kerber, Martin Pollet, 2002
Available: html BiBTeX pdf PostScript © Springer Verlag
Automatic Learning in Proof Planning
ECAI-2002: European Conference on Artificial Intelligence; editor: Frank van Harmelen, pages 282-286, IOS Press Mateja Jamnik, Manfred Kerber, Martin Pollet, 2002
Available: html BiBTeX pdf PostScript © IOS Press
On the Design of Mathematical Concepts
Calculemus Work-in-Progress-Papers; editor: Olga Caprotti and Volker Sorge Manfred Kerber, Martin Pollet, 2002
Available: html BiBTeX pdf PostScript © Manfred Kerber, Martin Pollet
Crash in Program and Logic
AVoCS 2002 - Automated Verification of Critical Systems ; editor: Gethin Norman and Marta Kwiatkowska and Dimitar Guelev, pages 23, TR CSR-02-6 Viviana Bono, Manfred Kerber, 2002
Available: html BiBTeX pdf PostScript © Viviana Bono, Manfred Kerber
On the Design of Mathematical Concepts
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-02-06 Manfred Kerber, Martin Pollet, 2002
Available: html BiBTeX pdf PostScript © Manfred Kerber, Martin Pollet
Automatic Learning in Proof Planning
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-02-03 Mateja Jamnik, Manfred Kerber, Martin Pollet, 2002
Available: html BiBTeX pdf PostScript © Mateja Jamnik, Manfred Kerber, Martin Pollet
Automatic Learning of Proof Methods in Proof Planning
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-02-05 Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller, 2002
Available: html BiBTeX pdf PostScript © Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller
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
Proceedings of IJCAR Workshop on Future Directions in Automated Reasoning
Manfred Kerber, ed., 2001
Available: BiBTeX Further Info.
Special Issue on ``Computer Algebra and Mechanized Reasoning''
Journal of Symbolic Computation, Tomás Recio, Manfred Kerber, eds., 2001
Available: BiBTeX Further Info.
Symbolic Calculation and Automated Reasoning: The CALCULEMUS-2000 Symposium
A K Peters, St Andrews, Scotland Manfred Kerber, Michael Kohlhase, eds., 2001
Available: BiBTeX Further Info.
Experiments with an Agent-oriented Reasoning System
KI-2001 Symposium; editor: F. Baader and G. Brewka and T. Eiter, pages 409--424, Springer, LNAI 2174 Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge, 2001
Available: html BiBTeX pdf PostScript © Springer Verlag
Resource Guided Concurrent Deduction
Symbolic Calculation and Automated Reasoning: The CALCULEMUS-2000 Symposium; editor: Manfred Kerber and Michael Kohlhase, pages 243--244, A K Peters Mateja Jamnik, Manfred Kerber, Christoph Benzmüller, Volker Sorge, 2001
Available: html BiBTeX pdf PostScript © A K Peters
Towards Learning New Methods in Proof Planning
Symbolic Calculation and Automated Reasoning: The CALCULEMUS-2000 Symposium; editor: Manfred Kerber and Michael Kohlhase, pages 141--156, A K Peters Mateja Jamnik, Manfred Kerber, Christoph Benzmüller, 2001
Available: html BiBTeX pdf PostScript © A K Peters
What makes a problem hard for XCS?
Advances in Learning Classifier Systems; editor: Pier Luca Lanzi and Wolfgang Stolzmann and Stewart W. Wilson, pages 80-99 Tim Kovacs, Manfred Kerber, 2001
Available: html BiBTeX pdf PostScript © Springer Verlag
A Challenge for Mechanized Deduction
Proceedings of the IJCAR 2001 Workshop: Future Directions in Automated Reasoning, pages 13--24 Christoph Benzmüller, Manfred Kerber, 2001
Available: html BiBTeX pdf PostScript © Christoph Benzmüller, Manfred Kerber
A Lost Proof
Christoph Benzmüller, Manfred Kerber, 2001
Available: html BiBTeX pdf PostScript © Christoph Benzmüller, Manfred Kerber (similar to next entry)
A Challenge for Mechanized Deduction
Proceedings of IJCAR Workshop on Future Directions in Automated Reasoning; editor: Manfred Kerber, pages 13--24 Christoph Benzmüller, Manfred Kerber, 2001
Available: html BiBTeX pdf PostScript © Christoph Benzmüller, Manfred Kerber (similar to previous entry)
Learning Methods Outlines in Proof Planning
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-01-08 Mateja Jamnik, Manfred Kerber, Christoph Benzmüller, 2001
Available: html BiBTeX pdf PostScript © Mateja Jamnik, Christoph Benzmüller, Manfred Kerber
Prisoners of Reason
AISB Quarterly, 104, pages 13-19 Manfred Kerber, 2000
Available: html BiBTeX pdf PostScript © Manfred Kerber
Computational Logic - CL 2000, First International Conference
Springer, London, England John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Liu Lau, Catuscia Palmidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey, eds., 2000
Available: BiBTeX Further Info.
Some dimensions of problem complexity for XCS
Proceedings of the 2000 Genetic and Evolutionary Computation Conference Workshop Program; editor: Annie S. Wu Tim Kovacs, Manfred Kerber, 2000
Available: html BiBTeX pdf PostScript © Tim Kovacs, Manfred Kerber
What makes a problem hard for XCS?
Proceedings of the Third International Workshop on Learning Classifier Systems (IWLCS-2000), in the Joint Workshops of SAB 2000 and PPSN 2000; editor: Pier Luca Lanzi and Wolfgang Stolzmann and Stewart W. Wilson Tim Kovacs, Manfred Kerber, 2000
Available: html BiBTeX pdf PostScript © Tim Kovacs, Manfred Kerber
Towards Learning New Methods in Proof Planning
Workshop-Proceedings of the CADE-Workshop on The Role of Automated Deduction in Mathematics; editor: Simon Colton and Ursula Martin and Volker Sorge, pages 1--11, CADE Mateja Jamnik, Manfred Kerber, Christoph Benzmüller, 2000
Available: html BiBTeX pdf PostScript © Mateja Jamnik, Manfred Kerber, Christoph Benzmüller
The Semantic Clause Graph Procedure
Workshop-Proceedings of the CADE-Workshop on Model Computation - Principles, Algorithms, Applications; editor: Peter Baumgartner and Chris Fermüller and Nicolas Peltier and Hantao Zhang, pages 29--37, CADE Manfred Kerber, Seungyeob Choi, 2000
Available: html BiBTeX pdf PostScript © Manfred Kerber, Seungyeob Choi
Prisoners of Reason
Workshop-Proceedings of the AISB-2000 Workshop: Artificial Intelligence, Ethics and (Quasi-) Human Rights; editor: John Barnden, pages 17--22, AISB Manfred Kerber, 2000
Available: html BiBTeX pdf PostScript © Manfred Kerber
Resource Guided Concurrent Deduction
Workshop-Proceedings of the AISB-2000 Workshop: How to Design a Functioning Mind; editor: Aaron Sloman, pages 137--138, AISB Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge, 2000
Available: html BiBTeX pdf PostScript © Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
What Makes a Problem Hard for XCS?
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-00-18 Tim Kovacs, Manfred Kerber, 2000
Available: html BiBTeX pdf PostScript © Tim Kovacs, Manfred Kerber
Towards Learning New Methods in Proof Planning
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-00-09 Mateja Jamnik, Manfred Kerber, Christoph Benzmüller, 2000
Available: html BiBTeX pdf PostScript © Mateja Jamnik, Manfred Kerber, Christoph Benzmüller
Prisoners of Reason
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-00-04 Manfred Kerber, 2000
Available: html BiBTeX pdf PostScript © Manfred Kerber
Proceedings of the Sixth Automated Reasoning Workshop - Bridging the Gap between Theory and Practice
Edinburgh, Scotland Manfred Kerber, ed., 1999
Available: BiBTeX Further Info.
Agent Based Mathematical Reasoning
Workshop-Proceedings of the CADE-Calculemus Workshop; editor: Alessandro Armando and Tudor Jebelean, CADE Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge, 1999
On Truth, Knowledge, Strings, and Paradoxes
Proceedings of the Sixth Automated Reasoning Workshop - Bridging the Gap between Theory and Practice; editor: Manfred Kerber, AISB Manfred Kerber, 1999
Available: pdf PostScript
Towards Concurrent Resource Managed Deduction
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-99-17 Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge, 1999
Available: BiBTeX pdf PostScript
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
Proceedings of CADE-15 Workshop on Mechanization of Partial Functions
Lindau, Germany Manfred Kerber, ed., 1998
Available: BiBTeX Further Info.
On Knowledge, Strings, and Paradoxes
Proceedings of JELIA'98, Logics in Artificial Intelligence; editor: Jürgen Dix and Luís Fari\ nas del Cerro and Ulrich Furbach, pages 342--354, Springer Verlag, Berlin\GERMANY Manfred Kerber, 1998
Available: BiBTeX pdf PostScript © Springer Verlag
On Knowledge, Strings, and Paradoxes - A Three-Valued Approach
International Workshop/Conference on Many Valued Logics in Computer Science Applications, Middle East Technical University Manfred Kerber, 1998
Reasoning without Believing: On the Mechanization of Presuppositions and Partiality
International Workshop/Conference on Many Valued Logics in Computer Science Applications, Middle East Technical University Manfred Kerber, Michael Kohlhase, 1998
Available: BiBTeX
Towards an Open System for Theorem Proving
Calculemus Web Page; editor: Arjeh M. Cohen Manfred Kerber, 1998
Available: BiBTeX pdf PostScript
A Three-Valued Approach to Overcome Paradoxes in Syntactic Theory
Proceedings of the CADE-15 Workshop on Mechanization of Partial Functions; editor: Manfred Kerber, pages 85--96 Manfred Kerber, 1998
Available: BiBTeX pdf PostScript
Mechanising Partiality without Re-Implementation
Proceedings of the 21st Annual German Conference on Artificial Intelligence, KI'97; editor: Gerhard Brewka and Christopher Habel and Bernhard Nebel, pages 123--134, Springer Verlag, Berlin\GERMANY, LNAI 1303 Manfred Kerber, Michael Kohlhase, 1997
Available: BiBTeX pdf PostScript © Springer Verlag, http://dx.doi.org/10.1007/3540634932₉
Proving Ground Completeness of Resolution by Proof Planning
FLAIRS-97, Proceedings of the 10th International Florida Artificial Intelligence Research Symposium; editor: Dankel II, Douglas D., pages 372--376, Florida AI Research Society, St.~Petersburg, Florida, USA Manfred Kerber, Arthur C. Sehn, 1997
Available: BiBTeX pdf PostScript
Omega: Towards a mathematical assistant
Proceedings of the 14th International Conference on Automated Deduction (CADE); editor: W. McCune, pages 252--255, Springer-Verlag, Berlin\GERMANY C. Benzmüller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, X. Huang, M. Kerber, M. Kohlhase, K. Konrad, E. Melis, A. Meier, W. Schaarschmidt, J. Siekmann, V. Sorge, 1997
Available: BiBTeX pdf PostScript © Springer Verlag
Generalisation in Mathematical Induction from a Second-Order Point of View
Proceedings of the Poster Session, IJCAI-97 Manfred Kerber, 1997
Available: BiBTeX pdf PostScript
Mechanising Partiality
Workshop-Proceedings AISB-97, Workshop on ``Automated Reasoning: Bridging the Gap between Theory and Practice''; editor: Michael Fisher, pages 43-44 Manfred Kerber, 1997
Available: BiBTeX pdf PostScript
Proof Planning: A Practical Approach to Mechanised Reasoning in Mathematics
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-97-24 Manfred Kerber, 1997
Available: BiBTeX pdf PostScript
Reasoning without Believing: On the Mechanization of Presuppositions and Partiality
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-97-23 Manfred Kerber, Michael Kohlhase, 1997
Available: BiBTeX pdf PostScript
Mechanising Partiality without Re-Implementation
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-97-10 Manfred Kerber, Michael Kohlhase, 1997
Available: BiBTeX pdf PostScript
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
Proceedings of CADE-13 Workshop on Mechanization of Partial Functions
New Brunswick, New Jersey, USA William Farmer, Manfred Kerber, Michael Kohlhase, eds., 1996
Available: BiBTeX Further Info.
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.
A Resolution Calculus for Presuppositions
Proceedings of the 12th ECAI; editor: Wolfgang Wahlster, pages 375--379, John Wiley \& Sons, Chichester, England Manfred Kerber, Michael Kohlhase, 1996
Available: BiBTeX pdf PostScript
Integrating Computer Algebra with Proof Planning
Proceedings of DISCO, Conference on Design and Implementation of Symbolic Computation Systems; editor: Jaques Calmet and Carla Limongelli, pages 204--215, Springer, LNCS 1128 Manfred Kerber, Michael Kohlhase, Volker Sorge, 1996
Available: BiBTeX pdf PostScript © Springer Verlag
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₈6
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
Partiality without the Cost
CADE-13 Workshop on Mechanization of Partial Functions; editor: William Farmer and Manfred Kerber and Michael Kohlhase, pages 65--76 Manfred Kerber, Michael Kohlhase, 1996
Available: BiBTeX pdf PostScript
The Adaptation of Proof Methods by Reformulation
Proceedings of the First Workshop on Abstraction, Analogy and Metareasoning; editor: Alessandro Armando and Erica Melis, pages 40--48 Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou, 1996
Available: BiBTeX pdf PostScript
A Call for Standardising Input and Output Formats of Deduction Systems
Workshop-Proceedings AISB-96, Workshop on ``Automated Reasoning: Bridging the Gap between Theory and Practice''; editor: Ian Gent, pages 29--30 Manfred Kerber, 1996
Available: BiBTeX pdf PostScript
The Adaption of Proof Methods by Reformulations
Proceedings of the Fourth International Symposium on ``Artificial Intelligence and Mathematics''; editor: Henry Kautz and Bart Selman Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou, 1996
Available: BiBTeX pdf PostScript
Proving Ground Completeness of Resolution by Proof Planning
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-96-16 Manfred Kerber, Arthur C. Sehn, 1996
Available: BiBTeX pdf PostScript
Common Syntax of the DFG-Schwerpunktprogram ``Deduktion''
Universität Karlsruhe, Fakultät für Informatik. Interner Bericht, 10/96 Reiner Hähnle, Manfred Kerber, Christoph Weidenbach, 1996
Available: BiBTeX pdf PostScript
An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-96-09 Manfred Kerber, Michael Kohlhase, Volker Sorge, 1996
Available: BiBTeX pdf PostScript
A Resolution Calculus for Presuppositions
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-96-03 Manfred Kerber, Michael Kohlhase, 1996
Available: BiBTeX pdf PostScript
Minimal Polynomial Logic: Properties and Extensions
The University of Birmingham, School of Computer Science. Cognitive Science Research Papers, CSRP-96-02 Riccardo Poli, 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
Adapting the Diagonalization Method by Reformulations
Proceedings of the Symposium on Abstraction, Reformulation, and Approximation, SARA-95; editor: Alon Levy and Pandu Nayak Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou, 1995
Available: BiBTeX pdf PostScript
Reuse of Proofs by Meta-Methods
Proceedings of the IJCAI-Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs; editor: Jana Köhler and Fausto Giunchiglia and Cordell Green and Christoph Walther, pages 46--50 Xiaorong Huang, Manfred Kerber, 1995
Available: BiBTeX pdf PostScript
What Can QED Offer to Mathematics?
Proceedings of the QED Workshop II; editor: Roman Matuszewski, pages 39--40, Technical Report No. L/1/95, Warsaw University -- Bia{\l}ystok Campus, URL: link Manfred Kerber, 1995
Possible Use of Already Formalized Mathematical Knowledge
Proceedings of the QED Workshop II; editor: Roman Matuszewski, pages 13--14, Technical Report No. L/1/95, Warsaw University -- Bia{\l}ystok Campus, URL: link Manfred Kerber, 1995
Adaptation of Declaratively Represented Methods in Proof Planning
Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany. SEKI Report, SR-95-12 Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou, 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
Proceedings of the ECAI-Workshop From Theorem Provers to Mathematical Assistants
Amsterdam, Netherlands Fausto Giunchiglia, Manfred Kerber, Dominique Pastre, eds., 1994
Available: BiBTeX
Sound and Complete Translations from Sorted Higher-Order Logic into Sorted First-Order Logic
Proceedings of PRICAI-94, Third Pacific Rim International Conference on Artificial Intelligence; editor: Michael Georgeff and Zhongzhi Shi and Benjamin W. Wah, pages 149--154, International Academic Publishers, Beijing, China Manfred Kerber, 1994
Available: BiBTeX pdf PostScript
Adapting Methods to Novel Tasks in Proof Planning
KI-94: Advances in Artificial Intelligence; editor: Bernhard Nebel and Leonie Dreschler-Fischer, pages 379--390, Springer Verlag, Berlin\GERMANY Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts, 1994
Available: BiBTeX pdf PostScript © Springer Verlag
On the Translation of Higher-Order Problems into First-Order Logic
Proceedings of the 11th ECAI; editor: Tony Cohn, pages 145--149, John Wiley \& Sons, Chichester, England Manfred Kerber, 1994
Available: BiBTeX pdf PostScript
Omega-MKRP: A proof development environment
Automated Deduction -- CADE-12; editor: Alan Bundy, pages 788--792, Springer Verlag, Berlin\GERMANY Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann, 1994
Available: BiBTeX pdf PostScript © Springer Verlag
A Mechanization of Strong Kleene Logic for Partial Functions
Automated Deduction -- CADE-12; editor: Alan Bundy, pages 371--385, Springer Verlag, Berlin\GERMANY Manfred Kerber, Michael Kohlhase, 1994
Available: BiBTeX pdf PostScript © Springer Verlag
KEIM: A Toolkit for Automated Deduction
Automated Deduction -- CADE-12; editor: Alan Bundy, pages 807--810, Springer-Verlag, Berlin\GERMANY Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann, 1994
Available: BiBTeX pdf PostScript © Springer Verlag
A declarative language for formulating methods
Workshop-Proceedings der KI-94; editor: Jürgen Kunze and Herbert Stoyan, pages 277--278, GI, Bonn Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn, 1994
Available: BiBTeX pdf PostScript
Representing the Diagonalization Methods
Workshop-Proceedings der KI-94; editor: Jürgen Kunze and Herbert Stoyan, pages 279--280, GI, Bonn Xiaorong Huang, Manfred Kerber, Erica Melis, Jörn Richts, 1994
Available: BiBTeX pdf PostScript
A Test for Evaluating the Practical Usefulness of Deduction Systems
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Wolfgang Reif, 1994
Formalizing Mathematics with Dependent Sorts
Workshop-Proceedings der KI-94; editor: Wolfgang Bibel and Christoph Walther, pages 13 Manfred Kerber, Michael Kohlhase, 1994
Available: BiBTeX pdf PostScript
The Omega-\sc mkrp Proof Development Environment
Proceedings of the ECAI-Workshop From Theorem Provers to Mathematical Assistants; editor: Fausto Giunchiglia and Manfred Kerber and Dominique Pastre Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann, 1994
Available: BiBTeX pdf PostScript
How to Use a First-Order Model Generator for Adjusting Problem Formulations in Higher-Order Logic
Proceedings of the CADE-Workshop on Automated Model Building; editor: Ricardo Caferra and Chris Fermüller and Alex Leitsch and Tanel Tammet, pages 22--25 Manfred Kerber, 1994
Available: BiBTeX pdf PostScript
Guaranteeing Correctness through the Communication of Checkable Proofs (or: Would You Really Trust an Automated Reasoning System?)
Proceedings of the CADE-Workshop on Metatheoretic Extensibility of Automated Reasoning Systems; editor: David Basin and Fausto Giunchiglia and Matt Kaufmann, pages 31--33 Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Dan Nesmith, Jörn Richts, 1994
Available: BiBTeX pdf PostScript
A Test for Evaluating the Practical Usefulness of Deduction Systems
Proceedings of the CADE-Workshop on Evaluation of Automated Theorem Proving Systems; editor: Geoff Sutcliffe and Christian B. Suttner, pages 33--36 Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Dan Nesmith, Jörn Richts, 1994
Available: BiBTeX pdf PostScript
Planning Mathematical Proofs with Methods
Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany. SEKI Report, SR-94-08 Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn, 1994
Available: BiBTeX pdf PostScript
Sortenlogiken und ihre Automatisierung
\SCRIPT, Fachbereich Informatik, Universit{\"a}t des Saarlandes, D-66041 Saarbr{\"u}cken\GERMANY Manfred Kerber, 1994
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
Omega-MKRP: A Proof Development Environment
Proceedings of the IJCAI-Workshop on Automated Reasoning; editor: Alan Bundy and Nachum Dershowitz and Martin Golumbic and Hélène Kirchner, pages 35--36 Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann, 1993
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
A Mechanization of Strong Kleene Logic for Partial Functions
Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany. SEKI Report, SR-93-20 Manfred Kerber, Michael Kohlhase, 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
Planverfahren
\SCRIPT, Fachbereich Informatik, Universit{\"a}t des Saarlandes, D-66041 Saarbr{\"u}cken\GERMANY Manfred Kerber, 1993/94
Available: BiBTeX pdf PostScript
Deduktionssysteme
KI, 3/92, pages 14-22 Manfred Kerber, Christoph Weidenbach, 1992
Available: BiBTeX pdf PostScript
Typical examples in reasoning
International Conference on Computing and Philosophy Manfred Kerber, Erica Melis, 1992
Using Tactics to Reformulate Formulae for Resolution Theorem Proving
Second International Symposium on Artificial Intelligence and Mathematics Manfred Kerber, Axel Präcklein, 1992
Omega-MKRP - A Proof Development Environment
Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany. SEKI Report, SR-92-22 Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann, 1992
Available: BiBTeX pdf PostScript
Methods - The Basic Units for Planning and Verifying Proofs
Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany. SEKI Report, SR-92-20 Xiaorong Huang, Manfred Kerber, Michael Kohlhase, 1992
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
Mehrwertige Logiken in der KI
\SCRIPT, Fachbereich Informatik, Universit{\"a}t des Saarlandes, D-66041 Saarbr{\"u}cken\GERMANY Manfred Kerber, 1992/93
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
How to Prove Higher Order Theorems in First Order Logic
Proceedings of the 12th IJCAI; editor: John Mylopoulos and Ray Reiter, pages 137--142, Morgan Kaufman, San Mateo, California, USA 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
How to Prove Higher Order Theorems in First Order Logic
Fachbereich Informatik, Universität Kaiserslautern, Germany. SEKI Report, SR-90-19 Manfred Kerber, 1990
Available: BiBTeX pdf PostScript
Some Aspects of Analogy in Mathematical Reasoning
Analogical and Inductive Inference; International Workshop AII '89; editor: Klaus P. Jantke, pages 231--242, Springer-Verlag, Berlin\GERMANY Manfred Kerber, 1989
Available: BiBTeX pdf PostScript © Springer Verlag
A Frame Based Approach to Representing Mathematical Concepts
Fachbereich Informatik, Universität Kaiserslautern, Germany. SEKI Report, SR-89-20 Manfred Kerber, 1989
Some Aspects of Analogy in Mathematical Reasoning
Fachbereich Informatik, Universität Kaiserslautern, Germany. SEKI Report, SR-89-12 Manfred Kerber, 1989
Beherrschbarkeit von Computersystemen
\SCRIPT, Fachbereich Informatik, Universit{\"a}t Kaiserslautern\GERMANY Manfred Kerber, Axel Präcklein, eds., 1989
Available: BiBTeX pdf PostScript
Gesellschaftliche Verantwortung der Informatiker
\ifgerman{Skript zum Seminar}\else{Seminar Lecture Notes}\fi, Fachbereich Informatik, Universit{\"a}t Kaiserslautern\GERMANY Manfred Kerber, Axel Präcklein, eds., 1988
Über die Nichtexistenz semistabiler Rang 2 Bündel über P₄(C) mit c₁=0 und c₂=3
Manfred Kerber, 1983