Manfred Kerber

	2009
44		Manfred Kerber: Heuristics for Resolution in Propositional Logic. KI 2009: 656-663
	2008
43		Manfred Kerber: Normalization Issues in Mathematical Representations. AISC/MKM/Calculemus 2008: 494-503
42		Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Combined reasoning by automated cooperation. J. Applied Logic 6(3): 318-342 (2008)
	2007
41		Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger: Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings Springer 2007
	2006
40		Manfred Kerber: A Dynamic Poincaré Principle. MKM 2006: 44-53
39		Tim Kovacs, Manfred Kerber: A Study of Structural and Parametric Learning in XCS. Evolutionary Computation 14(1): 1-19 (2006)
	2005
38		Manfred Kerber: Why Is the Lucas-Penrose Argument Invalid?. KI 2005: 380-393
37		Manfred Kerber, Martin Pollet: A Tough Nut for Mathematical Knowledge Management. MKM 2005: 81-95
36		Manfred Kerber: From MKRP to Omega. Mechanizing Mathematical Reasoning 2005: 139-153
35		Manfred Kerber: Living with Paradoxes. Electr. Notes Theor. Comput. Sci. 123: 151-163 (2005)
	2004
34		Tim Kovacs, Manfred Kerber: High Classification Accuracy Does Not Imply Effective Genetic Search. GECCO (2) 2004: 785-796
33		Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Can a Higher-Order and a First-Order Theorem Prover Cooperate?. LPAR 2004: 415-431
32		Martin Pollet, Volker Sorge, Manfred Kerber: Intuitive and Formal Representations: The Case of Matrices. MKM 2004: 317-331
	2003
31		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)
	2002
30		Manfred Kerber, Martin Pollet: On the Design of Mathematical Concepts. Australian Joint Conference on Artificial Intelligence 2002: 716
29		Seungyeob Choi, Manfred Kerber: Semantic Selection for Resolution in Clause Graphs. Australian Joint Conference on Artificial Intelligence 2002: 83-94
28		Mateja Jamnik, Manfred Kerber, Martin Pollet: Learn Omega-matic: System Description. CADE 2002: 150-155
27		Mateja Jamnik, Manfred Kerber, Martin Pollet: Automatic Learning in Proof Planning. ECAI 2002: 282-286
	2001
26		Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI 2001: 409-424
25		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)
	2000
24		John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings Springer 2000
23		Tim Kovacs, Manfred Kerber: What Makes a Problem Hard for XCS? IWLCS 2000: 80-102
	1999
22		Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Agent based mathematical reasoning. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
	1998
21		Manfred Kerber: On Knowledge, Strings, and Paradoxes. JELIA 1998: 342-354
20		Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou: Adaptation of Declaratively Represented Methods in Proof Planning. Ann. Math. Artif. Intell. 23(3-4): 299-320 (1998)
19		Manfred Kerber, Michael Kohlhase, Volker Sorge: Integrating Computer Algebra into Proof Planning. J. Autom. Reasoning 21(3): 327-355 (1998)
	1997
18		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
17		Manfred Kerber, Michael Kohlhase: Mechanising Partiality With Re-implementation. KI 1997: 123-134
	1996
16		Manfred Kerber, Michael Kohlhase, Volker Sorge: Integrating Computer Algebra with Proof Planning. DISCO 1996: 204-215
15		Manfred Kerber, Michael Kohlhase: A Resolution Calculus for Presuppositions. ECAI 1996: 375-379
14		Manfred Kerber, Erica Melis: Two Kinds of Non-Monotonic Analogical Inference. FAPR 1996: 361-374
13		Manfred Kerber, Axel Präcklein: Using Tactics to Reformulate Formulae for Resolution Theorem Proving. Ann. Math. Artif. Intell. 18(2-4): 221-241 (1996)
12		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)
	1995
11		Manfred Kerber, Erica Melis: Using Exemplary Knowledge for Justified Analogical Reasoning. WOCFAI 1995: 157-168
10		Manfred Kerber, Axel Präcklein: Reformulating Resolution Problems by Tactics. WOCFAI 1995: 169-180
	1994
9		Manfred Kerber, Michael Kohlhase: A Mechanization of Strong Kleene Logic for Partial Functions. CADE 1994: 371-385
8		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
7		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
6		Manfred Kerber: On the Translation of Higher-Order Problems into First-Order Logic. ECAI 1994: 145-149
5		Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts: Adapting Methods to Novel Tasks in Proof Planning. KI 1994: 379-390
4		Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn: Planning Mathematical Proofs with Methods. Elektronische Informationsverarbeitung und Kybernetik 30(5/6): 277-291 (1994)
	1992
3		Manfred Kerber, Christoph Weidenbach: Deduktionssysteme. KI 6(3): 14-22 (1992)
	1991
2		Manfred Kerber: How to Prove Higher Order Theorems in First Order Logic. IJCAI 1991: 137-142
	1989
1		Manfred Kerber: Some Aspects of Analogy in Mathematical Reasoning. AII 1989: 231-242

Coauthor Index

1	Christoph Benzmüller (Christoph Benzmueller)	[18] [22] [26] [31] [33] [42]
2	Lassaad Cheikhrouhou	[18] [20]
3	Seungyeob Choi	[29]
4	Verónica Dahl	[24]
5	Detlef Fehrer	[18]
6	Armin Fiedler	[18]
7	Ulrich Furbach	[24]
8	Xiaorong Huang	[4] [5] [7] [8] [12] [18] [20]
9	Mateja Jamnik	[22] [26] [27] [28] [31] [33] [42]
10	Manuel Kauers	[41]
11	Michael Kohlhase	[5] [7] [8] [9] [12] [15] [16] [17] [18] [19]
12	Karsten Konrad	[18]
13	Tim Kovacs	[23] [34] [39]
14	Kung-Kiu Lau	[24]
15	John W. Lloyd	[24]
16	Andreas Meier	[18]
17	Erica Melis	[7] [8] [11] [12] [14] [18]
18	Robert Miner	[41]
19	Daniel Nesmith (Dan Nesmith)	[7] [8] [12]
20	Catuscia Palamidessi	[24]
21	Luís Moniz Pereira (Luíz Moniz Pereira)	[24]
22	Martin Pollet	[27] [28] [30] [31] [32] [37]
23	Axel Präcklein	[10] [13]
24	Tomás Recio	[25]
25	Jörn Richts	[4] [5] [7] [8] [12]
26	Yehoshua Sagiv	[24]
27	Wolf Schaarschmidt	[18]
28	Arthur Sehn	[4]
29	Jörg H. Siekmann	[7] [8] [12] [18]
30	Volker Sorge	[16] [18] [19] [22] [26] [32] [33] [42]
31	Peter J. Stuckey	[24]
32	Christoph Weidenbach	[3]
33	Wolfgang Windsteiger	[41]

Colors in the list of coauthors