Manfred Kerber

Available identifiers

zbMath Open kerber.manfredMaRDI QIDQ504392

List of research outcomes

Publication	Date of Publication	Type
Asymmetric majority pillage games	2024-01-04	Paper
A mechanization of strong Kleene logic for partial functions	2020-01-21	Paper
Ωmega: Towards a mathematical assistant	2019-10-01	Paper
Two kinds of non-monotonic analogical inference	2019-04-29	Paper
Reasoning without believing: on the mechanisation of presuppositions and partiality	2018-08-28	Paper
An introduction to mechanized reasoning	2017-01-16	Paper
Pillage games with multiple stable sets	2015-11-17	Paper
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?	2014-08-07	Paper
Sufficient conditions for unique stable sets in three agent pillage games	2014-06-11	Paper
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory	2013-08-09	Paper
The ForMaRE Project – Formal Mathematical Reasoning in Economics	2013-08-09	Paper
A Ramsey bound on stable sets in Jordan pillage games	2011-09-06	Paper
Using Theorema in the Formalization of Theoretical Economics	2011-07-29	Paper
Proofs, Proofs, Proofs, and Proofs	2010-08-24	Paper
Normalization Issues in Mathematical Representations	2009-01-27	Paper
Combined reasoning by automated cooperation	2008-09-23	Paper
A Dynamic Poincaré Principle	2007-09-05	Paper
Mathematical Knowledge Management	2007-02-12	Paper
KI 2005: Advances in Artificial Intelligence	2006-11-13	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
Mathematical Knowledge Management	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4809052	2004-08-12	Paper
Automatic Learning of Proof Methods in Proof Planning	2004-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4415137	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4415224	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4797443	2003-03-13	Paper
Towards learning new methods in proof planning	2002-06-13	Paper
Proof planning: A practical approach to mechanized reasoning in mathematics	2001-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4499162	2001-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4246978	2000-01-12	Paper
Adaptation of declaratively represented methods in proof planning	1999-02-02	Paper
Integrating computer algebra into proof planning	1999-01-03	Paper
Using tactics to reformulate formulae for resolution theorem proving	1998-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4885908	1996-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4858950	1996-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4012178	1992-09-27	Paper

Research outcomes over time

This page was built for person: Manfred Kerber