Home
  • E-mailThomas.Agotnes@uib.no
  • Phone+47 55 58 41 05
  • Visitor Address
    Fosswinckelsgt. 6
    Room 
    610
  • Postal Address
    Postboks 7802
    5020 Bergen
Academic article
  • Xiong, Zuojun; Ågotnes, Thomas. 2019. On the logic of balance in social networks. Journal of Logic, Language and Information. 53-75.
  • Galimullin, Rustam; Ågotnes, Thomas; Alechina, Natasha. 2019. Group Announcement Logic with Distributed Knowledge. Lecture Notes in Computer Science (LNCS). 98-111.
  • Ågotnes, Thomas; van Ditmarsch, Hans P.; Wang, Yanjing. 2017. True lies. Synthese. 1-35.
  • Xiong, Zuojun; Ågotnes, Thomas; Seligman, Jeremy; Zhu, Rui. 2017. Towards a logic of Tweeting. Lecture Notes in Computer Science (LNCS). 49-64.
  • Ågotnes, Thomas; Wang, Yi. 2017. Resolving distributed knowledge. Artificial Intelligence. 1-21.
  • Ågotnes, Thomas; van Ditmarsch, Hans P.; French, Tim. 2016. The undecidability of quantified announcements. Studia Logica: An International Journal for Symbolic Logic. 597-640.
  • Ågotnes, Thomas; Wang, Yi N. 2016. Resolving distributed knowledge. Electronic Proceedings in Theoretical Computer Science. 31-50.
  • Ågotnes, Thomas; Bonanno, Giacomo; Van der hoek, Wiebe. 2016. Introduction to the special issue. Journal of Logic and Computation.
  • Ågotnes, Thomas; Alechina, Natasha. 2016. Coalition logic with individual, distributed and common knowledge. Journal of Logic and Computation.
  • Wáng, Yi N.; Ågotnes, Thomas. 2015. Relativized common knowledge for dynamic epistemic logic. Journal of Applied Logic. 370-393.
  • Pedersen, Truls Andre; Dyrkolbotn, Sjur Kristoffer; Ågotnes, Thomas. 2015. Reasoning about reasons behind preferences using modal logic. Information Systems Frontiers. 713-724.
  • Leite, J.; Torroni, P.; Ågotnes, Thomas; Boella, G.; van der Torre, L. 2014. Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII). Journal of Logic and Computation. 1141-1144.
  • Kazmierczak, Piotr Henryk; Ågotnes, Thomas; Jamroga, Wojciech. 2014. Multi-agency is coordination and (limited) communication. Lecture Notes in Computer Science (LNCS). 91-106.
  • Slavkovik, Marija; Ågotnes, Thomas. 2014. Measuring Dissimilarity between Judgment Sets. Lecture Notes in Computer Science (LNCS). 609-617.
  • Ågotnes, Thomas; Alechina, Natasha. 2014. A logic for reasoning about knowledge of unawareness. Journal of Logic, Language and Information. 197-217.
  • Wang, Yi; Ågotnes, Thomas. 2013. Subset space public announcement logic. Lecture Notes in Computer Science (LNCS). 245-257.
  • Pedersen, Truls Andre; Dyrkolbotn, Sjur Kristoffer; Ågotnes, Thomas. 2013. Reasonably Rational: Reasoning about Reasons Behind Preferences Using Modal Logic. Lecture Notes in Computer Science (LNCS). 120-134.
  • Wang, Yi; Ågotnes, Thomas. 2013. Public announcement logic with distributed knowledge: expressivity, completeness and complexity. Synthese. 135-162.
  • Wang, Yi; Ågotnes, Thomas. 2013. Public Announcements, Private Actions and Common Knowledge in S5 Structures. Lecture Notes in Computer Science (LNCS). 267-281.
  • Wang, Yi; Ågotnes, Thomas. 2013. Preference Logic of Focus Change: A Semantic Approach. Lecture Notes in Computer Science (LNCS). 225-239.
  • Ågotnes, Thomas; Harrenstein, Paul; Van der hoek, Wiebe; Wooldridge, Michael. 2013. Boolean games with epistemic goals. Lecture Notes in Computer Science (LNCS). 1-14.
  • Ågotnes, Thomas; van Benthem, Johan; Van ditmarsch, Hans; Minica, Stefan. 2012. Question-Answer Games. Journal of Applied Non-Classical Logics. 265-288.
  • Ågotnes, Thomas; Van ditmarsch, Hans. 2012. Coalitional Public Announcement Games. Lecture Notes in Computer Science (LNCS). 1-15.
  • Ågotnes, Thomas; Van ditmarsch, Hans. 2011. What will they say? - Public Announcement Games. Synthese. 57-85.
  • Ågotnes, Thomas; Alechina, Natasha. 2011. Reasoning about Joint Action and Coalitional Ability in Kn with Intersection. Lecture Notes in Computer Science (LNCS). 139-156.
  • Wang, Yi; Ågotnes, Thomas. 2011. Public Announcement Logic with Distributed Knowledge. Lecture Notes in Computer Science (LNCS). 328-341.
  • Ågotnes, Thomas; Van der Hoek, Wiebe; Wooldridge, Michael. 2011. On the logic of preference and judgment aggregation. Autonomous Agents and Multi-Agent Systems. 4-30.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2010. Robust normative systems and a logic of norm compliance. Logic Journal of the IGPL. 4-30.
  • Ågotnes, Thomas. 2010. Group Announcements: Logic and Games (Abstract of Invited Talk). Lecture Notes in Computer Science (LNCS). 9-13.
  • Ågotnes, Thomas; Balbiani, Philippe; van Ditmarsch, Hans; Seban, Pablo. 2010. Group Announcement Logic. Journal of Applied Logic. 62-81.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2009. Reasoning about coalitional games. Artificial Intelligence. 45-79.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2009. Reasoning about coalitional games. Artificial Intelligence. 45-79.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Rodriguez-aguilar, Juan a.; Sierra, Carles; Wooldridge, Michael. 2009. Multi-Modal CTL: Completeness, Complexity and an Application. Studia Logica: An International Journal for Symbolic Logic. 1-26.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2009. Logics for qualitative coalitional games. Logic Journal of the IGPL. 299-321.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2009. Completeness and Complexity of Multi-Modal CTL. Electronical Notes in Theoretical Computer Science. 259-275.
  • Ågotnes, Thomas; Walther, Dirk. 2009. A logic of strategic ability under bounded memory. Journal of Logic, Language and Information. 55-77.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2008. Quantified coalition logic. Synthese. 269-294.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2008. Quantified Coalition Logic. Synthese. 269-294.
  • Ågotnes, Thomas; Walicki, Michal. 2008. Complete axiomatisations of properties of finite sets. Logic Journal of the IGPL. 293-313.
  • Ågotnes, Thomas; Walicki, Michal. 2008. Complete axiomatisations of properties of finite sets. Logic Journal of the IGPL. 293-313.
  • Ågotnes, Thomas; Walther, Dirk. 2008. A logic of strategic ability under bounded memory. Journal of Logic, Language and Information. 55-77.
  • Ågotnes, Thomas; Alechina, Natasha. 2007. The dynamics of syntactic knowledge. Journal of Logic and Computation. 83-116.
  • Ågotnes, Thomas; Alechina, Natasha. 2007. The dynamics of syntactic knowledge. Journal of Logic and Computation. 83-116.
  • Jamroga, Wojciech; Ågotnes, Thomas. 2007. Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-Classical Logics. 423-475.
  • Jamroga, Wojciech; Ågotnes, Thomas. 2007. Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-Classical Logics.
  • Walicki, Michal; Ågotnes, Thomas. 2006. Strongly complete axiomatizations of "knowing at most" in syntactic structures. Lecture Notes in Computer Science (LNCS). 57-76.
  • Ågotnes, Thomas; Walicki, Michal. 2006. Complete axiomatizations of finite syntactic epistemic states. Lecture Notes in Computer Science (LNCS). 33-50.
  • Ågotnes, Thomas. 2006. Action and knowledge in alternating-time temporal logic. Synthese. 375-407.
  • Ågotnes, Thomas. 2006. Action and knowledge in alternating-time temporal logic. Synthese. 375-407.
  • Ågotnes, Thomas; Komorowski, Jan; Løken, Terje. 1999. Taming large rule models in rough set approaches. Lecture Notes in Computer Science (LNCS). 193-203.
Report
  • Ågotnes, Thomas; Lakemeyer, Gerhard; Löwe, Benedikt; Nebel, Bernhard. 2014. Planning with epistemic goals (Dagstuhl Seminar 14032). 1. 1. .
  • Ågotnes, Thomas; bulling, nils. 2014. Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). 8. 8. .
  • Ågotnes, Thomas; Alechina, Natasha; logan, brian. 2007. Proceedings of the Workshop on Logics for Resource-bounded Agents (LRBA 2007). .
  • Ågotnes, Thomas; Alechina, Natasha. 2006. Proceedings of the Workshop on Logics for Resource-Bounded Agents (LRBA 06). .
  • Ågotnes, Thomas; Alechina, Natasha. 2006. Proceedings of the Workshop on Logics for Resource-Bounded Agents (LRBA 06). .
  • Jamroga, Wojciech; Ågotnes, Thomas. 2006. Modular Interpreted Systems: A Preliminary Report. IfI-06-15. IfI-06-15. .
  • Ågotnes, Thomas; Alechina, Natasha. 2005. The dynamics of syntactic knowledge. 304. 304. .
  • Jamroga, Wojciech; Ågotnes, Thomas. 2005. Constructive knowledge: What agents can achieve under incomplete information. IfI-05-10. IfI-05-10. .
  • Ågotnes, Thomas; Walicki, Michal. 2002. Only explicitly knowing. 224. 224. .
  • Ågotnes, Thomas; Walicki, Michal. 2002. Only Explicitly Knowing. 224. 224. .
Academic lecture
  • Parmann, Erik; Ågotnes, Thomas. 2012. Modal Logics for Social Choice and Undecidability.
  • Ågotnes, Thomas; Benthem, Johan van; Van ditmarsch, Hans; Minica, Stefan. 2010. Question-Answer Games.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2007. Tutorial: Reasoning about Cooperation.
  • Ågotnes, Thomas. 2007. On the Logic of Normative Systems.
  • Ågotnes, Thomas. 2007. Normative System Games.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2006. Tutorial: Reasoning about Cooperation.
  • Ågotnes, Thomas. 2006. The logic of coalitional games.
  • Ågotnes, Thomas. 2006. Strategic reasoning and incomplete information.
  • Ågotnes, Thomas; Walicki, Michal. 2005. Strongly Complete Axiomatizations of ``Knowing At Most`` in Standard Syntactic Assignments.
  • Ågotnes, Thomas; Walicki, Michal. 2005. Complete axiomatizations of finite syntactic epistemic states.
  • Ågotnes, Thomas; Walicki, Michal. 2004. Syntactic Knowledge: A Logic of Reasoning, Communication and Cooperation.
  • Walicki, Michal; Ågotnes, Thomas. 2002. A Logic for Reasoning about Explicit Knowledge in Finite Agents.
  • Ågotnes, Thomas; Komorowski, Jan; Øhrn, Aleksander. 1999. Finding High Performance Subsets of Induced Rule Sets: Extended Summary.
Editorial
  • Ågotnes, Thomas; Liao, Beishui; Wáng, Yi N. 2018. Logic and argumentation. Journal of Applied Non-Classical Logics. 163-164.
  • Ågotnes, Thomas; Bonanno, Giacomo; van der Hoek, Wiebe. 2016. Introduction to the special issue. Synthese. 659-662.
  • Ågotnes, Thomas. 2014. Logic and Games: An Introduction. Studia Logica: An International Journal for Symbolic Logic. 231-234.
  • Ågotnes, Thomas; Alechina, Natasha. 2014. Formal models of awareness. Journal of Logic, Language and Information. 105-106.
  • Ågotnes, Thomas; van Benthem, Johan; Pacuit, Eric. 2009. Logic and intelligent interaction. Synthese. 219-221.
  • Ågotnes, Thomas; Alechina, Natasha. 2009. Editorial. Journal of Logic, Language and Information. 1-2.
Academic anthology/Conference proceedings
  • Ågotnes, Thomas; broersen, jan; Elgesem, Dag. 2012. Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings. Springer.
  • Leite, J.; Torroni, P.; Ågotnes, Thomas; Boella, G.; van der Torre, L. 2011. Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings. Springer.
  • Ågotnes, Thomas. 2010. STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers' Symposium. IOS Press.
Masters thesis
  • Ågotnes, Thomas. 1999. Filtering Large Propositional Rule Sets While Retaining Classifier Performance.
Doctoral dissertation
  • Xiong, Zuojun. 2017. On the Logic of Multicast Messaging and Balance in Social Networks.
  • Kaźmierczak, Piotr. 2015. Agents that Play by the Rules: Using Social Laws for Coordination of Multi-Agent Systems.
  • Ågotnes, Thomas. 2004. A Logic of Finite Syntactic Epistemic States.
  • Ågotnes, Thomas. 2004. A Logic of Finite Syntactic Epistemic States.
Academic chapter/article/Conference paper
  • Pedersen, Mina Young; Smets, Sonja; Ågotnes, Thomas. 2019. Analyzing Echo Chambers: A Logic of Strong and Weak Ties. 16 pages.
  • Ågotnes, Thomas; Goranko, Valentin; Jamroga, Wojciech; Wooldridge, Michael. 2015. Knowledge and Ability. 47 pages.
  • Ågotnes, Thomas; Alechina, Natasha. 2015. Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection. 22 pages.
  • Ågotnes, Thomas; Van ditmarsch, Hans; French, Tim. 2014. The Undecidability of Group Announcements. 8 pages.
  • Ågotnes, Thomas; Van ditmarsch, Hans. 2014. Knowledge Games and Coalitional Abilities. 35 pages.
  • Slavkovik, Marija; Ågotnes, Thomas. 2014. A Judgment Set Similarity Measure Based on Prime Implicants. 2 pages.
  • Ågotnes, Thomas; Harrenstein, Paul; Van der hoek, Wiebe; Wooldridge, Michael. 2013. Verifiable Equilibria in Boolean Games. 7 pages.
  • Wang, Yi; Ågotnes, Thomas. 2013. Multi-agent subset space logic. 7 pages.
  • Ågotnes, Thomas. 2013. Coalition Logic.
  • Piotr, Kazmierczak; Pedersen, Truls Andre; Ågotnes, Thomas. 2012. NORMC: a Norm Compliance Temporal Logic Model Checker. 12 pages.
  • Ågotnes, Thomas; Alechina, Natasha. 2012. Epistemic Coalition Logic: Completeness and Complexity. 8 pages.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2012. Conservative Social Laws. 6 pages.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2011. Scientia Potentia Est. 8 pages.
  • Ågotnes, Thomas; Wooldridge, Michael. 2010. Optimal social laws. 8 pages.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2009. Power in Normative Systems. 8 pages.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Rodriguez-aguilar, Juan a.; Sierra, Carles; Wooldridge, Michael. 2009. A temporal logic of normative systems. 36 pages.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Rodriguez-Aguilar, Juan A.; Sierra, Carles; Wooldridge, Michael. 2009. A Temporal Logic of Normative Systems. 38 pages.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2008. Robust Normative Systems.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2008. Quantifying Over Coalitions in Epistemic Logic.
  • Ågotnes, Thomas; Van ditmarsch, Hans. 2008. Coalitions and Announcements.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2007. Reasoning about judgment and preference aggregation. 8 pages.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2007. Quantified Coalition Logic. 6 pages.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Rodriguez-Aguilar, Juan A.; Sierra, Carles. 2007. On the logic of normative systems. 6 pages.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2007. Normative system games. 8 pages.
  • Jamroga, Wojciech; Ågotnes, Thomas. 2007. Modular interpreted systems. 8 pages.
  • Ågotnes, Thomas; Dunne, Paul E.; van der Hoek, Wiebe; Wooldridge, Michael. 2007. Logics for coalitional games. 18 pages.
  • Ågotnes, Thomas; Dunne, Paul; Van der hoek, Wiebe; Wooldridge, Michael. 2007. Logics for Coalitional Games. 18 pages.
  • Wooldridge, Michael; Ågotnes, Thomas; Dunne, Paul E.; van der Hoek, Wiebe. 2007. Logic for automated mechanism design ¿ a progress report. 1 pages.
  • Wooldridge, Michael; Ågotnes, Thomas; Dunne, Paul; Van der hoek, Wiebe. 2007. Logic for Automated Mechanism Design -- a Progress Report. 10 pages.
  • Ågotnes, Thomas; Alechina, Natasha. 2007. Full and Relative Awareness: A Decidable Logic for Reasoning about Knowledge of Unawareness.
  • Ågotnes, Thomas; Goranko, Valentin; Jamroga, Wojciech. 2007. Alternating-time Temporal Logics with Irrevocable Strategies.
  • Jamroga, Wojciech; Ågotnes, Thomas. 2006. What agents can achieve under incomplete information. 1 pages.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2006. Temporal qualitative coalitional games. 1 pages.
  • Ågotnes, Thomas; Walicki, Michal. 2006. Strongly complete axiomatizations of ''knowing at most'' in syntactic structures. 1 pages.
  • Ågotnes, Thomas; Alechina, Natasha. 2006. Semantics for dynamic syntactic epistemic logics. 1 pages.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2006. On the logic of coalitional games. 1 pages.
  • Ågotnes, Thomas; Alechina, Natasha. 2006. Knowing minimum/maximum n formulae. 5 pages.
  • Ågotnes, Thomas; Walicki, Michal. 2006. Complete axiomatizations of finite syntactic epistemic states. 1 pages.
  • Ågotnes, Thomas; Walicki, Michal. 2005. A logic of reasoning, communication and cooperation with syntactic knowledge.
  • Ågotnes, Thomas; Walicki, Michal. 2003. A logic for reasoning about agents with finite explicit knowledge. 12 pages.
Other
  • Ågotnes, Thomas; Goranko, Valentin; Jamroga, Wojciech. 2008. Strategic commitment and release in logics for multi-agent systems.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2008. Robust normative systems.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2008. Quantifying over coalitions in epistemic logic.
  • Ågotnes, Thomas; van ditmarsch, hans. 2008. Coalitions and announcements.
  • Jamroga, Wojciech; Ågotnes, Thomas; van der Hoek, Wiebe. 2008. A simpler semantics for abilities under uncertainty.
  • Ågotnes, Thomas; Goranko, Valentin; Jamroga, Wojciech. 2007. Towards a proof theory for logics with irrevocable strategies.
  • Ågotnes, Thomas; Walther, Dirk. 2007. Towards a logic if strategic ability under bounded memory.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Rodriguez-Aguilar, Juan A.; Sierra, Carles; Wooldridge, Michael. 2007. The simple normative systems language.
  • Ågotnes, Thomas; Alechina, Natasha. 2007. Full and relative awareness : a decidable logic for reasoning about knowledgeof unwareness. 6-14.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2007. Completeness and complexity of multi-modal CTL.
  • Ågotnes, Thomas; Goranko, Valentin; Jamroga, Wojciech. 2007. Alternating-time temporal logics with irrevocable strategies. 15-24.
  • Ågotnes, Thomas; Alechina, Natasha. 2007. A decidable logic for reasoning about knowledge of unawareness.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2006. Towards a logic of social welfare.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2006. Towards a logic of social welfare.
  • Ågotnes, Thomas; Walicki, Michal. 2004. Syntactic knowledge: A logic of reasoning, communication and cooperation.
  • Ågotnes, Thomas. 2004. A note on syntactic characterization of incomplete information in ATEL.
  • Ågotnes, Thomas; Walicki, Michal. 2002. A logic for reasoning about explicit knowledge in finite agents.
  • Ågotnes, Thomas; Komorowski, Jan; Øhrn, Aleksander. 1999. Finding small high performance subsets of induced rule sets: Extended summary.
Poster
  • Walicki, Michal; Ågotnes, Thomas. 2005. A Logic of Syntactic Knowledge: Reasoning, Communication and Cooperation.

More information in national current research information system (CRIStin)