Follow
Manfred Kerber
Title
Cited by
Cited by
Year
Ωmega: Towards a mathematical assistant
C Benzmüller, L Cheikhrouhou, D Fehrer, A Fiedler, X Huang, M Kerber, ...
Automated Deduction—CADE-14: 14th International Conference on Automated …, 1997
2391997
Integrating computer algebra into proof planning
M Kerber, M Kohlhase, V Sorge
Journal of Automated Reasoning 21, 327-355, 1998
841998
Ω-MKRP: A proof development environment
X Huang, M Kerber, M Kohlhase, E Melis, D Nesmith, J Richts, ...
Automated Deduction—CADE-12: 12th International Conference on Automated …, 1994
831994
What makes a problem hard for XCS?
T Kovacs, M Kerber
International Workshop on Learning Classifier Systems, 80-99, 2000
772000
A mechanization of strong Kleene logic for partial functions
M Kerber, M Kohlhase
International Conference on Automated Deduction, 371-385, 1994
571994
How to prove higher order theorems in first order logic
M Kerber
Saarländische Universitäts-und Landesbibliothek, 1990
521990
Combined reasoning by automated cooperation
C Benzmüller, V Sorge, M Jamnik, M Kerber
Journal of Applied Logic 6 (3), 318-342, 2008
362008
A tableau calculus for partial functions
Kurt-Gödel-Gesellschaft, M Kerber, M Kohlhase
Collegium Logicum, 21-49, 1996
361996
Common syntax of the DFG-Schwerpunktprogramm deduktion version 1.5
R Hähnle, M Kerber, C Weidenbach, RA Schmidt
Technical Report TR 10/96, Fakultät für Informatik, Universität Karlsruhe …, 1996
351996
On the Representation of Mathematical Concepts and their Translation into First-Order Logic
M Kerber
Saarländische Universitäts-und Landesbibliothek, 1992
351992
Automatic learning of proof methods in proof planning
M Jamnik, M Kerber, M Pollet, C Benzmüller
Logic Journal of the IGPL 11 (6), 647-673, 2003
302003
Integrating computer algebra with proof planning
M Kerber, M Kohlhase, V Sorge
Design and Implementation of Symbolic Computation Systems: International …, 1996
301996
Methods-the basic units for planning and verifying proofs
X Huang, M Kerber, M Kohlhase
291999
Experiments with an agent-oriented reasoning system
C Benzmüller, M Kerber, M Jamnik, V Sorge
KI 2001: Advances in Artificial Intelligence: Joint German/Austrian …, 2001
282001
Planning mathematical proofs with methods
X Huang, M Kerber, J Richts, A Sehn
Saarländische Universitäts-und Landesbibliothek, 1994
281994
Keim: A toolkit for automated deduction
X Huang, M Kerber, M Kohlhase, E Melis, D Nesmith, J Richts, ...
Automated Deduction—CADE-12: 12th International Conference on Automated …, 1994
281994
Sound auction specification and implementation
MB Caminati, M Kerber, C Lange, C Rowat
Proceedings of the Sixteenth ACM Conference on Economics and Computation …, 2015
222015
Can a higher-order and a first-order theorem prover cooperate?
C Benzmüller, V Sorge, M Jamnik, M Kerber
Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005
192005
Adapting methods to novel tasks in proof planning
X Huang, M Kerber, M Kohlhase, J Richts
KI-94: Advances in Artificial Intelligence: 18th German Annual Conference on …, 1994
191994
Some aspects of analogy in mathematical reasoning
M Kerber
Analogical and Inductive Inference: International Workshop All'89 …, 1989
191989
The system can't perform the operation now. Try again later.
Articles 1–20