2009 |
26 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Reasoning about coalitional games.
Artif. Intell. 173(1): 45-79 (2009) |
25 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Completeness and Complexity of Multi-modal CTL.
Electr. Notes Theor. Comput. Sci. 231: 259-275 (2009) |
2008 |
24 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Quantifying over coalitions in epistemic logic.
AAMAS (2) 2008: 665-672 |
23 | EE | Thomas Ågotnes,
Hans P. van Ditmarsch:
Coalitions and announcements.
AAMAS (2) 2008: 673-680 |
22 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Robust normative systems.
AAMAS (2) 2008: 747-754 |
21 | EE | Thomas Ågotnes,
Michal Walicki:
Complete Axiomatisations of Properties of Finite Sets.
Logic Journal of the IGPL 16(3): 293-313 (2008) |
20 | EE | Thomas Å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- |
18 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Normative system games.
AAMAS 2007: 129 |
17 | EE | Wojciech Jamroga,
Thomas Ågotnes:
Modular interpreted systems.
AAMAS 2007: 131 |
16 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Reasoning about judgment and preference aggregation.
AAMAS 2007: 85 |
15 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Juan A. Rodríguez-Aguilar,
Carles Sierra,
Michael Wooldridge:
On the Logic of Normative Systems.
IJCAI 2007: 1175-1180 |
14 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Quantified Coalition Logic.
IJCAI 2007: 1181-1186 |
13 | EE | Thomas Å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 |
12 | EE | Thomas Ågotnes,
Valentin Goranko,
Wojciech Jamroga:
Alternating-time temporal logics with irrevocable strategies.
TARK 2007: 15-24 |
11 | EE | Thomas Ågotnes,
Natasha Alechina:
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness.
TARK 2007: 6-14 |
10 | EE | Thomas Ågotnes,
Natasha Alechina:
The Dynamics of Syntactic Knowledge.
J. Log. Comput. 17(1): 83-116 (2007) |
2006 |
9 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
On the logic of coalitional games.
AAMAS 2006: 153-160 |
8 | EE | Thomas Ågotnes,
Wiebe van der Hoek,
Michael Wooldridge:
Temporal qualitative coalitional games.
AAMAS 2006: 177-184 |
7 | EE | Wojciech 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 |
4 | EE | Thomas Ågotnes,
Michal Walicki:
A logic of reasoning, communication and cooperation with syntactic knowledge.
AAMAS 2005: 1135-1136 |
3 | EE | Thomas Ågotnes,
Michal Walicki:
Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures.
CLIMA VI 2005: 57-76 |
2 | EE | Thomas Å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 |