Munyque Mittelmann, Laurent Perrussel. An Epistemic Logic for Reasoning about Strategies in General Auctions. In Carmine Dodaro, George Aristidis Elder, Wolfgang Faber 0001, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily Leblanc, Michael Morak, Jessica Zangari, editors, International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020. Volume 2678 of CEUR Workshop Proceedings, CEUR-WS.org, 2020. [doi]
@inproceedings{MittelmannP20-1,
title = {An Epistemic Logic for Reasoning about Strategies in General Auctions},
author = {Munyque Mittelmann and Laurent Perrussel},
year = {2020},
url = {http://ceur-ws.org/Vol-2678/paper11.pdf},
researchr = {https://researchr.org/publication/MittelmannP20-1},
cites = {0},
citedby = {0},
booktitle = {International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy, September 18-19, 2020},
editor = {Carmine Dodaro and George Aristidis Elder and Wolfgang Faber 0001 and Jorge Fandinno and Martin Gebser and Markus Hecher and Emily Leblanc and Michael Morak and Jessica Zangari},
volume = {2678},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}