The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Manfred Kerber: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Manfred Kerber
    Some Aspects of Analogy in Mathematical Reasoning. [Citation Graph (0, 0)][DBLP]
    AII, 1989, pp:231-242 [Conf]
  2. Seungyeob Choi, Manfred Kerber
    Semantic Selection for Resolution in Clause Graphs. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2002, pp:83-94 [Conf]
  3. Manfred Kerber, Martin Pollet
    On the Design of Mathematical Concepts. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2002, pp:716- [Conf]
  4. Manfred Kerber
    From MKRP to Omega. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:139-153 [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:252-255 [Conf]
  6. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
    Omega-MKRP: A Proof Development Environment. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:788-792 [Conf]
  7. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
    KEIM: A Toolkit for Automated Deduction. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:807-810 [Conf]
  8. Mateja Jamnik, Manfred Kerber, Martin Pollet
    Learn Omega-matic: System Description. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:150-155 [Conf]
  9. Manfred Kerber, Michael Kohlhase
    A Mechanization of Strong Kleene Logic for Partial Functions. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:371-385 [Conf]
  10. Manfred Kerber, Michael Kohlhase, Volker Sorge
    Integrating Computer Algebra with Proof Planning. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:204-215 [Conf]
  11. Mateja Jamnik, Manfred Kerber, Martin Pollet
    Automatic Learning in Proof Planning. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:282-286 [Conf]
  12. Manfred Kerber
    On the Translation of Higher-Order Problems into First-Order Logic. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:145-149 [Conf]
  13. Manfred Kerber, Michael Kohlhase
    A Resolution Calculus for Presuppositions. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:375-379 [Conf]
  14. Manfred Kerber, Erica Melis
    Two Kinds of Non-Monotonic Analogical Inference. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:361-374 [Conf]
  15. Tim Kovacs, Manfred Kerber
    High Classification Accuracy Does Not Imply Effective Genetic Search. [Citation Graph (0, 0)][DBLP]
    GECCO (2), 2004, pp:785-796 [Conf]
  16. Manfred Kerber
    How to Prove Higher Order Theorems in First Order Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:137-142 [Conf]
  17. Tim Kovacs, Manfred Kerber
    What Makes a Problem Hard for XCS? [Citation Graph (0, 0)][DBLP]
    IWLCS, 2000, pp:80-102 [Conf]
  18. Manfred Kerber
    On Knowledge, Strings, and Paradoxes. [Citation Graph (0, 0)][DBLP]
    JELIA, 1998, pp:342-354 [Conf]
  19. Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
    Experiments with an Agent-Oriented Reasoning System. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:409-424 [Conf]
  20. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts
    Adapting Methods to Novel Tasks in Proof Planning. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:379-390 [Conf]
  21. Manfred Kerber
    Why Is the Lucas-Penrose Argument Invalid?. [Citation Graph (0, 0)][DBLP]
    KI, 2005, pp:380-393 [Conf]
  22. Manfred Kerber, Michael Kohlhase
    Mechanising Partiality With Re-implementation. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:123-134 [Conf]
  23. Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
    Can a Higher-Order and a First-Order Theorem Prover Cooperate?. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:415-431 [Conf]
  24. Manfred Kerber
    A Dynamic Poincaré Principle. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:44-53 [Conf]
  25. Manfred Kerber, Martin Pollet
    A Tough Nut for Mathematical Knowledge Management. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:81-95 [Conf]
  26. Martin Pollet, Volker Sorge, Manfred Kerber
    Intuitive and Formal Representations: The Case of Matrices. [Citation Graph (0, 0)][DBLP]
    MKM, 2004, pp:317-331 [Conf]
  27. Manfred Kerber, Erica Melis
    Using Exemplary Knowledge for Justified Analogical Reasoning. [Citation Graph (0, 0)][DBLP]
    WOCFAI, 1995, pp:157-168 [Conf]
  28. Manfred Kerber, Axel Präcklein
    Reformulating Resolution Problems by Tactics. [Citation Graph (0, 0)][DBLP]
    WOCFAI, 1995, pp:169-180 [Conf]
  29. Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou
    Adaptation of Declaratively Represented Methods in Proof Planning. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:23, n:3-4, pp:299-320 [Journal]
  30. Manfred Kerber, Axel Präcklein
    Using Tactics to Reformulate Formulae for Resolution Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:18, n:2-4, pp:221-241 [Journal]
  31. Tim Kovacs, Manfred Kerber
    A Study of Structural and Parametric Learning in XCS. [Citation Graph (0, 0)][DBLP]
    Evolutionary Computation, 2006, v:14, n:1, pp:1-19 [Journal]
  32. Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn
    Planning Mathematical Proofs with Methods. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1994, v:30, n:5/6, pp:277-291 [Journal]
  33. Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
    Agent based mathematical reasoning. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
  34. Manfred Kerber
    Living with Paradoxes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:123, n:, pp:151-163 [Journal]
  35. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
    Die Beweisentwicklungsumgebung Omega-MKRP. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1996, v:11, n:1, pp:20-26 [Journal]
  36. Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller
    Automatic Learning of Proof Methods in Proof Planning. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2003, v:11, n:6, pp:647-673 [Journal]
  37. Manfred Kerber, Michael Kohlhase, Volker Sorge
    Integrating Computer Algebra into Proof Planning. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1998, v:21, n:3, pp:327-355 [Journal]
  38. Tomás Recio, Manfred Kerber
    Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2001, v:32, n:1/2, pp:1-2 [Journal]
  39. Manfred Kerber, Christoph Weidenbach
    Deduktionssysteme. [Citation Graph (0, 0)][DBLP]
    KI, 1992, v:6, n:3, pp:14-22 [Journal]

  40. Proofs, Proofs, Proofs, and Proofs. [Citation Graph (, )][DBLP]


  41. Normalization Issues in Mathematical Representations. [Citation Graph (, )][DBLP]


  42. Heuristics for Resolution in Propositional Logic. [Citation Graph (, )][DBLP]


  43. Proofs, proofs, proofs, and proofs [Citation Graph (, )][DBLP]


Search in 0.067secs, Finished in 0.069secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002