Segui
Thomas ┼gotnes
Thomas ┼gotnes
Professor of Information Science, University of Bergen
Email verificata su infomedia.uib.no - Home page
Titolo
Citata da
Citata da
Anno
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
1692007
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
1412007
Group announcement logic
T ┼gotnes, P Balbiani, H van Ditmarsch, P Seban
Journal of Applied Logic 8 (1), 62-81, 2010
1352010
Action and knowledge in alternating-time temporal logic
T ┼gotnes
Synthese 149, 375-407, 2006
822006
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
752009
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
682008
Resolving distributed knowledge
T ┼gotnes, YN Wßng
Artificial Intelligence 252, 1-21, 2017
662017
Coalitions and announcements
T ┼gotnes, H Van Ditmarsch
Proceedings of the 7th international joint conference on Autonomous agentsá…, 2008
652008
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
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
482007
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
Optimal social laws
T ┼gotnes, M Wooldridge
Proceedings of the 9th International Conference on Autonomous Agents andá…, 2010
452010
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
442011
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
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20