dblp.uni-trier.dewww.uni-trier.de

Thomas Ågotnes

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
26EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Reasoning about coalitional games. Artif. Intell. 173(1): 45-79 (2009)
25EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Completeness and Complexity of Multi-modal CTL. Electr. Notes Theor. Comput. Sci. 231: 259-275 (2009)
2008
24EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantifying over coalitions in epistemic logic. AAMAS (2) 2008: 665-672
23EEThomas Ågotnes, Hans P. van Ditmarsch: Coalitions and announcements. AAMAS (2) 2008: 673-680
22EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Robust normative systems. AAMAS (2) 2008: 747-754
21EEThomas Ågotnes, Michal Walicki: Complete Axiomatisations of Properties of Finite Sets. Logic Journal of the IGPL 16(3): 293-313 (2008)
20EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantified coalition logic. Synthese 165(2): 269-294 (2008)
2007
19 Michael Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek: Logic for Automated Mechanism Design - A Progress Report. AAAI 2007: 9-
18EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Normative system games. AAMAS 2007: 129
17EEWojciech Jamroga, Thomas Ågotnes: Modular interpreted systems. AAMAS 2007: 131
16EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Reasoning about judgment and preference aggregation. AAMAS 2007: 85
15EEThomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge: On the Logic of Normative Systems. IJCAI 2007: 1175-1180
14EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantified Coalition Logic. IJCAI 2007: 1181-1186
13EEThomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge: On the Logic of Normative Systems. Normative Multi-agent Systems 2007
12EEThomas Ågotnes, Valentin Goranko, Wojciech Jamroga: Alternating-time temporal logics with irrevocable strategies. TARK 2007: 15-24
11EEThomas Ågotnes, Natasha Alechina: Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. TARK 2007: 6-14
10EEThomas Ågotnes, Natasha Alechina: The Dynamics of Syntactic Knowledge. J. Log. Comput. 17(1): 83-116 (2007)
2006
9EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: On the logic of coalitional games. AAMAS 2006: 153-160
8EEThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Temporal qualitative coalitional games. AAMAS 2006: 177-184
7EEWojciech Jamroga, Thomas Ågotnes: What agents can achieve under incomplete information. AAMAS 2006: 232-234
6 Thomas Ågotnes, Natasha Alechina: Knowing Minimum/Maximum n Formulae. ECAI 2006: 317-321
5 Thomas Ågotnes, Natasha Alechina: Semantics for Dynamic Syntactic Epistemic Logics. KR 2006: 411-419
2005
4EEThomas Ågotnes, Michal Walicki: A logic of reasoning, communication and cooperation with syntactic knowledge. AAMAS 2005: 1135-1136
3EEThomas Ågotnes, Michal Walicki: Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures. CLIMA VI 2005: 57-76
2EEThomas Ågotnes, Michal Walicki: Complete Axiomatizations of Finite Syntactic Epistemic States. DALT 2005: 33-50
1999
1 Thomas Ågotnes, Henryk Jan Komorowski, Terje Løken: Taming Large Rule Models in Rough Set Approaches. PKDD 1999: 193-203

Coauthor Index

1Natasha Alechina [5] [6] [10] [11]
2Hans P. van Ditmarsch [23]
3Paul E. Dunne (Paul E. S. Dunne) [19]
4Valentin Goranko [12]
5Wiebe van der Hoek [8] [9] [13] [14] [15] [16] [18] [19] [20] [22] [24] [25] [26]
6Wojciech Jamroga [7] [12] [17]
7Henryk Jan Komorowski [1]
8Terje Løken [1]
9Juan A. Rodríguez-Aguilar [13] [15]
10Carles Sierra [13] [15]
11Michal Walicki [2] [3] [4] [21]
12Michael Wooldridge [8] [9] [13] [14] [15] [16] [18] [19] [20] [22] [24] [25] [26]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)