Author of the publication

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)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)Living with Paradoxes.. WoLLIC, volume 123 of Electronic Notes in Theoretical Computer Science, page 151-163. Elsevier, (2004)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)Automated Reasoning for Economics, , and . 20th Automated Reasoning Workshop (ARW), (2013)Invited paper.Auction Theory Toolbox, , , , , , and . (2015)A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory, , , , , , and . Intelligent Computer Mathematics, 7961, page 200--215. Springer, (2013)Applying the Isabelle Insider Framework to Airplane Security., and . CoRR, (2020)Applying the Isabelle Insider framework to airplane security., and . Sci. Comput. Program., (2021)