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

Research output

Research output per year 2012 2013 2015

• 5 Conference contribution
• 3 Article
• 2 Web publication/site
• 1 Other
• 3 More
  • 1 Paper
  • 1 Software
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 2015

  Pillage games with multiple stable sets

  Mackenzie, S., Kerber, M. & Rowat, C., Nov 2015, In: International Journal of Game Theory. 44, 4, p. 993-1013

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Stable Set 100%
  • Game 56%
  • game theory 41%
  • anonymity 38%
  • Jordan 37%
  277 Downloads (Pure)

• 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

  • Acoustic waves 100%
  • Specifications 81%
  • Formal methods 58%
  • Computer science 25%
  8 Citations (Scopus)

  196 Downloads (Pure)
• 2014

  Sufficient conditions for unique stable sets in three agent pillage games

  Rowat, C. & Kerber, M., May 2014, In: Mathematical Social Sciences. 69, p. 69-80

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Stable Set 100%
  • Jordan 90%
  • Game 56%
  • coalition 39%
  • Characteristic Function 38%
  3 Citations (Scopus)

  277 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)

  253 Downloads (Pure)

• Auction Theory Toolbox

  Lange, C., Rowat, C., Kerber, M., Wenzel, M., Caminati, M., Mossakowski, T. & Windsteiger, W., 13 Jan 2013

  Research output: Non-textual form › Software

• 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
  154 Downloads (Pure)

• Enabling Domain Experts to use Formalised Reasoning: Do-Form, Symposium at the AISB Annual Convention

  Kerber, M. (ed.), Lange, C. (ed.) & Rowat, C. (ed.), 5 Apr 2013, Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB).

  Research output: Other contribution

• ForMaRE: Formal Mathematical Reasoning in Economics

  Kerber, M., Lange, C. & Rowat, C., 12 Apr 2013.

  Research output: Contribution to conference (unpublished) › Paper

  Open Access

  File
  73 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)

• The ForMaRE Project: Formal Mathematical Reasoning in Economics

  Kerber, M., Rowat, C. & Lange, C., 29 May 2013, EPS College Newsletter, 2013, June.

  Research output: Contribution to specialist publication › Article
  7 Citations (Scopus)

• The ForMaRE Project: Formal Mathematical Reasoning in Economics

  Lange, C., Rowat, C. & Kerber, M., 8 Jul 2013

  Research output: Non-textual form › Web publication/site

  • Formal methods 100%
  • Economics 92%
  • Game theory 31%
  • User experience 28%
  • Feedback 18%
  7 Citations (Scopus)
• 2012

  An economist's guide to mechanized reasoning or My computer just proved 84 impossibility theorems

  Kerber, M., Lange, C. & Rowat, C., 25 Jul 2012.

  Research output: Contribution to conference (unpublished) › Other

  Open Access

  File
  281 Downloads (Pure)

• Formalising “100”' Theorems/Models/Theories in Economics

  Lange, C., Rowat, C. & Kerber, M., 27 Sept 2012

  Research output: Non-textual form › Web publication/site

• 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
  136 Downloads (Pure)