Formal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour

  • Kerber, Manfred (Principal Investigator)
  • Rowat, Colin (Co-Investigator)
Filter
Conference contribution

Search results

  • 2015

    Sound auction specification and implementation

    Caminati, M. B., Kerber, M., Lange-Bever, C. & Rowat, C., 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 proceeding › Conference contribution

    Open Access
    File
    8 Citations (Scopus)
    257 Downloads (Pure)
  • 2013

    A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory

    Lange, C., Caminati, M., Kerber, M., Mossakowski, T., Rowat, C., Wenzel, M. & Windsteiger, W., 2013, Intelligent Computer Mathematics. Carette, J., Davenport, J., Windsteiger, W., Sojka, P., Aspinall, D. & Lange, C. (eds.). Springer, Vol. 7961. p. 200-215 (Lecture Notes in Computer Science; vol. 7961).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    9 Citations (Scopus)
    294 Downloads (Pure)

  • Developing an Auction Theory Toolbox

    Lange, C., Rowat, C., Windsteiger, W. & Kerber, M., 5 Apr 2013, Do-Form: Enabling Domain Experts to use Formalised Reasoning. Lange, C., Rowat, C. & Kerber, M. (eds.). Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), p. 25-29

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    209 Downloads (Pure)

  • Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset

    Lange, C., Ion, P., Dimou, A., Bratsas, C., Corneli, J., Sperber, W., Kohlhase, M. & Antoniou, I., 2013, Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Springer, Vol. 7362. p. 458-462 (Lecture Notes in Computer Science; vol. 7362).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Citations (Scopus)
  • 2012

    Formal representation and proof for cooperative games

    Kerber, M., Lange, C. & Rowat, C., 3 Jul 2012, Symposium on Mathematical Practice and Cognition II. Pease, A. & Larvor, B. (eds.). Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), p. 15-18

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    192 Downloads (Pure)