Author of the publication

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)

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.

 

Other publications of authors with the same name

Reformulating Resolution Problems by Tactics., and . WOCFAI, page 169-180. Angkor, 6, rue Maître-Albert, 75005 Paris, France, (1995)Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts., , and . GI-Jahrestagung, volume P-220 of LNI, page 153-156. GI, (2013)On the Translation of Higher-Order Problems into First-Order Logic.. ECAI, page 145-149. John Wiley and Sons, Chichester, (1994)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)Living with Paradoxes.. WoLLIC, volume 123 of Electronic Notes in Theoretical Computer Science, page 151-163. Elsevier, (2004)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.Reasoning about Auctions, , , and . Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT), (2014)Using Exemplary Knowledge for Justified Analogical Reasoning., and . WOCFAI, page 157-168. Angkor, 6, rue Maître-Albert, 75005 Paris, France, (1995)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.