Homepage of Manfred Kerber

Address

Research Interests

Funded Projects

Talks

Software Workshop

Project Prosals

Adv. Msc Project Prosals

Previously taught modules

Departmental Seminar

Project Coordinator

Manfred Kerber

Conference Publications

Using Theorema in the Formalization of Theoretical Economics
Intelligent Computer Mathematics; editor: J. Davenport and W.M. Famer 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

© 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/conf.php.