Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts., , und . GI-Jahrestagung, Volume P-220 von LNI, Seite 153-156. GI, (2013)Formal representation and proof for cooperative games, , und . Symposium on Mathematical Practice and Cognition II, Seite 15--18. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), (2012)The ForMaRE Project -- Formal Mathematical Reasoning in Economics, , und . Intelligent Computer Mathematics, 7961, Seite 330--334. Springer, (2013)Developing an Auction Theory Toolbox, , , und . 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, , und . (2012)Non-linear strategies in a linear quadratic differential game. Journal of Economic Dynamics and Control, 31 (10): 3179--3202 (Oktober 2007)An economist's guide to mechanized reasoning or My computer just proved 84 impossibility theorems, , und . (2012)Invited lecture at the Initiative for Computational Economics summer school.Reasoning about Auctions, , , und . Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT), (2014)Asymmetric Shapley values: incorporating causal knowledge into model-agnostic explainability., , und . CoRR, (2019)Joint Shapley values: a measure of joint feature importance., , und . CoRR, (2021)