( en | de | ru )

 

Disambiguation of "Kerber, Manfred"

Author of the publication

copydeleteadd this publication to your clipboard
An economist's guide to mechanized reasoning or My computer just proved 84 impossibility theorems

, , and . (2012)Invited lecture at the Initiative for Computational Economics summer school.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Manfred Kerber

Robert Kerber

Kai Kerber

Harald Kerber

Christian Kerber

 

Other publications of authors with the same name

On the Translation of Higher-Order Problems into First-Order Logic.. ECAI, page 145-149. John Wiley and Sons, Chichester, (1994)Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts., , and . GI-Jahrestagung, volume P-220 of LNI, page 153-156. GI, (2013)Reformulating Resolution Problems by Tactics., and . WOCFAI, page 169-180. Angkor, 6, rue Maître-Albert, 75005 Paris, France, (1995)What makes a problem hard for XCS?, and . Advances in learning classifier systems: Third international workshop, IWLCS 2000 (LNAI 1996), Springer-Verlag, Berlin Heidelberg, (2001)Formal representation and proof for cooperative games, , and . Symposium on Mathematical Practice and Cognition II, page 15--18. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), (2012)The ForMaRE Project -- Formal Mathematical Reasoning in Economics, , and . Intelligent Computer Mathematics, 7961, page 330--334. Springer, (2013)Developing an Auction Theory Toolbox, , , and . Enabling Domain Experts to use Formalised Reasoning, Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), (2013)Formalising ``100'' Theorems/Models/Theories in Economics, , and . (2012)A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory, , , , , , and . Intelligent Computer Mathematics, 7961, page 200--215. Springer, (2013)Automated Reasoning for Economics, , and . 20th Automated Reasoning Workshop (ARW), (2013)Invited paper.