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
https://portal.mardi4nfdi.de/entity/Q2751546	2002-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q2702597	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Manfred Kerber