%0 Conference Paper %1 LRWK:AuctionsDoForm13 %A Lange, Christoph %A Rowat, Colin %A Windsteiger, Wolfgang %A Kerber, Manfred %B Enabling Domain Experts to use Formalised Reasoning %D 2013 %E Lange, Christoph %E Rowat, Colin %E Kerber, Manfred %I Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB) %K imported %T Developing an Auction Theory Toolbox %U http://cs.bham.ac.uk/research/projects/formare/events/aisb2013/ %@ 978-1-908187-32-1

@inproceedings{LRWK:AuctionsDoForm13, added-at = {2017-01-27T23:28:47.000+0100}, author = {Lange, Christoph and Rowat, Colin and Windsteiger, Wolfgang and Kerber, Manfred}, bdsk-url-1 = {http://cs.bham.ac.uk/research/projects/formare/events/aisb2013/}, biburl = {https://www.bibsonomy.org/bibtex/22b3f598ff974ccefbce21c57984821ba/soeren}, booktitle = {Enabling Domain Experts to use Formalised Reasoning}, crossref = {DoForm13}, editor = {Lange, Christoph and Rowat, Colin and Kerber, Manfred}, eventdate = {2013-04-03/2013-04-05}, eventtitle = {Do-Form, symposium at the AISB Annual Convention}, interhash = {a76be3d89c7cbd004bf5da666b48c8ee}, intrahash = {2b3f598ff974ccefbce21c57984821ba}, isbn = {978-1-908187-32-1}, keywords = {imported}, publisher = {{Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB)}}, pubs = {clange,projects/formare}, speaker = {Christoph Lange}, timestamp = {2017-01-27T23:30:12.000+0100}, title = {Developing an Auction Theory Toolbox}, url = {http://cs.bham.ac.uk/research/projects/formare/events/aisb2013/}, venue = {Exeter, UK}, year = 2013 }