Follow
Thomas Ågotnes
Thomas Ågotnes
Professor of Information Science, University of Bergen
Verified email at infomedia.uib.no - Homepage
Title
Cited by
Cited by
Year
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
1692009
Constructive knowledge: what agents can achieve under imperfect information
W Jamroga, T Ågotnes
Journal of Applied Non-Classical Logics 17 (4), 423-475, 2007
1662007
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
1402007
Group announcement logic
T Ågotnes, P Balbiani, H van Ditmarsch, P Seban
Journal of Applied Logic 8 (1), 62-81, 2010
1322010
Action and knowledge in alternating-time temporal logic
T Ågotnes
Synthese 149, 375-407, 2006
812006
Knowledge and ability
T Ågotnes, V Goranko, W Jamroga, M Wooldridge
College Publications, 2015
762015
Reasoning about coalitional games
T Ågotnes, W van der Hoek, M Wooldridge
Artificial Intelligence 173 (1), 45-79, 2009
762009
Normative system games
T Ågotnes, W van der Hoek, M Wooldridge
Proceedings of the 6th international joint conference on Autonomous agents …, 2007
722007
Quantified coalition logic
T Ågotnes, W Van Der Hoek, M Wooldridge
Synthese 165, 269-294, 2008
702008
Resolving distributed knowledge
T Ågotnes, YN Wáng
Artificial Intelligence 252, 1-21, 2017
682017
Coalitions and announcements
T Ågotnes, H Van Ditmarsch
Proceedings of the 7th international joint conference on Autonomous agents …, 2008
642008
What will they say?—public announcement games
T Ågotnes, H van Ditmarsch
Synthese, 1-29, 2010
592010
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
522010
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
512006
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
472009
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
472007
Optimal social laws
T Ågotnes, M Wooldridge
Proceedings of the 9th International Conference on Autonomous Agents and …, 2010
462010
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
452011
Filtering large propositional rule sets while retaining classifier performance
T Agotnes
Master's thesis, Norwegian University of Science and Technology 12, 39-54, 1999
431999
The dynamics of syntactic knowledge
T Ågotnes, N Alechina
Journal of Logic and Computation 17 (1), 83-116, 2007
402007
The system can't perform the operation now. Try again later.
Articles 1–20