Theo dõi
Thomas Ågotnes
Thomas Ågotnes
Professor of Information Science, University of Bergen
Email được xác minh tại infomedia.uib.no - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
1892009
Constructive knowledge: what agents can achieve under imperfect information
W Jamroga, T Ågotnes
Journal of Applied Non-Classical Logics 17 (4), 423-475, 2007
1762007
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
1502007
Group announcement logic
T Ågotnes, P Balbiani, H van Ditmarsch, P Seban
Journal of Applied Logic 8 (1), 62-81, 2010
1412010
Action and knowledge in alternating-time temporal logic
T Ågotnes
Synthese 149, 375-407, 2006
872006
Knowledge and ability
T Ågotnes, V Goranko, W Jamroga, M Wooldridge
College Publications, 2015
832015
Resolving distributed knowledge
T Ågotnes, YN Wáng
Artificial Intelligence 252, 1-21, 2017
802017
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
712008
Coalitions and announcements
T Ågotnes, H Van Ditmarsch
Proceedings of the 7th international joint conference on Autonomous agents …, 2008
692008
What will they say?—public announcement games
T Ågotnes, H van Ditmarsch
Synthese, 1-29, 2010
602010
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
582010
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
532006
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
512011
Optimal social laws
T Ågotnes, M Wooldridge
Proceedings of the 9th International Conference on Autonomous Agents and …, 2010
512010
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
The dynamics of syntactic knowledge
T Ågotnes, N Alechina
Journal of Logic and Computation 17 (1), 83-116, 2007
432007
Coalition logic with individual, distributed and common knowledge
T Ågotnes, N Alechina
Journal of Logic and Computation 29 (7), 1041-1069, 2019
422019
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20