Author of the publication

Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts.

, , and . GI-Jahrestagung, volume P-220 of LNI, page 153-156. GI, (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

Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts., , and . GI-Jahrestagung, volume P-220 of LNI, page 153-156. GI, (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)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)Reasoning about Auctions, , , and . Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT), (2014)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.Asymmetric Shapley values: incorporating causal knowledge into model-agnostic explainability., , and . CoRR, (2019)Non-linear strategies in a linear quadratic differential game. Journal of Economic Dynamics and Control, 31 (10): 3179--3202 (October 2007)Joint Shapley values: a measure of joint feature importance., , and . CoRR, (2021)