ePrints Repository

Formal representation and proof for cooperative games

Kerber, Manfred and Lange, Christoph and Rowat, Colin (2012) Formal representation and proof for cooperative games. In: Symposium on Mathematical Practice and Cognition II. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), pp. 15-18. ISBN 978-1-908187-10-9

PDF (176Kb)Published Version

URL of Published Version: http://homepages.inf.ed.ac.uk/apease/aisb12/1.pdf

In this contribution we present some work we have been doing in representing and proving theorems from the area of economics, and mainly we present work we will do in a project in which we will apply mechanised theorem proving tools to a class of economic problems for which very few general tools currently exist. For mechanised theorem proving, the research introduces the field to a new application domain with a large user base; more specifically, the researchers are collaborating with developers working on state-of-the-art theorem provers. For economics, the research will provide tools for handling a hard class of problems; more generally, as the first application of mechanised theorem proving to centrally involve economic theorists, it aims to properly introduce mechanised theorem proving techniques to the discipline.

Type of Work:Book Section
Date:2012 (Publication)
School/Faculty:Colleges (2008 onwards) > College of Engineering & Physical Sciences
Colleges (2008 onwards) > College of Social Sciences
Department:School of Computer Science, Department of Economics
Subjects:HB Economic Theory
QA75 Electronic computers. Computer science
Institution:University of Birmingham
Copyright Holders:Manfred Kerber, Christoph Lange, Colin Rowat
ID Code:1239
Export Reference As : ASCII + BibTeX + Dublin Core + EndNote + HTML + METS + MODS + OpenURL Object + Reference Manager + Refer + RefWorks
Share this item :
QR Code for this page

Repository Staff Only: item control page