An Epistemic Logic for Reasoning about Strategies in General Auctions

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]

Abstract

Abstract is missing.