Thomas Ågotnes

122 papers A* 7A 15B 8Journal 48Unranked 36

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Common Belief Revisited. CoRR Thomas Ågotnes
2026	J	`jnl`	Representation theorems for actual and alpha powers over two-agent general concurrent game frames. CoRR Zixuan Chen, Fengkui Ju, Thomas Ågotnes
2025	J	`jnl`	Anonymous Public Announcements. CoRR Thomas Ågotnes, Rustam Galimullin, Ken Satoh, Satoshi Tojo
2025	—	`conf`	Intentionally Anonymous Public Announcements. LORI Thomas Ågotnes, Rustam Galimullin, Ken Satoh, Satoshi Tojo
2025	—	`ed.`	Logic and Argumentation - 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings CLAR Thomas Ågotnes, Dragan Doder
2025	—	`conf`	Next-Time Coalition Logic. LORI Thomas Ågotnes, Fengkui Ju
2025	—	`conf`	The Modal Logic of n-State Frames. LORI Xiaolong Liang, Yì N. Wáng, Thomas Ågotnes
2025	—	`conf`	The Surprise Exam in Full Modal Fixed-Point Logic. CLAR Yanjun Li, Jie Ren, Thomas Ågotnes
2024	J	`jnl`	The Undecidability of Quantified Announcements. CoRR Thomas Ågotnes, Hans van Ditmarsch, Tim French
2024	B	`conf`	Towards Resolving Distributed Beliefs. SEFM John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes
2024	J	`jnl`	Variations on distributed belief. CoRR John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes
2023	—	`conf`	A Formal Analysis of Hollis' Paradox. LORI Thomas Ågotnes, Chiaki Sakama
2023	J	`jnl`	Correction to: The logic of secrets and the interpolation rule. Ann. Math. Artif. Intell. Zuojun Xiong, Thomas Ågotnes
2023	J	`jnl`	Quantifying over information change with common knowledge. Auton. Agents Multi Agent Syst. Thomas Ågotnes, Rustam Galimullin
2023	J	`jnl`	The logic of secrets and the interpolation rule. Ann. Math. Artif. Intell. Zuojun Xiong, Thomas Ågotnes
2022	—	`conf`	Action Models for Coalition Logic. DaLí Rustam Galimullin, Thomas Ågotnes
2022	—	`conf`	Cautious Distributed Belief. DaLí John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes
2022	B	`conf`	Coalition Logic for Specification and Verification of Smart Contract Upgrades. PRIMA Rustam Galimullin, Thomas Ågotnes
2022	J	`jnl`	Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. J. Log. Lang. Inf. Thomas Ågotnes, Natasha Alechina, Rustam Galimullin
2021	—	`conf`	Crossing Hands in the Russian Cards Problem. LORI Tor Hagland, Thomas Ågotnes
2021	—	`conf`	Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. LORI Rustam Galimullin, Thomas Ågotnes
2021	J	`jnl`	Group belief. J. Log. Comput. Thomas Ågotnes, Yì N. Wáng
2021	J	`jnl`	Modal Logics and Group Polarization. J. Log. Comput. Mina Young Pedersen, Sonja Smets, Thomas Ågotnes
2021	A	`conf`	Quantified Announcements and Common Knowledge. AAMAS Rustam Galimullin, Thomas Ågotnes
2021	J	`jnl`	Reasoning about strategic voting in modal logic quickly becomes undecidable. J. Log. Comput. Erik Parmann, Thomas Ågotnes
2021	A*	`conf`	Somebody Knows. KR Thomas Ågotnes, Yì N. Wáng
2020	—	`conf`	Arbitrary Propositional Network Announcement Logic. DaLí Zuojun Xiong, Thomas Ågotnes
2020	—	`conf`	Further Steps Towards a Logic of Polarization in Social Networks. CLAR Mina Young Pedersen, Sonja Smets, Thomas Ågotnes
2020	—	`conf`	Group Belief. CLAR Thomas Ågotnes, Yì N. Wáng
2020	J	`jnl`	On the Logic of Balance in Social Networks. J. Log. Lang. Inf. Zuojun Xiong, Thomas Ågotnes
2020	—	`conf`	Simpler Completeness Proofs for Modal Logics with Intersection. DaLí Yì N. Wáng, Thomas Ågotnes
2020	J	`jnl`	Simpler completeness proofs for modal logics with intersection. CoRR Yì N. Wáng, Thomas Ågotnes
2019	—	`conf`	Analyzing Echo Chambers: A Logic of Strong and Weak Ties. LORI Mina Young Pedersen, Sonja Smets, Thomas Ågotnes
2019	J	`jnl`	Coalition logic with individual, distributed and common knowledge1. J. Log. Comput. Thomas Ågotnes, Natasha Alechina
2019	—	`ed.`	Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018. CLAR Beishui Liao, Thomas Ågotnes, Yì N. Wáng
2019	—	`conf`	Group Announcement Logic with Distributed Knowledge. LORI Rustam Galimullin, Thomas Ågotnes, Natasha Alechina
2019	J	`jnl`	Introduction to the special issue. J. Log. Comput. Thomas Ågotnes, Giacomo Bonanno, Wiebe van der Hoek
2018	J	`jnl`	Logic and argumentation. J. Appl. Non Class. Logics Thomas Ågotnes, Beishui Liao, Yì N. Wáng
2018	J	`jnl`	True lies. Synth. Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang
2017	—	`ed.`	Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016. CLAR Thomas Ågotnes, Beishui Liao, Yì N. Wáng
2017	J	`jnl`	Resolving distributed knowledge. Artif. Intell. Thomas Ågotnes, Yì N. Wáng
2017	—	`conf`	Towards a Logic of Tweeting. LORI Zuojun Xiong, Thomas Ågotnes, Jeremy Seligman, Rui Zhu
2016	J	`jnl`	Introduction to the special issue. Synth. Thomas Ågotnes, Giacomo Bonanno, Wiebe van der Hoek
2016	J	`jnl`	The Undecidability of Quantified Announcements. Stud Logica Thomas Ågotnes, Hans van Ditmarsch, Timothy Noel French
2016	J	`jnl`	True Lies. CoRR Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang
2015	J	`jnl`	Reasoning about reasons behind preferences using modal logic. Inf. Syst. Frontiers Truls Pedersen, Sjur K. Dyrkolbotn, Thomas Ågotnes
2015	J	`jnl`	Relativized common knowledge for dynamic epistemic logic. J. Appl. Log. Yì N. Wáng, Thomas Ågotnes
2015	B	`conf`	Resolving Distributed Knowledge. TARK Thomas Ågotnes, Yì N. Wáng
2014	J	`jnl`	A Logic for Reasoning About Knowledge of Unawareness. J. Log. Lang. Inf. Thomas Ågotnes, Natasha Alechina
2014	A	`conf`	A judgment set similarity measure based on prime implicants. AAMAS Marija Slavkovik, Thomas Ågotnes
2014	J	`jnl`	Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). Dagstuhl Reports Thomas Ågotnes, Nils Bulling
2014	J	`jnl`	Formal Models of Awareness. J. Log. Lang. Inf. Thomas Ågotnes, Natasha Alechina
2014	—	`ch.`	Knowledge Games and Coalitional Abilities. Johan van Benthem on Logic and Information Dynamics Thomas Ågotnes, Hans van Ditmarsch
2014	J	`jnl`	Logic and Games: an Introduction. Stud Logica Thomas Ågotnes
2014	B	`conf`	Measuring Dissimilarity between Judgment Sets. JELIA Marija Slavkovik, Thomas Ågotnes
2014	B	`conf`	Multi-agency Is Coordination and (Limited) Communication. PRIMA Piotr Kazmierczak, Thomas Ågotnes, Wojciech Jamroga
2014	J	`jnl`	Planning with epistemic goals (Dagstuhl Seminar 14032). Dagstuhl Reports Thomas Ågotnes, Gerhard Lakemeyer, Benedikt Löwe, Bernhard Nebel
2014	J	`jnl`	Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII). J. Log. Comput. João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leendert W. N. van der Torre
2014	A	`conf`	The undecidability of group announcements. AAMAS Thomas Ågotnes, Hans van Ditmarsch, Tim French
2013	—	`conf`	Boolean Games with Epistemic Goals. LORI Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge
2013	A*	`conf`	Multi-Agent Subset Space Logic. IJCAI Yi Nicholas Wang, Thomas Ågotnes
2013	—	`conf`	Preference Logic of Focus Change: A Semantic Approach. AT Yì N. Wáng, Thomas Ågotnes
2013	—	`conf`	Public Announcements, Private Actions and Common Knowledge in S5 Structures. LORI Yì N. Wáng, Thomas Ågotnes
2013	J	`jnl`	Public announcement logic with distributed knowledge: expressivity, completeness and complexity. Synth. Yì N. Wáng, Thomas Ågotnes
2013	—	`conf`	Reasonably Rational: Reasoning about Reasons Behind Preferences Using Modal Logic. AT Truls Pedersen, Sjur K. Dyrkolbotn, Thomas Ågotnes
2013	—	`conf`	Subset Space Public Announcement Logic. ICLA Yì N. Wáng, Thomas Ågotnes
2013	A*	`conf`	Verifiable Equilibria in Boolean Games. IJCAI Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge
2012	B	`conf`	Coalitional Public Announcement Games. PRIMA Thomas Ågotnes, Hans van Ditmarsch
2012	A	`conf`	Conservative Social Laws. ECAI Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2012	—	`ed.`	Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings DEON Thomas Ågotnes, Jan M. Broersen, Dag Elgesem
2012	A	`conf`	Epistemic coalition logic: completeness and complexity. AAMAS Thomas Ågotnes, Natasha Alechina
2012	—	`conf`	NORMC: a Norm Compliance Temporal Logic Model Checker. STAIRS Piotr Kazmierczak, Truls Pedersen, Thomas Ågotnes
2011	J	`jnl`	Completeness of Epistemic Coalition Logic with Group Knowledge CoRR Thomas Ågotnes, Natasha Alechina
2011	—	`ed.`	Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings CLIMA João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre
2011	—	`conf`	Coordinating multi-agent systems using social laws. SCAI Thomas Ågotnes
2011	J	`jnl`	On the logic of preference and judgment aggregation. Auton. Agents Multi Agent Syst. Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2011	—	`conf`	Public Announcement Logic with Distributed Knowledge. LORI Yì N. Wáng, Thomas Ågotnes
2011	J	`jnl`	Question-answer games. J. Appl. Non Class. Logics Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch, Stefan Minica
2011	—	`conf`	Reasoning about Joint Action and Coalitional Ability in K n with Intersection. CLIMA Thomas Ågotnes, Natasha Alechina
2011	A	`conf`	Scientia potentia est. AAMAS Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2011	J	`jnl`	What will they say? - Public Announcement Games. Synth. Thomas Ågotnes, Hans van Ditmarsch
2010	—	`conf`	Group Announcements: Logic and Games (Abstract of Invited Talk). CLIMA Thomas Ågotnes
2010	J	`jnl`	Group announcement logic. J. Appl. Log. Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch, Pablo Seban
2010	A	`conf`	Optimal social laws. AAMAS Thomas Ågotnes, Michael J. Wooldridge
2010	J	`jnl`	Robust normative systems and a logic of norm compliance. Log. J. IGPL Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2010	—	`ed.`	STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers' Symposium, Lisbon, Portugal, 16-20 August, 2010 STAIRS Thomas Ågotnes
2009	J	`jnl`	A Logic of Strategic Ability Under Bounded Memory. J. Log. Lang. Inf. Thomas Ågotnes, Dirk Walther
2009	—	`ch.`	A Temporal Logic of Normative Systems. Towards Mathematical Philosophy Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge
2009	J	`jnl`	Editorial. J. Log. Lang. Inf. Thomas Ågotnes, Natasha Alechina
2009	J	`jnl`	Logic and intelligent interaction. Synth. Thomas Ågotnes, Johan van Benthem, Eric Pacuit
2009	J	`jnl`	Logics for Qualitative Coalitional Games. Log. J. IGPL Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2009	J	`jnl`	Multi-Modal CTL: Completeness, Complexity, and an Application. Stud Logica Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge
2009	—	`conf`	Power in normative systems. AAMAS (1) Thomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael J. Wooldridge
2009	J	`jnl`	Reasoning about coalitional games. Artif. Intell. Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2009	—	`conf`	Robust Normative Systems. Normative Multi-Agent Systems Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2008	—	`conf`	Coalitions and announcements. AAMAS (2) Thomas Ågotnes, Hans van Ditmarsch
2008	J	`jnl`	Complete Axiomatisations of Properties of Finite Sets. Log. J. IGPL Thomas Ågotnes, Michal Walicki
2008	J	`jnl`	Quantified coalition logic. Synth. Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2008	—	`conf`	Quantifying over coalitions in epistemic logic. AAMAS (2) Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2008	—	`conf`	Robust normative systems. AAMAS (2) Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2007	B	`conf`	Alternating-time temporal logics with irrevocable strategies. TARK Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga
2007	—	`conf`	Completeness and Complexity of Multi-modal CTL. M4M Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2007	J	`jnl`	Constructive knowledge: what agents can achieve under imperfect information. J. Appl. Non Class. Logics Wojciech Jamroga, Thomas Ågotnes
2007	B	`conf`	Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. TARK Thomas Ågotnes, Natasha Alechina
2007	A*	`conf`	Logic for Automated Mechanism Design - A Progress Report. AAAI Michael J. Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek
2007	A	`conf`	Modular interpreted systems. AAMAS Wojciech Jamroga, Thomas Ågotnes
2007	A	`conf`	Normative system games. AAMAS Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2007	—	`conf`	On the Logic of Normative Systems. Normative Multi-agent Systems Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge
2007	A*	`conf`	On the Logic of Normative Systems. IJCAI Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge
2007	A*	`conf`	Quantified Coalition Logic. IJCAI Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2007	A	`conf`	Reasoning about judgment and preference aggregation. AAMAS Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2007	J	`jnl`	The Dynamics of Syntactic Knowledge. J. Log. Comput. Thomas Ågotnes, Natasha Alechina
2006	J	`jnl`	Action and Knowledge in Alternating-Time Temporal Logic. Synth. Thomas Ågotnes
2006	A	`conf`	Knowing Minimum/Maximum n Formulae. ECAI Thomas Ågotnes, Natasha Alechina
2006	A	`conf`	On the logic of coalitional games. AAMAS Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2006	A*	`conf`	Semantics for Dynamic Syntactic Epistemic Logics. KR Thomas Ågotnes, Natasha Alechina
2006	A	`conf`	Temporal qualitative coalitional games. AAMAS Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge
2006	A	`conf`	What agents can achieve under incomplete information. AAMAS Wojciech Jamroga, Thomas Ågotnes
2005	A	`conf`	A logic of reasoning, communication and cooperation with syntactic knowledge. AAMAS Thomas Ågotnes, Michal Walicki
2005	—	`conf`	Complete Axiomatizations of Finite Syntactic Epistemic States. DALT Thomas Ågotnes, Michal Walicki
2005	—	`conf`	Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures. CLIMA Thomas Ågotnes, Michal Walicki
1999	—	`conf`	Taming Large Rule Models in Rough Set Approaches. PKDD Thomas Ågotnes, Henryk Jan Komorowski, Terje Løken