dblp.uni-trier.dewww.uni-trier.de

Manfred Kerber Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
44EEManfred Kerber: Heuristics for Resolution in Propositional Logic. KI 2009: 656-663
2008
43EEManfred Kerber: Normalization Issues in Mathematical Representations. AISC/MKM/Calculemus 2008: 494-503
42EEChristoph 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
40EEManfred Kerber: A Dynamic Poincaré Principle. MKM 2006: 44-53
39EETim Kovacs, Manfred Kerber: A Study of Structural and Parametric Learning in XCS. Evolutionary Computation 14(1): 1-19 (2006)
2005
38EEManfred Kerber: Why Is the Lucas-Penrose Argument Invalid?. KI 2005: 380-393
37EEManfred Kerber, Martin Pollet: A Tough Nut for Mathematical Knowledge Management. MKM 2005: 81-95
36EEManfred Kerber: From MKRP to Omega. Mechanizing Mathematical Reasoning 2005: 139-153
35EEManfred Kerber: Living with Paradoxes. Electr. Notes Theor. Comput. Sci. 123: 151-163 (2005)
2004
34EETim Kovacs, Manfred Kerber: High Classification Accuracy Does Not Imply Effective Genetic Search. GECCO (2) 2004: 785-796
33EEChristoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber: Can a Higher-Order and a First-Order Theorem Prover Cooperate?. LPAR 2004: 415-431
32EEMartin Pollet, Volker Sorge, Manfred Kerber: Intuitive and Formal Representations: The Case of Matrices. MKM 2004: 317-331
2003
31EEMateja 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
30EEManfred Kerber, Martin Pollet: On the Design of Mathematical Concepts. Australian Joint Conference on Artificial Intelligence 2002: 716
29EESeungyeob Choi, Manfred Kerber: Semantic Selection for Resolution in Clause Graphs. Australian Joint Conference on Artificial Intelligence 2002: 83-94
28EEMateja 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
26EEChristoph 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
23EETim Kovacs, Manfred Kerber: What Makes a Problem Hard for XCS? IWLCS 2000: 80-102
1999
22EEChristoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Agent based mathematical reasoning. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
1998
21EEManfred 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
18EEChristoph 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
16EEManfred 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
9EEManfred Kerber, Michael Kohlhase: A Mechanization of Strong Kleene Logic for Partial Functions. CADE 1994: 371-385
8EEXiaorong 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
7EEXiaorong 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)