Colin Rowat

Publications

  1. 2020
  2. Accepted/In press

    Asymmetric Shapley values: incorporating causal knowledge into model-agnostic explainability

    Colin Rowat, Nov 2020, (Accepted/In press) Vancouver: NIPS, p. 1-20, 20 p. (stat.ML).

    Research output: Working paper

  3. 2016
  4. Published

    An introduction to mechanized reasoning

    Manfred Kerber, Christoph Lange-Bever & Colin Rowat, Oct 2016, In : Journal of Mathematical Economics. 66, p. 26-39 14 p.

    Research output: Contribution to journalArticle

  5. 2015
  6. Published

    Pillage games with multiple stable sets

    Manfred Kerber & Colin Rowat, Nov 2015, In : International Journal of Game Theory. 44, 4, p. 993-1013

    Research output: Contribution to journalArticle

  7. Published

    Problem set for first order theorem provers in the TPTP format

    Marco Caminati, Manfred Kerber & Colin Rowat, 16 Jun 2015

    Research output: Non-textual formData set/Database

  8. Published

    Sound auction specification and implementation

    Marco Caminati, Manfred Kerber, Christoph Lange-Bever & Colin Rowat, 15 Jun 2015, EC '15 Proceedings of the Sixteenth ACM Conference on Economics and Computation . Roughgarden, T., Feldman, M. & Schwarz, M. (eds.). New York, NY, USA: Association for Computing Machinery , p. 547-564 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Published

    VCG - Combinatorial Vickrey-Clarke-Groves Auctions

    Marco Caminati, Manfred Kerber, Christoph Lange-Bever & Colin Rowat, 30 Apr 2015, In : Archive of Formal Proofs. p. 1-134 134 p., 2015-04-30.

    Research output: Contribution to journalArticle

  10. Published

    Reasoning about Dynamic Auctions

    Marco Caminati, Manfred Kerber & Colin Rowat, 9 Apr 2015, p. 15-16. 2 p.

    Research output: Contribution to conference (unpublished)Abstract

  11. 2014
  12. Published

    Reasoning about Auctions

    Marco Caminati, Manfred Kerber, Christoph Lange-Bever & Colin Rowat, 23 Jul 2014, p. 10-11. 2 p.

    Research output: Contribution to conference (unpublished)Abstract

  13. Published

    Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?

    Marco Caminati, Manfred Kerber, Christoph Lange-Bever & Colin Rowat, 7 Jul 2014, Intelligent Computer Mathematics: International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings. Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. & Urban, J. (eds.). Springer, Vol. 8543 LNCS. p. 236-251 16 p. (Lecture Notes in Computer Science; vol. 8543).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Published

    Budget imbalance criteria for auctions: A formalized theorem

    Marco Caminati, Manfred Kerber & Colin Rowat, 1 Jul 2014, p. 35-44. 10 p.

    Research output: Contribution to conference (unpublished)Paper

Previous 1 2 3 4 5 6 Next