Manfred Kerber
Manfred Kerber
Bestätigte E-Mail-Adresse bei cs.bham.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Handbook of logic in artificial intelligence and logic programming: Volume 5: Logic programming
DM Gabbay, CJ Hogger, JA Robinson
Clarendon Press, 1998
4761998
Ω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
2271997
Integrating computer algebra into proof planning
M Kerber, M Kohlhase, V Sorge
Journal of Automated Reasoning 21 (3), 327-355, 1998
791998
Ω-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
771994
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
571994
How to prove higher order theorems in first order logic
M Kerber
441999
On the Representation of Mathematical Concepts and their Translation into First-Order Logic
M Kerber
361999
Combined reasoning by automated cooperation
C Benzmüller, V Sorge, M Jamnik, M Kerber
Journal of Applied Logic 6 (3), 318-342, 2008
352008
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
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
291994
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
Integrating computer algebra with proof planning
M Kerber, M Kohlhase, V Sorge
International Symposium on Design and Implementation of Symbolic Computation …, 1996
281996
Planning mathematical proofs with methods
X Huang, M Kerber, L Cheikhrouhou, J Richts, A Sehn
271999
Model problems in PDE-constrained optimization
E Haber, L Hanson
Dept. Mathematics Comput. Sci., Emory University, Atlanta, Georgia, USA, 2007
252007
Experiments with an agent-oriented reasoning system
C Benzmüller, M Kerber, M Jamnik, V Sorge
Annual Conference on Artificial Intelligence, 409-424, 2001
232001
Kinship in Aegean prehistory? Ancient DNA in human bones from mainland Greece and Crete
AS Bouwman, KA Brown, TA Brown, ER Chilvers, R Arnott, A Prag
Annual of the British School at Athens, 293-309, 2009
21*2009
Adapting methods to novel tasks in proof planning
X Huang, M Kerber, M Kohlhase, J Richts
Annual Conference on Artificial Intelligence, 379-390, 1994
191994
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20