A temporal logic of normative systems T Ågotnes, W Van Der Hoek, JA Rodríguez-Aguilar, C Sierra, ... Towards Mathematical Philosophy: Papers from the Studia Logica conference …, 2009 | 174 | 2009 |
Constructive knowledge: what agents can achieve under imperfect information W Jamroga, T Ågotnes Journal of Applied Non-Classical Logics 17 (4), 423-475, 2007 | 167 | 2007 |
Alternating-time temporal logics with irrevocable strategies T Ågotnes, V Goranko, W Jamroga Proceedings of the 11th conference on Theoretical aspects of rationality and …, 2007 | 142 | 2007 |
Group announcement logic T Ågotnes, P Balbiani, H van Ditmarsch, P Seban Journal of Applied Logic 8 (1), 62-81, 2010 | 132 | 2010 |
Knowledge and ability T Ågotnes, V Goranko, W Jamroga, M Wooldridge College Publications, 2015 | 80 | 2015 |
Action and knowledge in alternating-time temporal logic T Ågotnes Synthese 149, 375-407, 2006 | 80 | 2006 |
Reasoning about coalitional games T Ågotnes, W van der Hoek, M Wooldridge Artificial Intelligence 173 (1), 45-79, 2009 | 76 | 2009 |
Resolving distributed knowledge T Ågotnes, YN Wáng Artificial Intelligence 252, 1-21, 2017 | 72 | 2017 |
Normative system games T Ågotnes, W van der Hoek, M Wooldridge Proceedings of the 6th international joint conference on Autonomous agents …, 2007 | 72 | 2007 |
Quantified coalition logic T Ågotnes, W Van Der Hoek, M Wooldridge Synthese 165, 269-294, 2008 | 71 | 2008 |
Coalitions and announcements T Ågotnes, H Van Ditmarsch Proceedings of the 7th international joint conference on Autonomous agents …, 2008 | 65 | 2008 |
What will they say?—public announcement games T Ågotnes, H van Ditmarsch Synthese, 1-29, 2010 | 59 | 2010 |
Robust normative systems and a logic of norm compliance T Ågotnes, W Van der Hoek, M Wooldridge Logic Journal of IGPL 18 (1), 4-30, 2010 | 53 | 2010 |
On the logic of coalitional games T Ågotnes, W van der Hoek, M Wooldridge Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 51 | 2006 |
Optimal social laws T Ågotnes, M Wooldridge Proceedings of the 9th International Conference on Autonomous Agents and …, 2010 | 48 | 2010 |
On the logic of preference and judgment aggregation T Ågotnes, W van der Hoek, M Wooldridge Autonomous Agents and Multi-Agent Systems 22 (1), 4-30, 2011 | 47 | 2011 |
Power in normative systems T Ågotnes, W van der Hoek, M Tennenholtz, M Wooldridge Proceedings of The 8th International Conference on Autonomous Agents and …, 2009 | 46 | 2009 |
Logic for automated mechanism design-a progress report M Wooldridge, T Agotnes, PE Dunne, W Van der Hoek PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 22 (1), 9, 2007 | 46 | 2007 |
Filtering large propositional rule sets while retaining classifier performance T Agotnes Master's thesis, Norwegian University of Science and Technology 12, 39-54, 1999 | 43 | 1999 |
The dynamics of syntactic knowledge T Ågotnes, N Alechina Journal of Logic and Computation 17 (1), 83-116, 2007 | 41 | 2007 |