Manfred Kerber
Title
Cited by
Cited by
Year
Handbook of logic in artificial intelligence and logic programming: Volume 5: Logic programming
DM Gabbay, CJ Hogger, JA Robinson
Clarendon Press, 1998
4611998
Ωmega: Towards a mathematical assistant
C Benzmüller, L Cheikhrouhou, D Fehrer, A Fiedler, X Huang, M Kerber, ...
International Conference on Automated Deduction, 252-255, 1997
2281997
Integrating computer algebra into proof planning
M Kerber, M Kohlhase, V Sorge
Journal of Automated Reasoning 21 (3), 327-355, 1998
801998
Ω-MKRP: A proof development environment
X Huang, M Kerber, M Kohlhase, E Melis, D Nesmith, J Richts, ...
International Conference on Automated Deduction, 788-792, 1994
781994
What makes a problem hard for XCS?
T Kovacs, M Kerber
International Workshop on Learning Classifier Systems, 80-99, 2000
722000
A mechanization of strong Kleene logic for partial functions
M Kerber, M Kohlhase
International Conference on Automated Deduction, 371-385, 1994
561994
How to prove higher order theorems in first order logic
M Kerber
491999
Combined reasoning by automated cooperation
C Benzmüller, V Sorge, M Jamnik, M Kerber
Journal of Applied Logic 6 (3), 318-342, 2008
382008
On the Representation of Mathematical Concepts and their Translation into First-Order Logic
M Kerber
381999
A tableau calculus for partial functions
M Kerber, M Kohlhase
Collegium Logicum, 21-49, 1996
351996
Methods-the basic units for planning and verifying proofs
X Huang, M Kerber, M Kohlhase
291999
Common syntax of the DFG-Schwerpunktprogramm deduktion version 1.5
R Hähnle, M Kerber, C Weidenbach, RA Schmidt
HLS+ 96] DIETER HUTTER, BRUNO LANGENSTEIN, CLAUS SENGLER, JORG, 1996
291996
Model problems in PDE-constrained optimization
E Haber, L Hanson
Report, Emory University, 2007
282007
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
282003
Keim: A toolkit for automated deduction
X Huang, M Kerber, M Kohlhase, E Melis, D Nesmith, J Richts, ...
International Conference on Automated Deduction, 807-810, 1994
281994
Planning mathematical proofs with methods
X Huang, M Kerber, L Cheikhrouhou, J Richts, A Sehn
271999
Integrating computer algebra with proof planning
M Kerber, M Kohlhase, V Sorge
International Symposium on Design and Implementation of Symbolic Computation …, 1996
271996
Kinship in Aegean Prehistory? Ancient DNA in Human Bones from Mainland Greece and Crete1
AS Bouwman, KA Brown, TA Brown, ER Chilvers, R Arnott, A Prag
Annual of the British School at Athens 104, 293-309, 2009
25*2009
Experiments with an agent-oriented reasoning system
C Benzmüller, M Kerber, M Jamnik, V Sorge
Annual Conference on Artificial Intelligence, 409-424, 2001
252001
On the use of safety certification practices in autonomous field robot software development: A systematic mapping study
JTM Ingibergsson, UP Schultz, M Kuhrmann
International Conference on Product-Focused Software Process Improvement …, 2015
222015
The system can't perform the operation now. Try again later.
Articles 1–20