Formal representation and proof for cooperative games

Manfred Kerber; Christoph Lange; Colin Rowat

Formal representation and proof for cooperative games

Manfred Kerber, Christoph Lange, Colin Rowat

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

161 Downloads (Pure)

Original language	English
Title of host publication	Symposium on Mathematical Practice and Cognition II
Editors	Alison Pease, Brendan Larvor
Publisher	Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB)
Pages	15-18
ISBN (Print)	978-1-908187-10-9
Publication status	Published - 3 Jul 2012
Event	AISB Annual Convention 2012 - Birmingham, United Kingdom Duration: 2 Jul 2012 → 3 Jul 2012

Conference

Conference	AISB Annual Convention 2012
Country/Territory	United Kingdom
City	Birmingham
Period	2/07/12 → 3/07/12

Access to Document

1Accepted author manuscript, 698 KB

Formal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour
Kerber, M. & Rowat, C.
Engineering & Physical Science Research Council
1/05/12 → 30/04/15
Project: Research Councils

Cite this

@inproceedings{ac1774e5ccfc416294dbf00dfa3c0ff6,

title = "Formal representation and proof for cooperative games",

author = "Manfred Kerber and Christoph Lange and Colin Rowat",

year = "2012",

month = jul,

day = "3",

language = "English",

isbn = "978-1-908187-10-9",

pages = "15--18",

editor = "Alison Pease and Brendan Larvor",

booktitle = "Symposium on Mathematical Practice and Cognition II",

publisher = "Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB)",

note = "AISB Annual Convention 2012 ; Conference date: 02-07-2012 Through 03-07-2012",

}

Formal representation and proof for cooperative games. / Kerber, Manfred; Lange, Christoph; Rowat, Colin.
Symposium on Mathematical Practice and Cognition II. ed. / Alison Pease; Brendan Larvor. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), 2012. p. 15-18.

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

TY - GEN

T1 - Formal representation and proof for cooperative games

AU - Kerber, Manfred

AU - Lange, Christoph

AU - Rowat, Colin

PY - 2012/7/3

Y1 - 2012/7/3

M3 - Conference contribution

SN - 978-1-908187-10-9

SP - 15

EP - 18

BT - Symposium on Mathematical Practice and Cognition II

A2 - Pease, Alison

A2 - Larvor, Brendan

PB - Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB)

T2 - AISB Annual Convention 2012

Y2 - 2 July 2012 through 3 July 2012

ER -

Formal representation and proof for cooperative games

Conference

Access to Document

Projects

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

Cite this