Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch and Stefan Minica. Question-answer games. To appear in Journal of Applied Non-Classical Logics.
Thomas Ågotnes and Yi Wang. Public Announcement Logic with Distributed Knowledge. In Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings, LNCS/LNAI 6953, pp. 328--341, Springer, 2011.
Thomas Ågotnes and Natasha Alechina. Reasoning about Joint Action and Coalitional Ability in Kn with Intersection. In 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings, LNCS/LNAI 6814, pp. 139--156, Springer, 2011.
Leite, J. and Torroni, P. and Ågotnes, Th. and Boella, G. and van der Torre, L., editors. Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings, volume 6814 of Lecture Notes in Computer Science. Springer, 2011.
Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. Scientia Potentia Est. In Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2011. [BibTex]
Thomas Ågotnes and Hans van Ditmarsch. What will they say? -- Public Announcement Games. InSynthese (Knowledge, Rationality and Action) 179(1):57--85. [Open Access, Almost-final draft]
Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. On the logic of preference and judgment aggregation. In Autonomous Agents and Multi-Agent Systems 22:4--30, 2011. [BibTex]
Thomas Ågotnes, editor. Proceedings of the Fifth European Starting Artificial Intelligence Researcher Symposium (STAIRS 2010). IOS Press, 2010.
Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch and Stefan Minica. Question-answer games. 9th Conference on Logic and the Foundations of Game and Decision Theory, Toulouse, 2010.
Thomas Ågotnes. Group Announcements: Logic and Games (Abstract of Invited Talk). In J. Dix et al., editors, Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings., Volume 6245 of Lecture Notes in Computer Science (LNCS), pages 9--14, 2010. Springer.
Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch and Pablo Seban. Group Announcement Logic. In Journal of Applied Logic 8(1):62--81, 2010. [BibTex]
Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. Robust Normative Systems and a Logic of Norm Compliance. In Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) 18(1):4--30, 2010. [BibTex]
Thomas Ågotnes and Michael Wooldridge. Optimal Social Laws. In van der Hoek, Kaminka, Lespérance, Luck and Sen, editors, Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 2010. [BibTex]
Thomas Ågotnes, Johan van Benthem, and Eric Pacuit, editors. Special issue on logic and intelligent interaction. Synthese 169(2), 2009. [BibTex]
Thomas Ågotnes and Natasha Alechina, editors. Special issue on logics for resource bounded agents. Journal of Logic, Language and Information 18(1), 2009. [BibTex]
Thomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz and Michael Wooldridge. Power in Normative Systems. In Decker, Sichman, Sierra and Castelfranchi, Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), pages 145--152, Budapest, Hungary, May 2009. [BibTex]
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodriguez-Aguilar, Carles Sierra, and Michael Wooldridge. Multi-Modal CTL: Completeness, Complexity and an Application. In Studia Logica 92(1):1--26, 2009. [BibTex]
Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. Logics for Qualitative Coalitional Games. In Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) 17(3):299--321, 2009. [BibTex]
Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. Reasoning about Coalitional Games. Artificial Intelligence 173(1):45--79. [BibTex]
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodriguez-Aguilar, Carles Sierra, and Michael Wooldridge. A Temporal Logic of Normative Systems. Trends in Logic 28:69--106, 2009. [BibTex]
Thomas Ågotnes and Dirk Walther. A logic of strategic ability under bounded memory. Journal of Logic, Language and Information 18(1):55--77. [BibTex]
Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. Quantified Coalition Logic. Synthese 165(2):269--294. [BibTex]
Thomas Ågotnes and Michal Walicki. Complete Axiomatisations of Properties of Finite Sets. Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) 16(3):293--313, 2008. [BibTex]
Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. Logics of Interaction, Coalitions and Social Choice (extended abstract of invited talk). Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interaction and Reasoning, volume 9 of AISB 2008 Convention on Communication, Interaction and Social Intelligence, pages 1--6, Aberdeen, UK, 2008. [BibTex]
Thomas Ågotnes, Valentin Goranko and Wojciech Jamroga. Strategic Commitment and Release in Logics for Multi-Agent Systems. LOFT 2008, Amsterdam, July 2008.
Wojciech Jamroga, Thomas Ågotnes and Wiebe van der Hoek. A Simpler Semantics for Abilities under Uncertainty. LOFT 2008, Amsterdam, July 2008.
Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. Robust Normative Systems. In Lin Padgham and David C. Parkes, editors, Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), pages 747--754, Estoril, Portugal, May 2008.[BibTex]
Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. Quantifying Over Coalitions in Epistemic Logic. In Lin Padgham and David C. Parkes, editors, Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), pages 665--672, Estoril, Portugal, May 2008. [BibTex]
Thomas Ågotnes and Hans van Ditmarsch. Coalitions and Announcements. In Lin Padgham and David C. Parkes, editors, Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), pages 673--680, Estoril, Portugal, May 2008. [BibTex]
Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. Completeness and Complexity of Multi-Modal CTL. In C. Areces and S. Demri, editors, Proceedings of the 5th Workshop on Methods for Modalities (M4M5), Electronic Notes in Theoretical Computer Science (ENTCS) volume 231, pages 259--2750, 2009. [BibTex, PDF (same content as final version)]
Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek and Michael Wooldridge. Logics for Coalitional Games. In J. van Benthem, S. Ju and F. Veltman, editors, A Meeting of the Minds, number 8 in Texts in Computer Science, pages 3--20, London, UK, 2007. College Publications. [BibTex]
Michael Wooldridge, Thomas Ågotnes, Paul E. Dunne and Wiebe van der Hoek. Logic for Automated Mechanism Design - A Progress Report. In Proceedings of the Twenty-Second Conference on Artificial Ingelligence (AAAI 2007), Vancouver, Canada, July 2007. AAAI Press. [BibTex]
Thomas Ågotnes and Dirk Walther. Towards a Logic of Strategic Ability under Bounded Memory. In Thomas Ågotnes, Natasha Alechina and Brian Logan, editors, Proceedings of the Workshop on Logics for Resource-Bounded Agents (LRBA 2007), Durham, UK, September 2007.
Thomas Ågotnes, Natasha Alechina and Brian Logan, editors. Proceedings of the Workshop on Logics for Resource-Bounded Agents (LRBA 2007), Multi-Agent Logics, Languages and Organisations Federated Workshops. Durham, UK, September 2007. [BibTeX]
Thomas Ågotnes and Natasha Alechina. Full and Relative Awareness: A Decidable Logic for Reasoning about Knowledge of Unawareness. In Dov Samet, editor, Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI), Brussels, Belgium, pages 6--14, 2007. Presses Universitaires de Louvain. [BibTex]
Thomas Ågotnes, Valentin Goranko and Wojciech Jamroga. Alternating-time Temporal Logics with Irrevocable Strategies. In Dov Samet, editor, Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI), Brussels, Belgium, pages 15--24, 2007. Presses Universitaires de Louvain. [BibTex]
Wiebe van der Hoek, Thomas Ågotnes and Michael Wooldridge. Extended Modal Logics for Social Software (extended abstract of invited talk). In C. Areces and S. Demri, editors, Proceedings of the 5th Workshop on Methods for Modalities (M4M5), 2007. College Publications. [BibTex]
Wojciech Jamroga and Thomas Ågotnes. Constructive Knowledge: What Agents can Achieve under Imperfect Information. Journal of Applied Non-Classical Logics 17(4):423--425, 2007. [BibTex]
Thomas Ågotnes, Valentin Goranko and Wojciech Jamroga. Towards a Proof Theory for Logics with Irrevocable Strategies. In Proceedings of TABLEAUX'2007 Workshop on Agents, Logic and Theorem Proving, Aix-en-Provence, France, July 2007.
Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. Reasoning about Judgment and Preference Aggregation. In M. Huhns and O. Shehory, editors, Proceedings of the Sixth International Conference on Autonomous Agents and Multiagent System (AAMAS 2007), pages 554--561, 2007. IFAAMAS. [BibTeX]
Wojciech Jamroga and Thomas Ågotnes. Modular Interpreted Systems. In M. Huhns and O. Shehory, editors, Proceedings of the Sixth International Conference on Autonomous Agents and Multiagent System (AAMAS 2007), pages 892--899, 2007. IFAAMAS. [BibTeX]
Thomas Ågotnes, Wiebe van der Hoek and Michael Wooldridge. Normative Systems Games. In M. Huhns and O. Shehory, editors, Proceedings of the Sixth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), pages 876--883, 2007. IFAAMAS. [BibTeX]
Thomas Ågotnes, Michael Wooldridge, and Wiebe van der Hoek. Quantified Coalition Logic. In M. M. Veloso, editor, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pages 1181--1186, 2007. AAAI Press. [BibTeX]
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodriguez-Aguilar, Carles Sierra, and Michael Wooldridge. On the Logic of Normative Systems. In M. M. Veloso, editor, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pages 1175--1180, 2007. AAAI Press. [BibTeX]
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodriguez-Aguilar, Carles Sierra, and Michael Wooldridge. The simple normative systems language. In Virginia Dignum et al., editors, Agent Organizations: Models and Simulations, Proceedings of the IJCAI 07 Workshop (AOMS 2007), Hyderabad, India, January 2007. [BibTeX]
Thomas Ågotnes and Natasha Alechina. The dynamics of syntactic knowledge. Journal of Logic and Computation 17(1):83--116, 2007. [BibTeX]
Wojciech Jamroga and Thomas Ågotnes. Modular Interpreted Systems: A Preliminary Report. Technical Report IfI-06-15, Clausthal University of Technology, 2006. [BibTeX]
Thomas Ågotnes and Natasha Alechina, editors. Proceedings of the Workshop on Logics for Resource-Bounded Agents (LRBA 2006), Malaga, Spain, 2006. The 18th European Summer School in Logic, Language and Information (ESSLLI 2006). [BibTeX]
Thomas Ågotnes, Michael Wooldridge, and Wiebe van der Hoek. Towards a logic of social welfare. In Proceedings of The 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), pages 1--10, July 2006. [BibTeX] A practically identical version also appeared in Ulle Endriss and Jerome Lang, editors, Proceedings of the 1st International Workshop on Computational Social Choice (COMSOC 2006), pages 7--20, Amsterdam, December 2006. [BibTeX]
Thomas Ågotnes and Natasha Alechina. Knowing minimum/maximum n formulae. In Gerhard Brewka, Silvia Coradeschi, Anna Perini and Paolo Traverso, editors, Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), pages 317-321, Riva del Garda, Italy, August 2006. IOS Press. [BibTeX]
Thomas Ågotnes. Action and knowledge in alternating-time temporal logic. Synthese 149(2):377--409, 2006. [BibTeX]
Thomas Ågotnes and Natasha Alechina. Semantics for dynamic syntactic epistemic logics. In Principles of Knowledge Representation and Reasoning: Proceedings of the Tenth International Conference (KR'06), pages 411--419, Lake District, UK, June 2006. AAAI Press. [BibTeX]
Thomas Ågotnes, Michael Wooldridge, and Wiebe van der Hoek. Temporal qualitative coalitional games. In P. Stone and G. Weiss, editors, Proceedings of the Fifth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), pages 177--184, Hakodate, Japan, May 2006. ACM Press. [BibTeX]
Thomas Ågotnes, Michael Wooldridge, and Wiebe van der Hoek. On the logic of coalitional games. In P. Stone and G. Weiss, editors, Proceedings of the Fifth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), pages 153--160, Hakodate, Japan, May 2006. ACM Press. [BibTeX]
Wojciech Jamroga and Thomas Ågotnes. What agents can achieve under incomplete information (short paper). In P. Stone and G. Weiss, editors, Proceedings of the Fifth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), pages 232--234, Hakodate, Japan, May 2006. ACM Press. [BibTeX]
Thomas Ågotnes and Michal Walicki. Strongly complete axiomatizations of ''knowing at most'' in syntactic structures. In Francesca Toni and Paolo Torroni, editors, CLIMA VI, volume 3900 of Lecture Notes in Artificial Intelligence (LNAI), pages 57 -- 76, London, UK, June 2006. Springer Berlin / Heidelberg, 2006. [BibTeX]
Thomas Ågotnes and Michal Walicki. Complete axiomatizations of finite syntactic epistemic states. In Matteo Baldoni, Ulle Endriss, Andrea Omicini, and Paolo Torroni, editors, Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, volume 3904 of Lecture Notes in Artificial Intelligence (LNAI), pages 33 -- 50. Springer Berlin / Heidelberg, 2006. [BibTeX]
Thomas Ågotnes and Michal Walicki. A logic of reasoning, communication and cooperation with syntactic knowledge (short paper). In F. Dignum, V. Dignum, S. Koenig, S. Kraus, M. P. Singh, M. Wooldridge, editors, Proceedings of the Fourth International Joint Conference Of Autonomous Agents and Multiagent Systems (AAMAS 2005), Utrecht, The Netherlands, July 2005. [BibTeX]
Thomas Ågotnes and Natasha Alechina. The dynamics of syntactic knowledge. Technical Report 304, Dept. of Informatics, Univ. of Bergen, Norway, 2005. [BibTeX]
Wojciech Jamroga and Thomas Ågotnes. Constructive knowledge: What agents can achieve under incomplete information. Technical Report IfI-05-10, Clausthal University of Technology, 2005. [BibTeX]
Thomas Ågotnes and Michal Walicki. Syntactic knowledge: A logic of reasoning, communication and cooperation. In Chiara Ghidini, Paolo Giorgini, and Wiebe van~der Hoek, editors, Proceedings of the Second European Workshop on Multi-Agent Systems (EUMAS 2004), Barcelona, Spain, December 2004. [BibTeX]
Thomas Ågotnes. A note on syntactic characterization of incomplete information in ATEL. In Proceedings of the First Workshop on Knowledge and Games (KAG 2004), Liverpool, U.K., July 2004. [BibTeX]
Thomas Ågotnes. A Logic of Finite Syntactic Epistemic States. PhD thesis, Department of Informatics, University of Bergen, 2004. [BibTeX]
Thomas Ågotnes and Michal Walicki. A logic for reasoning about agents with finite explicit knowledge. In Bjørnar Tessem, Pekka Ala-Siuru, Patrick Doherty, and Brian Mayoh, editors, Proceedings of the 8th Scandinavian Conference on Artificial Intelligence (SCAI'03), Frontiers in Artificial Intelligence and Applications, pages 163--174, Bergen, Norway, Nov 2003. IOS Press. [BibTeX]
Thomas Ågotnes and Michal Walicki. A logic for reasoning about explicit knowledge in finite agents. In M. Pauly, M. Ball, and M. Wooldridge, editors, Abstracts from the 2002 Workshop on Logic in Games and Multiagent Systems (LoGaMAS-02), Liverpool, U.K., Dec 2002. [BibTeX]
Thomas Ågotnes and Michal Walicki. Only explicitly knowing. Technical Report 224, Dept. of Informatics, Univ. of Bergen, Norway, 2002. [BibTeX]
Thomas Ågotnes, Jan Komorowski, and Terje Løken. Taming large rule models in rough set approaches. In Jan Rauch and Jan Zytkow, editors, Proceedings of the Third European Symposium on Principles and Practice of Knowledge Discovery in Databases (PKDD'99), pages 193--203, Prague, Czech Republic, September 1999. Springer-Verlag. [BibTeX]
Thomas Ågotnes, Jan Komorowski, and Aleksander Øhrn. Finding small high performance subsets of induced rule sets: Extended summary. In Proceedings of the Seventh European Congress on Intelligent Techniques and Soft Computing (EUFIT'99), Aachen, Germany, September 1999. [BibTeX]
Thomas Ågotnes. Filtering large propositional rule sets while retaining classifier performance. Master thesis, Department of Computer and Information Science, Norwegian University of Science and Technology, 1999. [BibTeX]