Thomas Ågotnes

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 33

Top Venues

Publications

Thomas Ågotnes, Hans van Ditmarsch, Tim French
The Undecidability of Quantified Announcements. CoRR (2024)
Thomas Ågotnes, Chiaki Sakama
A Formal Analysis of Hollis' Paradox. LORI (2023)
Zuojun Xiong, Thomas Ågotnes
Correction to: The logic of secrets and the interpolation rule. Ann. Math. Artif. Intell. 91 (6) (2023)
Thomas Ågotnes, Rustam Galimullin
Quantifying over information change with common knowledge. Auton. Agents Multi Agent Syst. 37 (1) (2023)
Zuojun Xiong, Thomas Ågotnes
The logic of secrets and the interpolation rule. Ann. Math. Artif. Intell. 91 (4) (2023)
Rustam Galimullin, Thomas Ågotnes
Coalition Logic for Specification and Verification of Smart Contract Upgrades. PRIMA (2022)
Thomas Ågotnes, Natasha Alechina, Rustam Galimullin
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. J. Log. Lang. Inf. 31 (2) (2022)
John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes
Cautious Distributed Belief. DaLí (2022)
Rustam Galimullin, Thomas Ågotnes
Action Models for Coalition Logic. DaLí (2022)
Thomas Ågotnes, Yì N. Wáng
Somebody Knows. KR (2021)
Thomas Ågotnes, Yì N. Wáng
Group belief. J. Log. Comput. 31 (8) (2021)
Erik Parmann, Thomas Ågotnes
Reasoning about strategic voting in modal logic quickly becomes undecidable. J. Log. Comput. 31 (4) (2021)
Mina Young Pedersen, Sonja Smets, Thomas Ågotnes
Modal Logics and Group Polarization. J. Log. Comput. 31 (8) (2021)
Tor Hagland, Thomas Ågotnes
Crossing Hands in the Russian Cards Problem. LORI (2021)
Rustam Galimullin, Thomas Ågotnes
Quantified Announcements and Common Knowledge. AAMAS (2021)
Rustam Galimullin, Thomas Ågotnes
Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. LORI (2021)
Yì N. Wáng, Thomas Ågotnes
Simpler completeness proofs for modal logics with intersection. CoRR (2020)
Yì N. Wáng, Thomas Ågotnes
Simpler Completeness Proofs for Modal Logics with Intersection. DaLí (2020)
Zuojun Xiong, Thomas Ågotnes
On the Logic of Balance in Social Networks. J. Log. Lang. Inf. 29 (1) (2020)
Thomas Ågotnes, Yì N. Wáng
Group Belief. CLAR (2020)
Mina Young Pedersen, Sonja Smets, Thomas Ågotnes
Further Steps Towards a Logic of Polarization in Social Networks. CLAR (2020)
Zuojun Xiong, Thomas Ågotnes
Arbitrary Propositional Network Announcement Logic. DaLí (2020)
Rustam Galimullin, Thomas Ågotnes, Natasha Alechina
Group Announcement Logic with Distributed Knowledge. LORI (2019)
Mina Young Pedersen, Sonja Smets, Thomas Ågotnes
Analyzing Echo Chambers: A Logic of Strong and Weak Ties. LORI (2019)
Thomas Ågotnes, Natasha Alechina
Coalition logic with individual, distributed and common knowledge1. J. Log. Comput. 29 (7) (2019)
Thomas Ågotnes, Giacomo Bonanno, Wiebe van der Hoek
Introduction to the special issue. J. Log. Comput. 29 (7) (2019)
Thomas Ågotnes, Beishui Liao, Yì N. Wáng
Logic and argumentation. J. Appl. Non Class. Logics 28 (2-3) (2018)
Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang
True lies. Synth. 195 (10) (2018)
Thomas Ågotnes, Yì N. Wáng
Resolving distributed knowledge. Artif. Intell. 252 (2017)
Zuojun Xiong, Thomas Ågotnes, Jeremy Seligman, Rui Zhu
Towards a Logic of Tweeting. LORI (2017)
Thomas Ågotnes, Giacomo Bonanno, Wiebe van der Hoek
Introduction to the special issue. Synth. 193 (3) (2016)
Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang
True Lies. CoRR (2016)
Thomas Ågotnes, Hans van Ditmarsch, Timothy Noel French
The Undecidability of Quantified Announcements. Stud Logica 104 (4) (2016)
Thomas Ågotnes, Yì N. Wáng
Resolving Distributed Knowledge. TARK (2015)
Truls Pedersen, Sjur K. Dyrkolbotn, Thomas Ågotnes
Reasoning about reasons behind preferences using modal logic. Inf. Syst. Frontiers 17 (4) (2015)
Yì N. Wáng, Thomas Ågotnes
Relativized common knowledge for dynamic epistemic logic. J. Appl. Log. 13 (3) (2015)
Marija Slavkovik, Thomas Ågotnes
Measuring Dissimilarity between Judgment Sets. JELIA (2014)
João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leendert W. N. van der Torre
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII). J. Log. Comput. 24 (6) (2014)
Thomas Ågotnes, Hans van Ditmarsch, Tim French
The undecidability of group announcements. AAMAS (2014)
Thomas Ågotnes, Natasha Alechina
A Logic for Reasoning About Knowledge of Unawareness. J. Log. Lang. Inf. 23 (2) (2014)
Marija Slavkovik, Thomas Ågotnes
A judgment set similarity measure based on prime implicants. AAMAS (2014)
Thomas Ågotnes, Natasha Alechina
Formal Models of Awareness. J. Log. Lang. Inf. 23 (2) (2014)
Thomas Ågotnes, Gerhard Lakemeyer, Benedikt Löwe, Bernhard Nebel
Planning with epistemic goals (Dagstuhl Seminar 14032). Dagstuhl Reports 4 (1) (2014)
Piotr Kazmierczak, Thomas Ågotnes, Wojciech Jamroga
Multi-agency Is Coordination and (Limited) Communication. PRIMA (2014)
Thomas Ågotnes, Nils Bulling
Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). Dagstuhl Reports 4 (8) (2014)
Thomas Ågotnes
Logic and Games: an Introduction. Stud Logica 102 (2) (2014)
Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge
Boolean Games with Epistemic Goals. LORI (2013)
Yì N. Wáng, Thomas Ågotnes
Public Announcements, Private Actions and Common Knowledge in S5 Structures. LORI (2013)
Yì N. Wáng, Thomas Ågotnes
Preference Logic of Focus Change: A Semantic Approach. AT (2013)
Truls Pedersen, Sjur K. Dyrkolbotn, Thomas Ågotnes
Reasonably Rational: Reasoning about Reasons Behind Preferences Using Modal Logic. AT (2013)
Yi Nicholas Wang, Thomas Ågotnes
Multi-Agent Subset Space Logic. IJCAI (2013)
Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge
Verifiable Equilibria in Boolean Games. IJCAI (2013)
Yì N. Wáng, Thomas Ågotnes
Subset Space Public Announcement Logic. ICLA (2013)
Yì N. Wáng, Thomas Ågotnes
Public announcement logic with distributed knowledge: expressivity, completeness and complexity. Synth. 190 (Supplement-1) (2013)
Piotr Kazmierczak, Truls Pedersen, Thomas Ågotnes
NORMC: a Norm Compliance Temporal Logic Model Checker. STAIRS (2012)
Thomas Ågotnes, Natasha Alechina
Epistemic coalition logic: completeness and complexity. AAMAS (2012)
Thomas Ågotnes, Hans van Ditmarsch
Coalitional Public Announcement Games. PRIMA (2012)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Conservative Social Laws. ECAI (2012)
Thomas Ågotnes, Natasha Alechina
Completeness of Epistemic Coalition Logic with Group Knowledge CoRR (2011)
Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch, Stefan Minica
Question-answer games. J. Appl. Non Class. Logics 21 (3-4) (2011)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Scientia potentia est. AAMAS (2011)
Yì N. Wáng, Thomas Ågotnes
Public Announcement Logic with Distributed Knowledge. LORI (2011)
Thomas Ågotnes, Hans van Ditmarsch
What will they say? - Public Announcement Games. Synth. 179 (Supplement-1) (2011)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
On the logic of preference and judgment aggregation. Auton. Agents Multi Agent Syst. 22 (1) (2011)
Thomas Ågotnes
Coordinating multi-agent systems using social laws. SCAI (2011)
Thomas Ågotnes, Natasha Alechina
Reasoning about Joint Action and Coalitional Ability in K n with Intersection. CLIMA (2011)
Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch, Pablo Seban
Group announcement logic. J. Appl. Log. 8 (1) (2010)
Thomas Ågotnes, Michael J. Wooldridge
Optimal social laws. AAMAS (2010)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Robust normative systems and a logic of norm compliance. Log. J. IGPL 18 (1) (2010)
Thomas Ågotnes
Group Announcements: Logic and Games (Abstract of Invited Talk). CLIMA (2010)
Thomas Ågotnes, Dirk Walther
A Logic of Strategic Ability Under Bounded Memory. J. Log. Lang. Inf. 18 (1) (2009)
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge
Multi-Modal CTL: Completeness, Complexity, and an Application. Stud Logica 92 (1) (2009)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Robust Normative Systems. Normative Multi-Agent Systems (2009)
Thomas Ågotnes, Johan van Benthem, Eric Pacuit
Logic and intelligent interaction. Synth. 169 (2) (2009)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Completeness and Complexity of Multi-modal CTL. Electron. Notes Theor. Comput. Sci. 231 (2009)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Reasoning about coalitional games. Artif. Intell. 173 (1) (2009)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Logics for Qualitative Coalitional Games. Log. J. IGPL 17 (3) (2009)
Thomas Ågotnes, Natasha Alechina
Editorial. J. Log. Lang. Inf. 18 (1) (2009)
Thomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael J. Wooldridge
Power in normative systems. AAMAS (1) (2009)
Thomas Ågotnes, Michal Walicki
Complete Axiomatisations of Properties of Finite Sets. Log. J. IGPL 16 (3) (2008)
Thomas Ågotnes, Hans P. van Ditmarsch
Coalitions and announcements. AAMAS (2) (2008)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Quantified coalition logic. Synth. 165 (2) (2008)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Robust normative systems. AAMAS (2) (2008)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Quantifying over coalitions in epistemic logic. AAMAS (2) (2008)
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge
On the Logic of Normative Systems. IJCAI (2007)
Michael J. Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek
Logic for Automated Mechanism Design - A Progress Report. AAAI (2007)
Wojciech Jamroga, Thomas Ågotnes
Constructive knowledge: what agents can achieve under imperfect information. J. Appl. Non Class. Logics 17 (4) (2007)
Wojciech Jamroga, Thomas Ågotnes
Modular interpreted systems. AAMAS (2007)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Normative system games. AAMAS (2007)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Reasoning about judgment and preference aggregation. AAMAS (2007)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
Quantified Coalition Logic. IJCAI (2007)
Thomas Ågotnes, Natasha Alechina
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. TARK (2007)
Thomas Ågotnes, Natasha Alechina
The Dynamics of Syntactic Knowledge. J. Log. Comput. 17 (1) (2007)
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge
On the Logic of Normative Systems. Normative Multi-agent Systems (2007)
Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga
Alternating-time temporal logics with irrevocable strategies. TARK (2007)
Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
On the logic of coalitional games. AAMAS (2006)
Thomas Ågotnes, Natasha Alechina
Knowing Minimum/Maximum n Formulae. ECAI (2006)
Thomas Ågotnes
Action and Knowledge in Alternating-Time Temporal Logic. Synth. 149 (2) (2006)
Wojciech Jamroga, Thomas Ågotnes
What agents can achieve under incomplete information. AAMAS (2006)
Thomas Ågotnes, Natasha Alechina
Semantics for Dynamic Syntactic Epistemic Logics. KR (2006)

Thomas Ågotnes.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Ågotnes