Autor der Publikation

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)

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)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)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)Asymmetric Shapley values: incorporating causal knowledge into model-agnostic explainability., , und . CoRR, (2019)Joint Shapley values: a measure of joint feature importance., , und . ICLR, OpenReview.net, (2022)Asymmetric Shapley values: incorporating causal knowledge into model-agnostic explainability., , und . NeurIPS, (2020)Interpretability in Safety-Critical FinancialTrading Systems., , , und . CoRR, (2021)Joint Shapley values: a measure of joint feature importance., , und . CoRR, (2021)