Developing an Auction Theory Toolbox

Christoph Lange; Colin Rowat; Wolfgang Windsteiger; Manfred Kerber

Developing an Auction Theory Toolbox

Christoph Lange, Colin Rowat, Wolfgang Windsteiger, Manfred Kerber

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

181 Downloads (Pure)

Original language	English
Title of host publication	Do-Form: Enabling Domain Experts to use Formalised Reasoning
Editors	Christoph Lange, Colin Rowat, Manfred Kerber
Publisher	Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB)
Pages	25-29
ISBN (Print)	978-1-908187-32-1
Publication status	Published - 5 Apr 2013
Event	AISB Annual Convention 2013 - Exeter, United Kingdom Duration: 3 Apr 2013 → 5 Apr 2013

Conference

Conference	AISB Annual Convention 2013
Country/Territory	United Kingdom
City	Exeter
Period	3/04/13 → 5/04/13

Access to Document

PaperAccepted author manuscript, 121 KB

http://www.aisb.org.uk/asibpublications/convention-proceedings

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

Cite this

@inproceedings{941f1d1e961042cdbaf629f2767c88ee,

title = "Developing an Auction Theory Toolbox",

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

year = "2013",

month = apr,

day = "5",

language = "English",

isbn = "978-1-908187-32-1",

pages = "25--29",

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

booktitle = "Do-Form: Enabling Domain Experts to use Formalised Reasoning",

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

note = "AISB Annual Convention 2013 ; Conference date: 03-04-2013 Through 05-04-2013",

}

Lange, C, Rowat, C, Windsteiger, W & Kerber, M 2013, Developing an Auction Theory Toolbox. in C Lange, C Rowat & M Kerber (eds), Do-Form: Enabling Domain Experts to use Formalised Reasoning. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), pp. 25-29, AISB Annual Convention 2013, Exeter, United Kingdom, 3/04/13. <http://www.aisb.org.uk/asibpublications/convention-proceedings>

Developing an Auction Theory Toolbox. / Lange, Christoph; Rowat, Colin; Windsteiger, Wolfgang et al.
Do-Form: Enabling Domain Experts to use Formalised Reasoning. ed. / Christoph Lange; Colin Rowat; Manfred Kerber. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), 2013. p. 25-29.

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

TY - GEN

T1 - Developing an Auction Theory Toolbox

AU - Lange, Christoph

AU - Rowat, Colin

AU - Windsteiger, Wolfgang

AU - Kerber, Manfred

PY - 2013/4/5

Y1 - 2013/4/5

M3 - Conference contribution

SN - 978-1-908187-32-1

SP - 25

EP - 29

BT - Do-Form: Enabling Domain Experts to use Formalised Reasoning

A2 - Lange, Christoph

A2 - Rowat, Colin

A2 - Kerber, Manfred

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

T2 - AISB Annual Convention 2013

Y2 - 3 April 2013 through 5 April 2013

ER -

Developing an Auction Theory Toolbox

Conference

Access to Document

Projects

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

Cite this