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

Thomas Ågotnes Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings Springer 2011
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Scientia potentia est. AAMAS 2011: 735-742
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Natasha Alechina: Reasoning about Joint Action and Coalitional Ability in K n with Intersection. CLIMA 2011: 139-156
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYì N. Wáng, Thomas Ågotnes: Public Announcement Logic with Distributed Knowledge. LORI 2011: 328-341
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes: Coordinating multi-agent systems using social laws. SCAI 2011: 7
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: On the logic of preference and judgment aggregation. Autonomous Agents and Multi-Agent Systems 22(1): 4-30 (2011)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Natasha Alechina: Completeness of Epistemic Coalition Logic with Group Knowledge CoRR abs/1107.0278: (2011)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Johan van Benthem, Hans P. van Ditmarsch, Stefan Minica: Question-answer games. Journal of Applied Non-Classical Logics 21(3-4): 265-288 (2011)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Hans P. van Ditmarsch: What will they say? - Public Announcement Games. Synthese 179(Supplement-1): 57-85 (2011)
2010
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes: STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers' Symposium, Lisbon, Portugal, 16-20 August, 2010 IOS Press 2010
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Michael Wooldridge: Optimal social laws. AAMAS 2010: 667-674
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes: Group Announcements: Logic and Games (Abstract of Invited Talk). CLIMA 2010: 9-13
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Philippe Balbiani, Hans P. van Ditmarsch, Pablo Seban: Group announcement logic. J. Applied Logic 8(1): 62-81 (2010)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Robust normative systems and a logic of norm compliance. Logic Journal of the IGPL 18(1): 4-30 (2010)
2009
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael Wooldridge: Power in normative systems. AAMAS (1) 2009: 145-152
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Reasoning about coalitional games. Artif. Intell. 173(1): 45-79 (2009)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Completeness and Complexity of Multi-modal CTL. Electr. Notes Theor. Comput. Sci. 231: 259-275 (2009)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Natasha Alechina: Editorial. Journal of Logic, Language and Information 18(1): 1-2 (2009)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Dirk Walther: A Logic of Strategic Ability Under Bounded Memory. Journal of Logic, Language and Information 18(1): 55-77 (2009)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Logics for Qualitative Coalitional Games. Logic Journal of the IGPL 17(3): 299-321 (2009)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge: Multi-Modal CTL: Completeness, Complexity, and an Application. Studia Logica 92(1): 1-26 (2009)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Johan van Benthem, Eric Pacuit: Logic and intelligent interaction. Synthese 169(2): 219-221 (2009)
2008
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantifying over coalitions in epistemic logic. AAMAS (2) 2008: 665-672
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Hans P. van Ditmarsch: Coalitions and announcements. AAMAS (2) 2008: 673-680
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Robust normative systems. AAMAS (2) 2008: 747-754
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Michal Walicki: Complete Axiomatisations of Properties of Finite Sets. Logic Journal of the IGPL 16(3): 293-313 (2008)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantified coalition logic. Synthese 165(2): 269-294 (2008)
2007
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek: Logic for Automated Mechanism Design - A Progress Report. AAAI 2007: 9-
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Normative system games. AAMAS 2007: 129
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWojciech Jamroga, Thomas Ågotnes: Modular interpreted systems. AAMAS 2007: 131
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Reasoning about judgment and preference aggregation. AAMAS 2007: 85
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge: On the Logic of Normative Systems. IJCAI 2007: 1175-1180
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Quantified Coalition Logic. IJCAI 2007: 1181-1186
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Å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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Valentin Goranko, Wojciech Jamroga: Alternating-time temporal logics with irrevocable strategies. TARK 2007: 15-24
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Natasha Alechina: Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. TARK 2007: 6-14
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Natasha Alechina: The Dynamics of Syntactic Knowledge. J. Log. Comput. 17(1): 83-116 (2007)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWojciech Jamroga, Thomas Ågotnes: Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-Classical Logics 17(4): 423-475 (2007)
2006
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: On the logic of coalitional games. AAMAS 2006: 153-160
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge: Temporal qualitative coalitional games. AAMAS 2006: 177-184
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWojciech Jamroga, Thomas Ågotnes: What agents can achieve under incomplete information. AAMAS 2006: 232-234
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Natasha Alechina: Knowing Minimum/Maximum n Formulae. ECAI 2006: 317-321
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Natasha Alechina: Semantics for Dynamic Syntactic Epistemic Logics. KR 2006: 411-419
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes: Action and Knowledge in Alternating-Time Temporal Logic. Synthese 149(2): 375-407 (2006)
2005
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Michal Walicki: A logic of reasoning, communication and cooperation with syntactic knowledge. AAMAS 2005: 1135-1136
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Michal Walicki: Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures. CLIMA 2005: 57-76
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Michal Walicki: Complete Axiomatizations of Finite Syntactic Epistemic States. DALT 2005: 33-50
1999
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ågotnes, Henryk Jan Komorowski, Terje Løken: Taming Large Rule Models in Rough Set Approaches. PKDD 1999: 193-203

Coauthor Index

1Natasha Alechina [6] [7] [12] [13] [31] [42] [46]
2Philippe Balbiani [36]
3Johan van Benthem [27] [41]
4Guido Boella [48]
5Hans P. van Ditmarsch [25] [36] [40] [41]
6Paul E. Dunne (Paul E. S. Dunne) [21]
7Valentin Goranko [14]
8Wiebe van der Hoek [9] [10] [15] [16] [17] [18] [20] [21] [22] [24] [26] [28] [29] [32] [33] [34] [35] [43] [47]
9Wojciech Jamroga (Wojtek Jamroga) [8] [11] [14] [19]
10Henryk Jan Komorowski [1]
11João Leite (João Alexandre Leite) [48]
12Terje Løken [1]
13Stefan Minica [41]
14Eric Pacuit [27]
15Juan A. Rodríguez-Aguilar [15] [17] [28]
16Pablo Seban [36]
17Carles Sierra [15] [17] [28]
18Moshe Tennenholtz [34]
19Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre) [48]
20Paolo Torroni [48]
21Michal Walicki [2] [3] [4] [23]
22Dirk Walther [30]
23Yì N. Wáng [45]
24Michael Wooldridge (Michael J. Wooldridge) [9] [10] [15] [16] [17] [18] [20] [21] [22] [24] [26] [28] [29] [32] [33] [34] [35] [38] [43] [47]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 03:49:23 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page