| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Manfred Kerber, Colin Rowat |
A Ramsey bound on stable sets in Jordan pillage games.  |
Int. J. Game Theory  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber, Colin Rowat, Wolfgang Windsteiger |
Using Theorema in the Formalization of Theoretical Economics. |
Calculemus/MKM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber |
Proofs, proofs, proofs, and proofs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kerber |
Proofs, Proofs, Proofs, and Proofs. |
AISC/MKM/Calculemus |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber |
Heuristics for Resolution in Propositional Logic. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber |
Combined reasoning by automated cooperation. |
J. Applied Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber |
Foreword. |
Mathematics in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber |
Normalization Issues in Mathematical Representations. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Calculemus/MKM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tim Kovacs, Manfred Kerber |
A Study of Structural and Parametric Learning in XCS. |
Evolutionary Computation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber |
A Dynamic Poincaré Principle. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber |
Living with Paradoxes. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber, Martin Pollet |
A Tough Nut for Mathematical Knowledge Management. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber |
From MKRP to Omega. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber |
Why Is the Lucas-Penrose Argument Invalid?. |
KI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Kovacs, Manfred Kerber |
High Classification Accuracy Does Not Imply Effective Genetic Search. |
GECCO |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber |
Can a Higher-Order and a First-Order Theorem Prover Cooperate?. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Pollet, Volker Sorge, Manfred Kerber |
Intuitive and Formal Representations: The Case of Matrices. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller |
Automatic Learning of Proof Methods in Proof Planning. |
Logic Journal of the IGPL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mateja Jamnik, Manfred Kerber, Martin Pollet |
Learn Omega-matic: System Description. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mateja Jamnik, Manfred Kerber, Martin Pollet |
Automatic Learning in Proof Planning. |
ECAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Seungyeob Choi, Manfred Kerber |
Semantic Selection for Resolution in Clause Graphs. |
Australian Joint Conference on Artificial Intelligence |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber, Martin Pollet |
On the Design of Mathematical Concepts. |
Australian Joint Conference on Artificial Intelligence |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Recio, Manfred Kerber |
Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors. |
J. Symb. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge |
Experiments with an Agent-Oriented Reasoning System. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Kovacs, Manfred Kerber |
What Makes a Problem Hard for XCS? |
IWLCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
CL |
2000 |
DBLP BibTeX RDF |
|
| 1 | Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge |
Agent based mathematical reasoning. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber, Michael Kohlhase, Volker Sorge |
Integrating Computer Algebra into Proof Planning. |
J. Autom. Reasoning |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou |
Adaptation of Declaratively Represented Methods in Proof Planning. |
Ann. Math. Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber |
On Knowledge, Strings, and Paradoxes. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber, Michael Kohlhase |
Mechanising Partiality With Re-implementation. |
KI |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann |
Die Beweisentwicklungsumgebung Omega-MKRP. |
Inform., Forsch. Entwickl. |
1996 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kerber, Axel Präcklein |
Using Tactics to Reformulate Formulae for Resolution Theorem Proving. |
Ann. Math. Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber, Michael Kohlhase |
A Resolution Calculus for Presuppositions. |
ECAI |
1996 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kerber, Michael Kohlhase, Volker Sorge |
Integrating Computer Algebra with Proof Planning. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber, Erica Melis |
Two Kinds of Non-Monotonic Analogical Inference. |
FAPR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber, Erica Melis |
Using Exemplary Knowledge for Justified Analogical Reasoning. |
WOCFAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kerber, Axel Präcklein |
Reformulating Resolution Problems by Tactics. |
WOCFAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn |
Planning Mathematical Proofs with Methods. |
Elektronische Informationsverarbeitung und Kybernetik |
1994 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber, Michael Kohlhase |
A Mechanization of Strong Kleene Logic for Partial Functions. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber |
On the Translation of Higher-Order Problems into First-Order Logic. |
ECAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts |
Adapting Methods to Novel Tasks in Proof Planning. |
KI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber, Christoph Weidenbach |
Deduktionssysteme. |
KI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kerber |
On the representation of mathematical concepts and their translation into first-order logic. |
|
1992 |
RDF |
|
| 1 | Manfred Kerber |
How to Prove Higher Order Theorems in First Order Logic. |
IJCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kerber |
Some Aspects of Analogy in Mathematical Reasoning. |
AII |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")