2008 | ||
---|---|---|
43 | EE | Manfred Kerber: Normalization Issues in Mathematical Representations. AISC/MKM/Calculemus 2008: 494-503 |
42 | EE | 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 | EE | Manfred Kerber: A Dynamic Poincaré Principle. MKM 2006: 44-53 |
39 | EE | Tim Kovacs, Manfred Kerber: A Study of Structural and Parametric Learning in XCS. Evolutionary Computation 14(1): 1-19 (2006) |
2005 | ||
38 | EE | Manfred Kerber: Why Is the Lucas-Penrose Argument Invalid?. KI 2005: 380-393 |
37 | EE | Manfred Kerber, Martin Pollet: A Tough Nut for Mathematical Knowledge Management. MKM 2005: 81-95 |
36 | EE | Manfred Kerber: From MKRP to Omega. Mechanizing Mathematical Reasoning 2005: 139-153 |
35 | EE | Manfred Kerber: Living with Paradoxes. Electr. Notes Theor. Comput. Sci. 123: 151-163 (2005) |
2004 | ||
34 | EE | Tim Kovacs, Manfred Kerber: High Classification Accuracy Does Not Imply Effective Genetic Search. GECCO (2) 2004: 785-796 |
33 | EE | 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 | EE | Martin Pollet, Volker Sorge, Manfred Kerber: Intuitive and Formal Representations: The Case of Matrices. MKM 2004: 317-331 |
2003 | ||
31 | EE | 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 | EE | Manfred Kerber, Martin Pollet: On the Design of Mathematical Concepts. Australian Joint Conference on Artificial Intelligence 2002: 716 |
29 | EE | Seungyeob Choi, Manfred Kerber: Semantic Selection for Resolution in Clause Graphs. Australian Joint Conference on Artificial Intelligence 2002: 83-94 |
28 | EE | 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 | EE | 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 | EE | Tim Kovacs, Manfred Kerber: What Makes a Problem Hard for XCS? IWLCS 2000: 80-102 |
1999 | ||
22 | EE | Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge: Agent based mathematical reasoning. Electr. Notes Theor. Comput. Sci. 23(3): (1999) |
1998 | ||
21 | EE | 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 |