


default search action
Thomas Ågotnes
Person information
- affiliation: University of Bergen, Department of Information Science and Media Studies
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i9]Thomas Ågotnes, Hans van Ditmarsch, Tim French:
The Undecidability of Quantified Announcements. CoRR abs/2405.15671 (2024) - [i8]John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes:
Variations on distributed belief. CoRR abs/2408.10637 (2024) - 2023
- [j38]Thomas Ågotnes, Rustam Galimullin
:
Quantifying over information change with common knowledge. Auton. Agents Multi Agent Syst. 37(1): 19 (2023) - [j37]Zuojun Xiong
, Thomas Ågotnes:
The logic of secrets and the interpolation rule. Ann. Math. Artif. Intell. 91(4): 375-407 (2023) - [j36]Zuojun Xiong, Thomas Ågotnes:
Correction to: The logic of secrets and the interpolation rule. Ann. Math. Artif. Intell. 91(6): 899 (2023) - [c59]Thomas Ågotnes, Chiaki Sakama:
A Formal Analysis of Hollis' Paradox. LORI 2023: 306-321 - 2022
- [j35]Thomas Ågotnes, Natasha Alechina
, Rustam Galimullin
:
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. J. Log. Lang. Inf. 31(2): 141-166 (2022) - [c58]Rustam Galimullin
, Thomas Ågotnes:
Action Models for Coalition Logic. DaLí 2022: 73-89 - [c57]John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes:
Cautious Distributed Belief. DaLí 2022: 106-124 - [c56]Rustam Galimullin
, Thomas Ågotnes:
Coalition Logic for Specification and Verification of Smart Contract Upgrades. PRIMA 2022: 563-572 - 2021
- [j34]Erik Parmann, Thomas Ågotnes:
Reasoning about strategic voting in modal logic quickly becomes undecidable. J. Log. Comput. 31(4): 1055-1078 (2021) - [j33]Thomas Ågotnes, Yì N. Wáng:
Group belief. J. Log. Comput. 31(8): 1959-1978 (2021) - [j32]Mina Young Pedersen, Sonja Smets
, Thomas Ågotnes:
Modal Logics and Group Polarization. J. Log. Comput. 31(8): 2240-2269 (2021) - [c55]Rustam Galimullin, Thomas Ågotnes:
Quantified Announcements and Common Knowledge. AAMAS 2021: 528-536 - [c54]Thomas Ågotnes, Yì N. Wáng:
Somebody Knows. KR 2021: 2-11 - [c53]Rustam Galimullin
, Thomas Ågotnes:
Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. LORI 2021: 88-101 - [c52]Tor Hagland, Thomas Ågotnes:
Crossing Hands in the Russian Cards Problem. LORI 2021: 102-110 - 2020
- [j31]Zuojun Xiong
, Thomas Ågotnes
:
On the Logic of Balance in Social Networks. J. Log. Lang. Inf. 29(1): 53-75 (2020) - [c51]Thomas Ågotnes, Yì N. Wáng:
Group Belief. CLAR 2020: 3-21 - [c50]Mina Young Pedersen, Sonja Smets
, Thomas Ågotnes:
Further Steps Towards a Logic of Polarization in Social Networks. CLAR 2020: 324-345 - [c49]Yì N. Wáng
, Thomas Ågotnes
:
Simpler Completeness Proofs for Modal Logics with Intersection. DaLí 2020: 259-276 - [c48]Zuojun Xiong
, Thomas Ågotnes
:
Arbitrary Propositional Network Announcement Logic. DaLí 2020: 277-293 - [i7]Yì N. Wáng, Thomas Ågotnes:
Simpler completeness proofs for modal logics with intersection. CoRR abs/2004.02120 (2020)
2010 – 2019
- 2019
- [j30]Thomas Ågotnes, Giacomo Bonanno, Wiebe van der Hoek
:
Introduction to the special issue. J. Log. Comput. 29(7): 1011-1013 (2019) - [j29]Thomas Ågotnes, Natasha Alechina
:
Coalition logic with individual, distributed and common knowledge1. J. Log. Comput. 29(7): 1041-1069 (2019) - [c47]Rustam Galimullin
, Thomas Ågotnes, Natasha Alechina
:
Group Announcement Logic with Distributed Knowledge. LORI 2019: 98-111 - [c46]Mina Young Pedersen, Sonja Smets
, Thomas Ågotnes:
Analyzing Echo Chambers: A Logic of Strong and Weak Ties. LORI 2019: 183-198 - [e5]Beishui Liao, Thomas Ågotnes, Yì N. Wáng:
Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018. Springer 2019, ISBN 978-981-13-7790-7 [contents] - 2018
- [j28]Thomas Ågotnes, Beishui Liao, Yì N. Wáng:
Logic and argumentation. J. Appl. Non Class. Logics 28(2-3): 163-164 (2018) - [j27]Thomas Ågotnes, Hans van Ditmarsch
, Yanjing Wang
:
True lies. Synth. 195(10): 4581-4615 (2018) - 2017
- [j26]Thomas Ågotnes, Yì N. Wáng
:
Resolving distributed knowledge. Artif. Intell. 252: 1-21 (2017) - [c45]Zuojun Xiong
, Thomas Ågotnes, Jeremy Seligman, Rui Zhu:
Towards a Logic of Tweeting. LORI 2017: 49-64 - [e4]Thomas Ågotnes, Beishui Liao, Yì N. Wáng:
Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016. CEUR Workshop Proceedings 1811, CEUR-WS.org 2017 [contents] - 2016
- [j25]Thomas Ågotnes, Hans van Ditmarsch, Timothy Noel French
:
The Undecidability of Quantified Announcements. Stud Logica 104(4): 597-640 (2016) - [j24]Thomas Ågotnes, Giacomo Bonanno, Wiebe van der Hoek
:
Introduction to the special issue. Synth. 193(3): 659-662 (2016) - [i6]Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang:
True Lies. CoRR abs/1606.08333 (2016) - 2015
- [j23]Truls Pedersen, Sjur K. Dyrkolbotn, Thomas Ågotnes:
Reasoning about reasons behind preferences using modal logic. Inf. Syst. Frontiers 17(4): 713-724 (2015) - [j22]Yì N. Wáng, Thomas Ågotnes:
Relativized common knowledge for dynamic epistemic logic. J. Appl. Log. 13(3): 370-393 (2015) - [c44]Thomas Ågotnes, Yì N. Wáng:
Resolving Distributed Knowledge. TARK 2015: 31-50 - 2014
- [j21]Thomas Ågotnes, Natasha Alechina:
Formal Models of Awareness. J. Log. Lang. Inf. 23(2): 105-106 (2014) - [j20]Thomas Ågotnes, Natasha Alechina:
A Logic for Reasoning About Knowledge of Unawareness. J. Log. Lang. Inf. 23(2): 197-217 (2014) - [j19]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): 1141-1144 (2014) - [j18]Thomas Ågotnes:
Logic and Games: an Introduction. Stud Logica 102(2): 231-234 (2014) - [c43]Thomas Ågotnes, Hans van Ditmarsch, Tim French:
The undecidability of group announcements. AAMAS 2014: 893-900 - [c42]Marija Slavkovik, Thomas Ågotnes:
A judgment set similarity measure based on prime implicants. AAMAS 2014: 1573-1574 - [c41]Marija Slavkovik
, Thomas Ågotnes:
Measuring Dissimilarity between Judgment Sets. JELIA 2014: 609-617 - [c40]Piotr Kazmierczak, Thomas Ågotnes, Wojciech Jamroga
:
Multi-agency Is Coordination and (Limited) Communication. PRIMA 2014: 91-106 - [p2]Thomas Ågotnes, Hans van Ditmarsch:
Knowledge Games and Coalitional Abilities. Johan van Benthem on Logic and Information Dynamics 2014: 451-485 - [i5]Thomas Ågotnes, Gerhard Lakemeyer, Benedikt Löwe, Bernhard Nebel:
Planning with epistemic goals (Dagstuhl Seminar 14032). Dagstuhl Reports 4(1): 83-103 (2014) - [i4]Thomas Ågotnes, Nils Bulling:
Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). Dagstuhl Reports 4(8): 21-44 (2014) - 2013
- [j17]Yì N. Wáng, Thomas Ågotnes:
Public announcement logic with distributed knowledge: expressivity, completeness and complexity. Synth. 190(Supplement-1): 135-162 (2013) - [c39]Truls Pedersen, Sjur K. Dyrkolbotn, Thomas Ågotnes:
Reasonably Rational: Reasoning about Reasons Behind Preferences Using Modal Logic. AT 2013: 120-134 - [c38]Yì N. Wáng, Thomas Ågotnes:
Preference Logic of Focus Change: A Semantic Approach. AT 2013: 225-239 - [c37]Yì N. Wáng, Thomas Ågotnes:
Subset Space Public Announcement Logic. ICLA 2013: 245-257 - [c36]Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge:
Verifiable Equilibria in Boolean Games. IJCAI 2013: 689-695 - [c35]Yi Nicholas Wang, Thomas Ågotnes:
Multi-Agent Subset Space Logic. IJCAI 2013: 1155-1161 - [c34]Thomas Ågotnes, Paul Harrenstein, Wiebe van der Hoek
, Michael J. Wooldridge:
Boolean Games with Epistemic Goals. LORI 2013: 1-14 - [c33]Yì N. Wáng, Thomas Ågotnes:
Public Announcements, Private Actions and Common Knowledge in S5 Structures. LORI 2013: 267-281 - 2012
- [c32]Thomas Ågotnes, Natasha Alechina:
Epistemic coalition logic: completeness and complexity. AAMAS 2012: 1099-1106 - [c31]Thomas Ågotnes, Wiebe van der Hoek
, Michael J. Wooldridge:
Conservative Social Laws. ECAI 2012: 49-54 - [c30]Thomas Ågotnes, Hans van Ditmarsch:
Coalitional Public Announcement Games. PRIMA 2012: 1-15 - [c29]Piotr Kazmierczak, Truls Pedersen, Thomas Ågotnes:
NORMC: a Norm Compliance Temporal Logic Model Checker. STAIRS 2012: 168-179 - [e3]Thomas Ågotnes, Jan M. Broersen, Dag Elgesem:
Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Lecture Notes in Computer Science 7393, Springer 2012, ISBN 978-3-642-31569-5 [contents] - 2011
- [j16]Thomas Ågotnes, Wiebe van der Hoek
, Michael J. Wooldridge:
On the logic of preference and judgment aggregation. Auton. Agents Multi Agent Syst. 22(1): 4-30 (2011) - [j15]Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch, Stefan Minica:
Question-answer games. J. Appl. Non Class. Logics 21(3-4): 265-288 (2011) - [j14]Thomas Ågotnes, Hans van Ditmarsch:
What will they say? - Public Announcement Games. Synth. 179(Supplement-1): 57-85 (2011) - [c28]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Scientia potentia est. AAMAS 2011: 735-742 - [c27]Thomas Ågotnes, Natasha Alechina:
Reasoning about Joint Action and Coalitional Ability in K n with Intersection. CLIMA 2011: 139-156 - [c26]Yì N. Wáng, Thomas Ågotnes:
Public Announcement Logic with Distributed Knowledge. LORI 2011: 328-341 - [c25]Thomas Ågotnes:
Coordinating multi-agent systems using social laws. SCAI 2011: 7 - [e2]Joã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. Lecture Notes in Computer Science 6814, Springer 2011, ISBN 978-3-642-22358-7 [contents] - [i3]Thomas Ågotnes, Natasha Alechina:
Completeness of Epistemic Coalition Logic with Group Knowledge. CoRR abs/1107.0278 (2011) - 2010
- [j13]Thomas Ågotnes, Wiebe van der Hoek
, Michael J. Wooldridge:
Robust normative systems and a logic of norm compliance. Log. J. IGPL 18(1): 4-30 (2010) - [j12]Thomas Ågotnes, Philippe Balbiani
, Hans van Ditmarsch, Pablo Seban:
Group announcement logic. J. Appl. Log. 8(1): 62-81 (2010) - [c24]Thomas Ågotnes, Michael J. Wooldridge:
Optimal social laws. AAMAS 2010: 667-674 - [c23]Thomas Ågotnes:
Group Announcements: Logic and Games (Abstract of Invited Talk). CLIMA 2010: 9-13 - [e1]Thomas Ågotnes:
STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers' Symposium, Lisbon, Portugal, 16-20 August, 2010. Frontiers in Artificial Intelligence and Applications 222, IOS Press 2010, ISBN 978-1-60750-675-1 [contents]
2000 – 2009
- 2009
- [j11]Thomas Ågotnes, Wiebe van der Hoek
, Michael J. Wooldridge:
Reasoning about coalitional games. Artif. Intell. 173(1): 45-79 (2009) - [j10]Thomas Ågotnes, Wiebe van der Hoek
, Michael J. Wooldridge:
Logics for Qualitative Coalitional Games. Log. J. IGPL 17(3): 299-321 (2009) - [j9]Thomas Ågotnes, Natasha Alechina:
Editorial. J. Log. Lang. Inf. 18(1): 1-2 (2009) - [j8]Thomas Ågotnes, Dirk Walther:
A Logic of Strategic Ability Under Bounded Memory. J. Log. Lang. Inf. 18(1): 55-77 (2009) - [j7]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): 1-26 (2009) - [j6]Thomas Ågotnes, Johan van Benthem, Eric Pacuit:
Logic and intelligent interaction. Synth. 169(2): 219-221 (2009) - [c22]Thomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael J. Wooldridge:
Power in normative systems. AAMAS (1) 2009: 145-152 - [p1]Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar
, Carles Sierra, Michael J. Wooldridge:
A Temporal Logic of Normative Systems. Towards Mathematical Philosophy 2009: 69-106 - [i2]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Robust Normative Systems. Normative Multi-Agent Systems 2009 - 2008
- [j5]Thomas Ågotnes, Michal Walicki:
Complete Axiomatisations of Properties of Finite Sets. Log. J. IGPL 16(3): 293-313 (2008) - [j4]Thomas Ågotnes, Wiebe van der Hoek
, Michael J. Wooldridge:
Quantified coalition logic. Synth. 165(2): 269-294 (2008) - [c21]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Quantifying over coalitions in epistemic logic. AAMAS (2) 2008: 665-672 - [c20]Thomas Ågotnes, Hans van Ditmarsch:
Coalitions and announcements. AAMAS (2) 2008: 673-680 - [c19]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Robust normative systems. AAMAS (2) 2008: 747-754 - 2007
- [j3]Wojciech Jamroga
, Thomas Ågotnes:
Constructive knowledge: what agents can achieve under imperfect information. J. Appl. Non Class. Logics 17(4): 423-475 (2007) - [j2]Thomas Ågotnes, Natasha Alechina:
The Dynamics of Syntactic Knowledge. J. Log. Comput. 17(1): 83-116 (2007) - [c18]Michael J. Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek:
Logic for Automated Mechanism Design - A Progress Report. AAAI 2007: 9-17 - [c17]Thomas Ågotnes, Wiebe van der Hoek
, Michael J. Wooldridge:
Reasoning about judgment and preference aggregation. AAMAS 2007: 85 - [c16]Thomas Ågotnes, Wiebe van der Hoek
, Michael J. Wooldridge:
Normative system games. AAMAS 2007: 129 - [c15]Wojciech Jamroga
, Thomas Ågotnes:
Modular interpreted systems. AAMAS 2007: 131 - [c14]Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge:
On the Logic of Normative Systems. IJCAI 2007: 1175-1180 - [c13]Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge:
Quantified Coalition Logic. IJCAI 2007: 1181-1186 - [c12]Thomas Ågotnes, Natasha Alechina:
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. TARK 2007: 6-14 - [c11]Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga
:
Alternating-time temporal logics with irrevocable strategies. TARK 2007: 15-24 - [c10]Thomas Ågotnes, Wiebe van der Hoek
, Michael J. Wooldridge:
Completeness and Complexity of Multi-modal CTL. M4M 2007: 259-275 - [i1]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 - 2006
- [j1]Thomas Ågotnes:
Action and Knowledge in Alternating-Time Temporal Logic. Synth. 149(2): 375-407 (2006) - [c9]Thomas Ågotnes, Wiebe van der Hoek
, Michael J. Wooldridge:
On the logic of coalitional games. AAMAS 2006: 153-160 - [c8]Thomas Ågotnes, Wiebe van der Hoek
, Michael J. Wooldridge:
Temporal qualitative coalitional games. AAMAS 2006: 177-184 - [c7]Wojciech Jamroga
, Thomas Ågotnes:
What agents can achieve under incomplete information. AAMAS 2006: 232-234 - [c6]Thomas Ågotnes, Natasha Alechina:
Knowing Minimum/Maximum n Formulae. ECAI 2006: 317-321 - [c5]Thomas Ågotnes, Natasha Alechina:
Semantics for Dynamic Syntactic Epistemic Logics. KR 2006: 411-419 - 2005
- [c4]Thomas Ågotnes, Michal Walicki:
A logic of reasoning, communication and cooperation with syntactic knowledge. AAMAS 2005: 1135-1136 - [c3]Thomas Ågotnes, Michal Walicki:
Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures. CLIMA 2005: 57-76 - [c2]Thomas Ågotnes, Michal Walicki:
Complete Axiomatizations of Finite Syntactic Epistemic States. DALT 2005: 33-50
1990 – 1999
- 1999
- [c1]Thomas Ågotnes, Henryk Jan Komorowski
, Terje Løken:
Taming Large Rule Models in Rough Set Approaches. PKDD 1999: 193-203
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint