Agent Based Mathematical Reasoning
Workshop-Proceedings of the CADE-Calculemus Workshop; editor: Alessandro Armando and Tudor Jebelean, CADE
Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge,
1999
On Truth, Knowledge, Strings, and Paradoxes
Proceedings of the Sixth Automated Reasoning Workshop - Bridging the Gap between Theory and Practice; editor: Manfred Kerber, AISB
Manfred Kerber,
1999
Available: pdfPostScript
On Knowledge, Strings, and Paradoxes - A Three-Valued Approach
International Workshop/Conference on Many Valued Logics
in Computer Science Applications, Middle East Technical University
Manfred Kerber,
1998
Reasoning without Believing: On the Mechanization of Presuppositions and Partiality
International Workshop/Conference on Many Valued Logics in Computer Science Applications, Middle East Technical University
Manfred Kerber, Michael Kohlhase,
1998
Available: BiBTeX
Towards an Open System for Theorem Proving
Calculemus Web Page; editor: Arjeh M. Cohen
Manfred Kerber,
1998
Available: BiBTeXpdfPostScript
A Three-Valued Approach to Overcome Paradoxes in Syntactic Theory
Proceedings of the CADE-15 Workshop on Mechanization of Partial Functions; editor: Manfred Kerber, pages 85-96
Manfred Kerber,
1998
Available: BiBTeXpdfPostScript
Generalisation in Mathematical Induction from a Second-Order Point of View
Proceedings of the Poster Session, IJCAI-97
Manfred Kerber,
1997
Available: BiBTeXpdfPostScript
Mechanising Partiality
Workshop-Proceedings AISB-97, Workshop on ``Automated Reasoning:
Bridging the Gap between Theory and Practice''; editor: Michael Fisher, pages 43-44
Manfred Kerber,
1997
Available: BiBTeXpdfPostScript
Requirements for Building up Large Mathematical Knowledge Bases
Proceedings of the ECAI-96 Workshop
``Representation of Mathematical Knowledge''; editor: Herbert Stoyan and Karsten Homann and Sabine Jacob and Manfred Kerber, pages 15-18
Manfred Kerber,
1996
Available: BiBTeXpdfPostScript
Partiality without the Cost
CADE-13 Workshop on Mechanization of Partial Functions; editor: William Farmer and Manfred Kerber and Michael Kohlhase, pages 65-76
Manfred Kerber, Michael Kohlhase,
1996
Available: BiBTeXpdfPostScript
The Adaptation of Proof Methods by Reformulation
Proceedings of the First Workshop on Abstraction,
Analogy and Metareasoning; editor: Alessandro Armando and Erica Melis, pages 40-48
Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou,
1996
Available: BiBTeXpdfPostScript
A Call for Standardising Input and Output Formats of Deduction Systems
Workshop-Proceedings AISB-96, Workshop on
``Automated Reasoning: Bridging the Gap between Theory and Practice''; editor: Ian Gent, pages 29-30
Manfred Kerber,
1996
Available: BiBTeXpdfPostScript
The Adaption of Proof Methods by Reformulations
Proceedings of the Fourth International Symposium on
``Artificial Intelligence and Mathematics''; editor: Henry Kautz and Bart Selman
Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou,
1996
Available: BiBTeXpdfPostScript
Adapting the Diagonalization Method by Reformulations
Proceedings of the Symposium on Abstraction, Reformulation,
and Approximation, SARA-95; editor: Alon Levy and Pandu Nayak
Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou,
1995
Available: BiBTeXpdfPostScript
Reuse of Proofs by Meta-Methods
Proceedings of the IJCAI-Workshop on Formal Approaches to the Reuse of
Plans, Proofs, and Programs; editor: Jana Köhler and Fausto Giunchiglia and Cordell Green and Christoph Walther, pages 46-50
Xiaorong Huang, Manfred Kerber,
1995
Available: BiBTeXpdfPostScript
What Can QED Offer to Mathematics?
Proceedings of the QED Workshop II; editor: Roman Matuszewski, pages 39-40, Technical Report No. L/1/95, Warsaw University -
Bia\lystok Campus, URL: \URLhttp://www.mcs.anl.gov/qed/index.html
Manfred Kerber,
1995
Possible Use of Already Formalized Mathematical Knowledge
Proceedings of the QED Workshop II; editor: Roman Matuszewski, pages 13-14, Technical Report No. L/1/95, Warsaw University -
Bia\lystok Campus, URL: \URLhttp://www.mcs.anl.gov/qed/index.html
Manfred Kerber,
1995
A declarative language for formulating methods
Workshop-Proceedings der KI-94; editor: Jürgen Kunze and Herbert Stoyan, pages 277-278, GI, Bonn
Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn,
1994
Available: BiBTeXpdfPostScript
Representing the Diagonalization Methods
Workshop-Proceedings der KI-94; editor: Jürgen Kunze and Herbert Stoyan, pages 279-280, GI, Bonn
Xiaorong Huang, Manfred Kerber, Erica Melis, Jörn Richts,
1994
Available: BiBTeXpdfPostScript
A Test for Evaluating the Practical Usefulness of Deduction Systems Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Wolfgang Reif,
1994
Formalizing Mathematics with Dependent Sorts
Workshop-Proceedings der KI-94; editor: Wolfgang Bibel and Christoph Walther, pages 13
Manfred Kerber, Michael Kohlhase,
1994
Available: BiBTeXpdfPostScript
The Omega-\sc mkrp Proof Development Environment
Proceedings of the ECAI-Workshop From Theorem Provers to
Mathematical Assistants; editor: Fausto Giunchiglia and Manfred Kerber and Dominique Pastre
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann,
1994
Available: BiBTeXpdfPostScript
How to Use a First-Order Model Generator for Adjusting Problem Formulations
in Higher-Order Logic
Proceedings of the CADE-Workshop on Automated Model Building; editor: Ricardo Caferra and Chris Fermüller and Alex Leitsch and Tanel Tammet, pages 22-25
Manfred Kerber,
1994
Available: BiBTeXpdfPostScript
Guaranteeing Correctness through the Communication of Checkable
Proofs (or: Would You Really Trust an Automated Reasoning System?)
Proceedings of the CADE-Workshop on Metatheoretic Extensibility of
Automated Reasoning Systems; editor: David Basin and Fausto Giunchiglia and Matt Kaufmann, pages 31-33
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Dan Nesmith, Jörn Richts,
1994
Available: BiBTeXpdfPostScript
A Test for Evaluating the Practical Usefulness of Deduction Systems
Proceedings of the CADE-Workshop on Evaluation of Automated Theorem
Proving Systems; editor: Geoff Sutcliffe and Christian B. Suttner, pages 33-36
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Dan Nesmith, Jörn Richts,
1994
Available: BiBTeXpdfPostScript
Analogical Reasoning with a Hybrid Knowledge Base
Proceedings of the IJCAI-Workshop on Principles of Hybrid Reasoning
and Representation; editor: Erica Melis, pages 85-95
Manfred Kerber, Erica Melis, Jörg H. Siekmann,
1993
Available: BiBTeXpdfPostScript
Omega-MKRP: A Proof Development Environment
Proceedings of the IJCAI-Workshop on Automated Reasoning; editor: Alan Bundy and Nachum Dershowitz and Martin Golumbic and Hélène Kirchner, pages 35-36
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica
Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann,
1993
Reasoning with Assertions and Examples
Working Notes of the AAAI Spring Symposium on AI and Creativity; editor: Terry Dartnell and Steven Kim and Fay Sudweeks, pages 61-66
Manfred Kerber, Erica Melis, Jörg H. Siekmann,
1993
Available: BiBTeXpdfPostScript
Typical examples in reasoning
International Conference on Computing and Philosophy
Manfred Kerber, Erica Melis,
1992
Using Tactics to Reformulate Formulae for Resolution Theorem Proving
Second International Symposium on Artificial Intelligence and Mathematics
Manfred Kerber, Axel Präcklein,
1992
