Hjem
  • E-postThomas.Agotnes@uib.no
  • Telefon+47 55 58 41 05
  • Besøksadresse
    Fosswinckelsgt. 6
    Rom 
    610
  • Postadresse
    Postboks 7802
    5007 Bergen
Bøker
  • Å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. 214 sider. ISBN: 978-3-642-31569-5.
  • 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. 383 sider. ISBN: 978-3-642-22358-7.
  • Ågotnes, Thomas. 2010. STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers' Symposium. IOS Press. 380 sider. ISBN: 978-1-60750-675-1.
Tidsskriftartikler
  • Ågotnes, Thomas; Alechina, Natasha. 2016. Coalition logic with individual, distributed and common knowledge. Journal of logic and computation (Print). doi: 10.1093/logcom/exv085
  • Ågotnes, Thomas; Bonanno, Giacomo; Van der hoek, Wiebe. 2016. Introduction to the special issue. Journal of logic and computation (Print). doi: 10.1093/logcom/exv088
  • Ågotnes, Thomas; Bonanno, Giacomo; van der Hoek, Wiebe. 2016. Introduction to the special issue. Synthese. 193: 659-662. doi: 10.1007/s11229-016-1017-0
  • Ågotnes, Thomas; Wang, Yi N. 2016. Resolving distributed knowledge. Electronic Proceedings in Theoretical Computer Science. 215: 31-50. doi: 10.4204/EPTCS.215.4
  • Ågotnes, Thomas; van Ditmarsch, Hans P.; French, Tim. 2016. The undecidability of quantified announcements. Studia Logica : An International Journal for Symbolic Logic. 104: 597-640. doi: 10.1007/s11225-016-9657-0
  • Pedersen, Truls Andre; Dyrkolbotn, Sjur Kristoffer; Ågotnes, Thomas. 2015. Reasoning about reasons behind preferences using modal logic. Information Systems Frontiers. 17: 713-724. doi: 10.1007/s10796-014-9520-7
  • Wáng, Yi N.; Ågotnes, Thomas. 2015. Relativized common knowledge for dynamic epistemic logic. Journal of Applied Logic. 13: 370-393. doi: 10.1016/j.jal.2015.06.004
  • Kazmierczak, Piotr Henryk; Ågotnes, Thomas; Jamroga, Wojciech. 2014. Multi-agency is coordination and (limited) communication. Lecture Notes in Computer Science. 8861: 91-106. doi: 10.1007/978-3-319-13191-7_8
  • 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 (Print). 24: 1141-1144. doi: 10.1093/logcom/exs067
  • Slavkovik, Marija; Ågotnes, Thomas. 2014. Measuring Dissimilarity between Judgment Sets. Lecture Notes in Computer Science. 8761: 609-617. doi: 10.1007/978-3-319-11558-0_44
  • Ågotnes, Thomas. 2014. Logic and Games: An Introduction. Studia Logica : An International Journal for Symbolic Logic. 102: 231-234. doi: 10.1007/s11225-014-9542-7
  • Ågotnes, Thomas; Alechina, Natasha. 2014. Formal models of awareness. Journal of Logic, Language and Information. 23: 105-106. doi: 10.1007/s10849-014-9202-3
  • Ågotnes, Thomas; Alechina, Natasha. 2014. A logic for reasoning about knowledge of unawareness. Journal of Logic, Language and Information. 23: 197-217. doi: 10.1007/s10849-014-9201-4
  • Pedersen, Truls Andre; Dyrkolbotn, Sjur Kristoffer; Ågotnes, Thomas. 2013. Reasonably Rational: Reasoning about Reasons Behind Preferences Using Modal Logic. Lecture Notes in Computer Science. 8068: 120-134. doi: 10.1007/978-3-642-39860-5_10
  • Wang, Yi; Ågotnes, Thomas. 2013. Preference Logic of Focus Change: A Semantic Approach. Lecture Notes in Computer Science. 8068: 225-239. doi: 10.1007/978-3-642-39860-5_17
  • Wang, Yi; Ågotnes, Thomas. 2013. Subset space public announcement logic. Lecture Notes in Computer Science. 7750: 245-257. doi: 10.1007/978-3-642-36039-8_22
  • Wang, Yi; Ågotnes, Thomas. 2013. Public Announcements, Private Actions and Common Knowledge in S5 Structures. Lecture Notes in Computer Science. 8196: 267-281. doi: 10.1007/978-3-642-40948-6_21
  • Wang, Yi; Ågotnes, Thomas. 2013. Public announcement logic with distributed knowledge: expressivity, completeness and complexity. Synthese. 190: 135-162. doi: 10.1007/s11229-012-0243-3
  • Ågotnes, Thomas; Harrenstein, Paul; Van der hoek, Wiebe; Wooldridge, Michael. 2013. Boolean games with epistemic goals. Lecture Notes in Computer Science. 8196: 1-14. doi: 10.1007/978-3-642-40948-6_1
  • Ågotnes, Thomas; Van ditmarsch, Hans. 2012. Coalitional Public Announcement Games. Lecture Notes in Computer Science. 7455: 1-15. doi: 10.1007/978-3-642-32729-2_1
  • Ågotnes, Thomas; van Benthem, Johan; Van ditmarsch, Hans; Minica, Stefan. 2012. Question-Answer Games. Journal of Applied Non-Classical Logics. 21: 265-288. doi: 10.3166/jancl.21.265-288
  • Wang, Yi; Ågotnes, Thomas. 2011. Public Announcement Logic with Distributed Knowledge. Lecture Notes in Computer Science. 6953: 328-341. doi: 10.1007/978-3-642-24130-7_24
  • Ågotnes, Thomas; Alechina, Natasha. 2011. Reasoning about Joint Action and Coalitional Ability in Kn with Intersection. Lecture Notes in Computer Science. 6814: 139-156. doi: 10.1007/978-3-642-22359-4_11
  • Ågotnes, Thomas; Van der Hoek, Wiebe; Wooldridge, Michael. 2011. On the logic of preference and judgment aggregation. Autonomous Agents and Multi-Agent Systems. 22: 4-30. doi: 10.1007/s10458-009-9115-8
  • Ågotnes, Thomas; Van ditmarsch, Hans. 2011. What will they say? - Public Announcement Games. Synthese. 179: 57-85. doi: 10.1007/s11229-010-9838-8
  • Ågotnes, Thomas. 2010. Group Announcements: Logic and Games (Abstract of Invited Talk). Lecture Notes in Computer Science. 6245: 9-13. doi: 10.1007/978-3-642-14977-1_3
  • Ågotnes, Thomas; Balbiani, Philippe; van Ditmarsch, Hans; Seban, Pablo. 2010. Group Announcement Logic. Journal of Applied Logic. 8: 62-81. doi: 10.1016/j.jal.2008.12.002
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2010. Robust normative systems and a logic of norm compliance. Logic journal of the IGPL (Print). 18: 4-30. doi: 10.1093/jigpal/jzp070
  • Ågotnes, Thomas; Alechina, Natasha. 2009. Editorial. Journal of Logic, Language and Information. 18: 1-2. doi: 10.1007/s10849-008-9076-3
  • Å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. 92: 1-26. doi: 10.1007/s11225-009-9184-3
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2009. Reasoning about coalitional games. Artificial Intelligence. 173: 45-79. doi: 10.1016/j.artint.2008.08.004
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2009. Completeness and Complexity of Multi-Modal CTL. Electronical Notes in Theoretical Computer Science. 231: 259-275. doi: 10.1016/j.entcs.2009.02.040
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2009. Logics for qualitative coalitional games. Logic journal of the IGPL (Print). 17: 299-321. doi: 10.1093/jigpal/jzp009
  • Ågotnes, Thomas; Walther, Dirk. 2009. A logic of strategic ability under bounded memory. Journal of Logic, Language and Information. 18: 55-77. doi: 10.1007/s10849-008-9075-4
  • Ågotnes, Thomas; van Benthem, Johan; Pacuit, Eric. 2009. Logic and intelligent interaction. Synthese. 169: 219-221. doi: 10.1007/s11229-009-9558-0
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2009. Reasoning about coalitional games. Artificial Intelligence. 173: 45-79.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2008. Quantified Coalition Logic. Synthese. 165: 269-294. doi: 10.1007/s11229-008-9363-1
  • Ågotnes, Thomas; Walicki, Michal. 2008. Complete axiomatisations of properties of finite sets. Logic journal of the IGPL (Print). 16: 293-313. doi: 10.1093/jigpal/jzn008
  • Ågotnes, Thomas; Walicki, Michal. 2008. Complete axiomatisations of properties of finite sets. Logic journal of the IGPL (Print). 16: 293-313.
  • Ågotnes, Thomas; Walther, Dirk. 2008. A logic of strategic ability under bounded memory. Journal of Logic, Language and Information. 18: 55-77.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2008. Quantified coalition logic. Synthese. 165: 269-294.
  • Jamroga, Wojciech; Ågotnes, Thomas. 2007. Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-Classical Logics. 17.
  • Jamroga, Wojciech; Ågotnes, Thomas. 2007. Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-Classical Logics. 17: 423-475.
  • Ågotnes, Thomas; Alechina, Natasha. 2007. The dynamics of syntactic knowledge. Journal of logic and computation (Print). 17: 83-116. doi: 10.1093/logcom/exl019
  • Ågotnes, Thomas; Alechina, Natasha. 2007. The dynamics of syntactic knowledge. Journal of logic and computation (Print). 17: 83-116.
  • Walicki, Michal; Ågotnes, Thomas. 2006. Strongly complete axiomatizations of "knowing at most" in syntactic structures. Lecture Notes in Computer Science. 3900: 57-76. doi: 10.1007/11750734_4
  • Ågotnes, Thomas. 2006. Action and knowledge in alternating-time temporal logic. Synthese. 149: 375-407. doi: 10.1007/s11229-005-3875-8
  • Ågotnes, Thomas. 2006. Action and knowledge in alternating-time temporal logic. Synthese. 149: 375-407.
  • Ågotnes, Thomas; Walicki, Michal. 2006. Complete axiomatizations of finite syntactic epistemic states. Lecture Notes in Computer Science. 3904: 33-50. doi: 10.1007/11691792_3
  • Ågotnes, Thomas; Komorowski, Jan; Løken, Terje. 1999. Taming large rule models in rough set approaches. Lecture Notes in Computer Science. 1704: 193-203.
Rapporter/avhandlinger
  • Ågotnes, Thomas; Lakemeyer, Gerhard; Löwe, Benedikt; Nebel, Bernhard. 2014. Planning with epistemic goals (Dagstuhl Seminar 14032). Dagstuhl Reports. 4: 1. Dagstuhl Reports. 20 sider.
  • Ågotnes, Thomas; bulling, nils. 2014. Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). Dagstuhl Reports. 4: 8. Dagstuhl Reports. 23 sider.
  • Ågotnes, Thomas; Alechina, Natasha; logan, brian. 2007. Proceedings of the Workshop on Logics for Resource-bounded Agents (LRBA 2007). Multi-Agent Logics, Languages and Organisations Federated Workshops (MALLOW), Durham, UK.
  • Jamroga, Wojciech; Ågotnes, Thomas. 2006. Modular Interpreted Systems: A Preliminary Report. IfI-06-15. Clausthal University of Technology, Clausthal University of Technology. 22 sider.
  • Ågotnes, Thomas; Alechina, Natasha. 2006. Proceedings of the Workshop on Logics for Resource-Bounded Agents (LRBA 06). ESSLLI, Malaga, Spain. 135 sider.
  • Ågotnes, Thomas; Alechina, Natasha. 2006. Proceedings of the Workshop on Logics for Resource-Bounded Agents (LRBA 06). ESSLLI, Malaga, Spain. 135 sider.
  • Jamroga, Wojciech; Ågotnes, Thomas. 2005. Constructive knowledge: What agents can achieve under incomplete information. IfI-05-10. Clausthal University of Technology, Clausthal University of Technology. 24 sider.
  • Ågotnes, Thomas; Alechina, Natasha. 2005. The dynamics of syntactic knowledge. 304. Department of Informatics, University of Bergen, Bergen. 25 sider.
  • Ågotnes, Thomas. 2004. A Logic of Finite Syntactic Epistemic States. 189 sider.
  • Ågotnes, Thomas. 2004. A Logic of Finite Syntactic Epistemic States. Insititutt for Informatikk, Universitetet i Bergen, Bergen, Norway. 189 sider.
  • Ågotnes, Thomas; Walicki, Michal. 2002. Only Explicitly Knowing. Reports in Informatics. 224. MANGLER.
  • Ågotnes, Thomas; Walicki, Michal. 2002. Only explicitly knowing. 224. Institutt for Informatikk, Universitetet i Bergen, Bergen, Norway. 59 sider.
  • Ågotnes, Thomas. 1999. Filtering Large Propositional Rule Sets While Retaining Classifier Performance. Norges Teknisk- Naturvitenskapelige Universitet, Trondheim. 155 sider.
Bokkapitler
  • Ågotnes, Thomas; Alechina, Natasha. 2015. Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection. Kapittel, sider 1-22. I:
    • Ju, Shier; Liu, Hu; Ono, Hiroakira. 2015. Modality, Semantics and Interpretations. Springer. ISBN: 978-3-662-47196-8.
  • Ågotnes, Thomas; Goranko, Valentin; Jamroga, Wojciech; Wooldridge, Michael. 2015. Knowledge and Ability. Kapittel, sider 543-589. I:
    • Van ditmarsch, Hans; Halpern, Joseph; Van der hoek, Wiebe; Kooi, Barteld. 2015. Handbook of Epistemic Logic. College Publications. ISBN: 978-1-84890-158-2.
  • Slavkovik, Marija; Ågotnes, Thomas. 2014. A Judgment Set Similarity Measure Based on Prime Implicants. Poster session, sider 1573-1574. I:
    • Lomuscio, Alessio R.; Scerri, Paul. 2014. Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems. The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). 1752 sider. ISBN: 978-1-4503-2738-1.
  • Ågotnes, Thomas; Van ditmarsch, Hans. 2014. Knowledge Games and Coalitional Abilities. Kap. 16, sider 451-485. I:
    • Baltag, Alexandru; Smets, Sonja. 2014. Johan van Benthem on Logic and Information Dynamics. Springer Science+Business Media B.V.. 1027 sider. ISBN: 978-3-319-06024-8.
  • Ågotnes, Thomas; Van ditmarsch, Hans; French, Tim. 2014. The Undecidability of Group Announcements. Artikkel, sider 893-900. I:
    • Lomuscio, Alessio R.; Scerri, Paul. 2014. Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems. The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). 1752 sider. ISBN: 978-1-4503-2738-1.
  • Wang, Yi; Ågotnes, Thomas. 2013. Multi-agent subset space logic. Paper, sider 1155-1161. I:
    • Rossi, Francesca. 2013. Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013). AAAI Press. 3253 sider. ISBN: 978-1-57735-633-2.
  • Ågotnes, Thomas. 2013. Coalition Logic. artikkel. I:
    • Kaldis, Byron. 2013. Encyclopedia of Philosophy and the Social Sciences. Sage Publications. 1168 sider. ISBN: 9781412986892.
  • Ågotnes, Thomas; Harrenstein, Paul; Van der hoek, Wiebe; Wooldridge, Michael. 2013. Verifiable Equilibria in Boolean Games. Paper, sider 689-695. I:
    • Rossi, Francesca. 2013. Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013). AAAI Press. 3253 sider. ISBN: 978-1-57735-633-2.
  • Piotr, Kazmierczak; Pedersen, Truls Andre; Ågotnes, Thomas. 2012. NORMC: a Norm Compliance Temporal Logic Model Checker. artikkel, sider 168-179. I:
    • Kristian, Kersting; Marc, Toussaint. 2012. STAIRS 2012: Proceedings of the Sixth Starting AI Researchers’ Symposium. IOS Press. 376 sider. ISBN: 978-1-61499-095-6.
  • Ågotnes, Thomas; Alechina, Natasha. 2012. Epistemic Coalition Logic: Completeness and Complexity. artikkel, sider 1099-1106. I:
    • conitzer, vincent; Winikoff, Michael; Padgham, L.; Van der hoek, Wiebe. 2012. Proceedings of the Eleventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012). The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). 1508 sider. ISBN: 0-9817381-3-3.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2012. Conservative Social Laws. n/a, sider 49-54. I:
    • L., De Raedt; et, al. 2012. ECAI 2012: 20th European Conference on Artificial Intelligence, Proceedings. IOS Press. 1056 sider. ISBN: 978-1-61499-097-0.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2011. Scientia Potentia Est. Artikkel, sider 735-742. I:
    • Turner, K.; Yolum, P.; Stone, P.; Sonenberg, L. 2011. Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). 1062 sider. ISBN: 978-0-9826571-5-7.
  • Ågotnes, Thomas; Wooldridge, Michael. 2010. Optimal social laws. Artikkel, sider 667-674. I:
    • Van der hoek, Wiebe; Kaminka, Gal; Lesperance, Yves; Luck, Michael; Sen, S. 2010. Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010). The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). 1578 sider. ISBN: 978-0-9826571-1-9.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Rodriguez-aguilar, Juan a.; Sierra, Carles; Wooldridge, Michael. 2009. A temporal logic of normative systems. Kap. 5, sider 69-104. I:
    • Makinson, David; Malinowski, Jacek; Wansing, Heinrich. 2009. Towards Mathematical Philosophy. Springer. 346 sider. ISBN: 978-1-4020-9083-7.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2009. Power in Normative Systems. Artikkel, sider 145-152. I:
    • Decker, Keith; Sichman, Jaime; Sierra, Carles; Castelfranchi, Cristiano. 2009. Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009). The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). 1426 sider. ISBN: 978-0-9817381-6-1.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Rodriguez-Aguilar, Juan A.; Sierra, Carles; Wooldridge, Michael. 2009. A Temporal Logic of Normative Systems. 69-106. I:
    • 2009. Trends in Logic vol 28: Towards Mathematical Philosophy. Springer. 38 sider.
  • Jamroga, Wojciech; Ågotnes, Thomas; van der Hoek, Wiebe. 2008. A simpler semantics for abilities under uncertainty. 1-17. I:
    • 2008. Ifl Technical Report Series. 08-02. Institut für Inforamtik, Technische Universität Clausthaler, Clausthaler-Zellerfield. 17 sider.
  • Ågotnes, Thomas; Goranko, Valentin; Jamroga, Wojciech. 2008. Strategic commitment and release in logics for multi-agent systems. 1-14. I:
    • 2008. Ifl Technical Report Series. Institut für Informatik, Technische Universität Clausthal, Clausthal-Zellerfield. 14 sider.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2008. Robust Normative Systems. Artikkel, sider 747-754. I:
    • Padgham, L.; Parkes, D.; Muller, J.; Parsons, S. 2008. Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008). ISBN: 978-0-9817381-0-9.
  • Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael. 2008. Quantifying Over Coalitions in Epistemic Logic. Artikkel, sider 665-672. I:
    • Padgham, L.; Parkes, D.; Muller, J.; Parsons, S. 2008. Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008). ISBN: 978-0-9817381-0-9.
  • Ågotnes, Thomas; Van ditmarsch, Hans. 2008. Coalitions and Announcements. Artikkel, sider 673-680. I:
    • Padgham, L.; Parkes, D.; Muller, J.; Parsons, S. 2008. Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008). ISBN: 978-0-9817381-0-9.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2008. Quantifying over coalitions in epistemic logic. 665-672. I:
    • 2008. Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems. International Foundation for Autonomous Agents and Multiagent Systems/, Estoril, Portugal. 8 sider.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2008. Robust normative systems. 747754. I:
    • 2008. Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems (AAMAS). International Foundation for Autonomous Agents and Multiagent Systems/, Estoril, Portugal. 1 sider.
  • Ågotnes, Thomas; van ditmarsch, hans. 2008. Coalitions and announcements. 673680. I:
    • 2008. Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems (AAMAS). International Foundation for Autonomous Agents and Multiagent Systems/, Estoril, Portugal. 1 sider.
  • Jamroga, Wojciech; Ågotnes, Thomas. 2007. Modular interpreted systems. 892-899. I:
    • 2007. Proceedings of the Sixth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007). Research Publishing Services. 8 sider.
  • Wooldridge, Michael; Ågotnes, Thomas; Dunne, Paul E.; van der Hoek, Wiebe. 2007. Logic for automated mechanism design ¿ a progress report. 9. I:
    • 2007. Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence. AAAI Press. 1 sider.
  • Wooldridge, Michael; Ågotnes, Thomas; Dunne, Paul; Van der hoek, Wiebe. 2007. Logic for Automated Mechanism Design -- a Progress Report. Artikkel, sider 9-18. I:
    • ??, ??. 2007. Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI 2007). AAAI Press. ISBN: 978-1-57735-323-2.
  • Ågotnes, Thomas; Alechina, Natasha. 2007. Full and Relative Awareness: A Decidable Logic for Reasoning about Knowledge of Unawareness. Artikkel, sider 6-14. I:
    • Samet, Dov. 2007. Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI). 288 sider. ISBN: 978-2-8746-3077-4.
  • Ågotnes, Thomas; Alechina, Natasha. 2007. Full and relative awareness : a decidable logic for reasoning about knowledgeof unwareness. 6-14. I:
    • 2007. Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge TARK 07. 9 sider.
  • Ågotnes, Thomas; Alechina, Natasha. 2007. A decidable logic for reasoning about knowledge of unawareness. 6-14. I:
    • 2007. Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI). Presses Universitaires de Louvain/ACM DL, Brussels, Belgium. 9 sider.
  • Ågotnes, Thomas; Dunne, Paul E.; van der Hoek, Wiebe; Wooldridge, Michael. 2007. Logics for coalitional games. 3-20. I:
    • 2007. A Meeting of the Minds, number 8 in Texts in Computer Science. College Publications. 18 sider.
  • Ågotnes, Thomas; Dunne, Paul; Van der hoek, Wiebe; Wooldridge, Michael. 2007. Logics for Coalitional Games. Artikkel, sider 3-20. I:
    • van Benthem, Johan; Ju, S.; Veltman, F. 2007. A Meeting of the Minds. College Publications. 364 sider. ISBN: 1904987486.
  • Ågotnes, Thomas; Goranko, Valentin; Jamroga, Wojciech. 2007. Towards a proof theory for logics with irrevocable strategies. I:
    • 2007. Workshop of the TABLEAUX¿2007 Workshop on Agents, Logic and Theorem Proving.
  • Ågotnes, Thomas; Goranko, Valentin; Jamroga, Wojciech. 2007. Alternating-time Temporal Logics with Irrevocable Strategies. Artikkel, sider 15-24. I:
    • Samet, Dov. 2007. Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI). 288 sider. ISBN: 978-2-8746-3077-4.
  • Ågotnes, Thomas; Goranko, Valentin; Jamroga, Wojciech. 2007. Alternating-time temporal logics with irrevocable strategies. 15-24. I:
    • 2007. Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI). 10 sider.
  • Ågotnes, Thomas; Walther, Dirk. 2007. Towards a logic if strategic ability under bounded memory. 9-24. I:
    • 2007. Proceedings of the MALLOW¿007 Workshop on Logics for Resource-bounded Agents,. 16 sider.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Rodriguez-Aguilar, Juan A.; Sierra, Carles. 2007. On the logic of normative systems. 1175-1180. I:
    • 2007. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007). AAAI Press. 6 sider.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Rodriguez-Aguilar, Juan A.; Sierra, Carles; Wooldridge, Michael. 2007. The simple normative systems language. I:
    • 2007. Proceedings of the IJCAI 2007 Workshop on Agent Organizations, Models and Simulations (AOMS).
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2007. Reasoning about judgment and preference aggregation. 554-561. I:
    • 2007. Proceedings of the Sixth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007). Research Publishing Services. 8 sider.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2007. Normative system games. 876-883. I:
    • 2007. Proceedings of the Sixth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007). Research Publishing Services. 8 sider.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2007. Quantified Coalition Logic. 1181-1186. I:
    • 2007. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007). AAAI Press. 6 sider.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2007. Completeness and complexity of multi-modal CTL. 75-90. I:
    • 2007. Proceedings of the 5th Workshop on Methods for Modalities (M4M5). 16 sider.
  • Jamroga, Wojciech; Ågotnes, Thomas. 2006. What agents can achieve under incomplete information. 232. I:
    • 2006. Proceedings of the Fifth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006). ACM Publications. 1 sider.
  • Ågotnes, Thomas; Alechina, Natasha. 2006. Semantics for dynamic syntactic epistemic logics. 411. I:
    • 2006. Principles of Knowledge Representation and Reasoning: Proceedings of the Tenth International Conference (KR'06),. AAAI Press. 1 sider.
  • Ågotnes, Thomas; Alechina, Natasha. 2006. Knowing minimum/maximum n formulae. 317-321. I:
    • 2006. Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006). IOS Press. 5 sider.
  • Ågotnes, Thomas; Walicki, Michal. 2006. Strongly complete axiomatizations of ''knowing at most'' in syntactic structures. 57. I:
    • 2006. CLIMA IV. Springer. 1 sider.
  • Ågotnes, Thomas; Walicki, Michal. 2006. Complete axiomatizations of finite syntactic epistemic states. 33. I:
    • 2006. Lecture Notes in Computer Science. Springer. 1 sider.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2006. Towards a logic of social welfare. I:
    • 2006. Proceedings of The 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT).
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2006. Towards a logic of social welfare. I:
    • 2006. Proceedings of The 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT).
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2006. On the logic of coalitional games. 153. I:
    • 2006. Proceedings of the Fifth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006). ACM Publications. 1 sider.
  • Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael. 2006. Temporal qualitative coalitional games. 177. I:
    • 2006. Proceedings of the Fifth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006). ACM Publications. 1 sider.
  • Ågotnes, Thomas; Walicki, Michal. 2005. A logic of reasoning, communication and cooperation with syntactic knowledge. I:
    • 2005. Proceedings of the Fourth International Joint Conference Of Autonomous Agents and Multiagent Systems (AAMAS 2005). ACM Publications.
  • Ågotnes, Thomas. 2004. A note on syntactic characterization of incomplete information in ATEL. I:
    • 2004. Proceedings of the First Workshop on Knowledge and Games (KAG 2004).
  • Ågotnes, Thomas; Walicki, Michal. 2004. Syntactic knowledge: A logic of reasoning, communication and cooperation. I:
    • 2004. Proceedings of the Second European Workshop on Multi-Agent Systems (EUMAS 2004).
  • Ågotnes, Thomas; Walicki, Michal. 2003. A logic for reasoning about agents with finite explicit knowledge. 163-174. I:
    • 2003. Proceedings of the 8th Scandinavian Conference on Artificial Intelligence (SCAI'03), Frontiers in Artificial Intelligence and Applications. IOS Press. 12 sider.
  • Ågotnes, Thomas; Walicki, Michal. 2002. A logic for reasoning about explicit knowledge in finite agents. I:
    • 2002. Abstracts from the 2002 Workshop on Logic in Games and Multiagent Systems (LoGaMAS-02).
  • Ågotnes, Thomas; Komorowski, Jan; Øhrn, Aleksander. 1999. Finding small high performance subsets of induced rule sets: Extended summary. I:
    • 1999. Proceedings of the Seventh European Congress on Intelligent Techniques and Soft Computing (EUFIT'99).

Se fullstendig oversikt over publikasjoner i CRIStin.