Manfred Kerber

Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger: A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. CoRR abs/1303.4193 (2013)

Christoph Lange, Colin Rowat, Manfred Kerber: The ForMaRE Project --- Formal Mathematical Reasoning in Economics. CoRR abs/1303.4194 (2013)

Manfred Kerber, Michael Kohlhase: Reasoning without believing: on the mechanisation of presuppositions and partiality. Journal of Applied Non-Classical Logics 22(4): 295-317 (2012)

Manfred Kerber, Colin Rowat: A Ramsey bound on stable sets in Jordan pillage games. Int. J. Game Theory 40(3): 461-466 (2011)

Manfred Kerber, Colin Rowat, Wolfgang Windsteiger: Using Theorema in the Formalization of Theoretical Economics. Calculemus/MKM 2011: 58-73

Manfred Kerber: Proofs, Proofs, Proofs, and Proofs. AISC/MKM/Calculemus 2010: 345-354

Manfred Kerber: Proofs, proofs, proofs, and proofs. CoRR abs/1005.5124 (2010)

Manfred Kerber: Heuristics for Resolution in Propositional Logic. KI 2009: 656-663

Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Combined reasoning by automated cooperation. J. Applied Logic 6(3): 318-342 (2008)

Manfred Kerber: Foreword. Mathematics in Computer Science 2(2): 193-194 (2008)

Manfred Kerber: Normalization Issues in Mathematical Representations. AISC/MKM/Calculemus 2008: 494-503

Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (Eds.): Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings. Lecture Notes in Computer Science 4573, Springer 2007, isbn 978-3-540-73083-5

Tim Kovacs, Manfred Kerber: A Study of Structural and Parametric Learning in XCS. Evolutionary Computation 14(1): 1-19 (2006)

Manfred Kerber: A Dynamic Poincaré Principle. MKM 2006: 44-53

Manfred Kerber: Living with Paradoxes. Electr. Notes Theor. Comput. Sci. 123: 151-163 (2005)

Manfred Kerber: From MKRP to Omega. Mechanizing Mathematical Reasoning 2005: 139-153

Manfred Kerber: Why Is the Lucas-Penrose Argument Invalid?. KI 2005: 380-393

Manfred Kerber, Martin Pollet: A Tough Nut for Mathematical Knowledge Management. MKM 2005: 81-95

Tim Kovacs, Manfred Kerber: High Classification Accuracy Does Not Imply Effective Genetic Search. GECCO (2) 2004: 785-796

Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Can a Higher-Order and a First-Order Theorem Prover Cooperate?. LPAR 2004: 415-431

Martin Pollet, Volker Sorge, Manfred Kerber: Intuitive and Formal Representations: The Case of Matrices. MKM 2004: 317-331

Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller: Automatic Learning of Proof Methods in Proof Planning. Logic Journal of the IGPL 11(6): 647-673 (2003)

Seungyeob Choi, Manfred Kerber: Semantic Selection for Resolution in Clause Graphs. Australian Joint Conference on Artificial Intelligence 2002: 83-94

Manfred Kerber, Martin Pollet: On the Design of Mathematical Concepts. Australian Joint Conference on Artificial Intelligence 2002: 716

Mateja Jamnik, Manfred Kerber, Martin Pollet: Learn Omega-matic: System Description. CADE 2002: 150-155

Mateja Jamnik, Manfred Kerber, Martin Pollet: Automatic Learning in Proof Planning. ECAI 2002: 282-286

Tomás Recio, Manfred Kerber: Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors. J. Symb. Comput. 32(1/2): 1-2 (2001)

Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI 2001: 409-424

Tim Kovacs, Manfred Kerber: What Makes a Problem Hard for XCS? IWLCS 2000: 80-102

John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (Eds.): Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Lecture Notes in Computer Science 1861, Springer 2000, isbn 3-540-67797-6

Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Agent based mathematical reasoning. Electr. Notes Theor. Comput. Sci. 23(3): 340-351 (1999)

Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou: Adaptation of Declaratively Represented Methods in Proof Planning. Ann. Math. Artif. Intell. 23(3-4): 299-320 (1998)

Manfred Kerber, Michael Kohlhase, Volker Sorge: Integrating Computer Algebra into Proof Planning. J. Autom. Reasoning 21(3): 327-355 (1998)

Manfred Kerber: On Knowledge, Strings, and Paradoxes. JELIA 1998: 342-354

Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge: Omega: Towards a Mathematical Assistant. CADE 1997: 252-255

Manfred Kerber, Michael Kohlhase: Mechanising Partiality With Re-implementation. KI 1997: 123-134

Manfred Kerber, Axel Präcklein: Using Tactics to Reformulate Formulae for Resolution Theorem Proving. Ann. Math. Artif. Intell. 18(2-4): 221-241 (1996)

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Die Beweisentwicklungsumgebung Omega-MKRP. Inform., Forsch. Entwickl. 11(1): 20-26 (1996)

Manfred Kerber, Michael Kohlhase, Volker Sorge: Integrating Computer Algebra with Proof Planning. DISCO 1996: 204-215

Manfred Kerber, Michael Kohlhase: A Resolution Calculus for Presuppositions. ECAI 1996: 375-379

Manfred Kerber, Erica Melis: Two Kinds of Non-Monotonic Analogical Inference. FAPR 1996: 361-374

Manfred Kerber, Erica Melis: Using Exemplary Knowledge for Justified Analogical Reasoning. WOCFAI 1995: 157-168

Manfred Kerber, Axel Präcklein: Reformulating Resolution Problems by Tactics. WOCFAI 1995: 169-180

Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn: Planning Mathematical Proofs with Methods. Elektronische Informationsverarbeitung und Kybernetik 30(5/6): 277-291 (1994)

Manfred Kerber, Michael Kohlhase: A Mechanization of Strong Kleene Logic for Partial Functions. CADE 1994: 371-385

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Omega-MKRP: A Proof Development Environment. CADE 1994: 788-792

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: KEIM: A Toolkit for Automated Deduction. CADE 1994: 807-810

Manfred Kerber: On the Translation of Higher-Order Problems into First-Order Logic. ECAI 1994: 145-149

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts: Adapting Methods to Novel Tasks in Proof Planning. KI 1994: 379-390

Manfred Kerber: On the representation of mathematical concepts and their translation into first-order logic. Universität Münster 1992, pp. 1-131

Manfred Kerber, Christoph Weidenbach: Deduktionssysteme. KI 6(3): 14-22 (1992)

Manfred Kerber: How to Prove Higher Order Theorems in First Order Logic. IJCAI 1991: 137-142

Manfred Kerber: Some Aspects of Analogy in Mathematical Reasoning. AII 1989: 231-242