Colin Rowat

24 papers A* 3C 1Journal 16Unranked 4
YearRankTypeTitle / Venue / Authors
2023 J jnl
Asymmetric majority pillage games.
Int. J. Game Theory
Manfred Kerber, Colin Rowat, Naoki Yoshihara
2022 A* conf
Joint Shapley values: a measure of joint feature importance.
ICLR
Chris Harris, Richard Pymar, Colin Rowat
2021 J jnl
Interpretability in Safety-Critical FinancialTrading Systems.
CoRR
Gabriel Deza, Adelin Travers, Colin Rowat, Nicolas Papernot
2021 J jnl
Joint Shapley values: a measure of joint feature importance.
CoRR
Chris Harris, Richard Pymar, Colin Rowat
2020 A* conf
Asymmetric Shapley values: incorporating causal knowledge into model-agnostic explainability.
NeurIPS
Christopher Frye, Colin Rowat, Ilya Feige
2019 J jnl
Asymmetric Shapley values: incorporating causal knowledge into model-agnostic explainability.
CoRR
Christopher Frye, Ilya Feige, Colin Rowat
2016 J jnl
An Introduction to Mechanized Reasoning.
CoRR
Manfred Kerber, Christoph Lange, Colin Rowat
2015 J jnl
Pillage games with multiple stable sets.
Int. J. Game Theory
Simon Mackenzie, Manfred Kerber, Colin Rowat
2015 A* conf
Sound Auction Specification and Implementation.
EC
Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
2015 J jnl
VCG - Combinatorial Vickrey-Clarke-Groves Auctions.
Arch. Formal Proofs
Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
2014 J jnl
Budget Imbalance Criteria for Auctions: A Formalized Theorem.
CoRR
Marco B. Caminati, Manfred Kerber, Colin Rowat
2014 J jnl
Foreword.
Math. Comput. Sci.
Manfred Kerber, Christoph Lange, Colin Rowat
2014 C conf
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?
CICM
Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
2014 J jnl
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?
CoRR
Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
2014 J jnl
Sufficient conditions for unique stable sets in three agent pillage games.
Math. Soc. Sci.
Colin Rowat, Manfred Kerber
2013 J jnl
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
CoRR
Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
2013 — conf
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.
MKM/Calculemus/DML
Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
2013 — conf
Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts.
GI-Jahrestagung
Christoph Lange, Manfred Kerber, Colin Rowat
2013 J jnl
Proving soundness of combinatorial Vickrey auctions and generating verified executable code.
CoRR
Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
2013 — conf
The ForMaRE Project - Formal Mathematical Reasoning in Economics.
MKM/Calculemus/DML
Christoph Lange, Colin Rowat, Manfred Kerber
2013 J jnl
The ForMaRE Project --- Formal Mathematical Reasoning in Economics
CoRR
Christoph Lange, Colin Rowat, Manfred Kerber
2011 J jnl
A Ramsey bound on stable sets in Jordan pillage games.
Int. J. Game Theory
Manfred Kerber, Colin Rowat
2011 J jnl
Optimal voting rules for two-member tenure committees.
Soc. Choice Welf.
Ian Ayres, Colin Rowat, Nasser Zakariya
2011 — conf
Using
Calculemus/MKM
Manfred Kerber, Colin Rowat, Wolfgang Windsteiger