Publications of Manfred Kerber

Homepage     Address     Directions Research     Research Interests     Funded Projects     Publications     All Publications     Talks     Partiality     PhD Students Events Teaching     Logic for Computer Science     Commercial Programming     Project Prosals     Previously taught modules Administration     Senior Tutor     Web page maintance     Exchanges Tutor Timetable Short CV

A Study of Structural and Parametric Learning in XCS Evolutionary Computation Journal, 14, pages \fc Tim Kovacs, Manfred Kerber, 2006 Available: BiBTeX  © MIT Press 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, 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, 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\"uller, 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, 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, pages 299-320 Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou, 1998 Available: BiBTeX  pdf  PostScript  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ñas 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 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, 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 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\lystok Campus, URL: \URLhttp://www.mcs.anl.gov/qed/index.html 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\lystok Campus, URL: \URLhttp://www.mcs.anl.gov/qed/index.html 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, 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 Lecture Notes, Fachbereich Informatik, Universität des Saarlandes, D-66041 Saarbrü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 Lecture Notes, Fachbereich Informatik, Universität des Saarlandes, D-66041 Saarbrü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 Lecture Notes, Fachbereich Informatik, Universität des Saarlandes, D-66041 Saarbrü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 Lecture Notes, Fachbereich Informatik, Universität Kaiserslautern, Germany Manfred Kerber, Axel Präcklein, eds., 1989 Available: BiBTeX  pdf  PostScript  Gesellschaftliche Verantwortung der Informatiker Seminar Lecture Notes, Fachbereich Informatik, Universität Kaiserslautern, Germany Manfred Kerber, Axel Präcklein, eds., 1988 Über die Nichtexistenz semistabiler Rang 2 Bündel über P4(C) mit c1=0 und c2=3 Master Thesis, Fachbereich Mathematik, Universität Kaiserslautern Manfred Kerber, 1983