Ågotnes, Thomas

5 publications

IJCAI 2013 Multi-Agent Subset Space Logic Yi Nicholas Wang, Thomas Ågotnes

IJCAI 2013 Verifiable Equilibria in Boolean Games Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge

AAAI 2007 Logic for Automated Mechanism Design - A Progress Report Michael J. Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek

IJCAI 2007 On the Logic of Normative Systems Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge

IJCAI 2007 Quantified Coalition Logic Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge