- E-postThomas.Agotnes@uib.no
- Telefon+47 55 58 41 05
- BesøksadresseFosswinckelsgt. 6Rom610
- PostadressePostboks 78025020 Bergen
Bøker
- 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.
- 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.
- 2010. STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers' Symposium. IOS Press. 380 sider. ISBN: 978-1-60750-675-1.
Tidsskriftartikler
- 2018. Logic and argumentation. Journal of Applied Non-Classical Logics. 28. doi: 10.1080/11663081.2018.1487243
- 2017. Towards a logic of Tweeting. Lecture Notes in Computer Science. 10445 LNCS: 49-64. doi: 10.1007/978-3-662-55665-8_4
- 2017. Resolving distributed knowledge. Artificial Intelligence. 252: 1-21. doi: 10.1016/j.artint.2017.07.002
- 2016. Coalition logic with individual, distributed and common knowledge. Journal of logic and computation (Print). doi: 10.1093/logcom/exv085
- 2016. Introduction to the special issue. Journal of logic and computation (Print). doi: 10.1093/logcom/exv088
- 2016. Resolving distributed knowledge. Electronic Proceedings in Theoretical Computer Science. 215: 31-50. doi: 10.4204/EPTCS.215.4
- 2016. The undecidability of quantified announcements. Studia Logica : An International Journal for Symbolic Logic. 104: 597-640. doi: 10.1007/s11225-016-9657-0
- 2015. Reasoning about reasons behind preferences using modal logic. Information Systems Frontiers. 17: 713-724. doi: 10.1007/s10796-014-9520-7
- 2015. Relativized common knowledge for dynamic epistemic logic. Journal of Applied Logic. 13: 370-393. doi: 10.1016/j.jal.2015.06.004
- 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
- 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
- 2014. Measuring Dissimilarity between Judgment Sets. Lecture Notes in Computer Science. 8761: 609-617. doi: 10.1007/978-3-319-11558-0_44
- 2014. Logic and Games: An Introduction. Studia Logica : An International Journal for Symbolic Logic. 102: 231-234. doi: 10.1007/s11225-014-9542-7
- 2014. Formal models of awareness. Journal of Logic, Language and Information. 23: 105-106. doi: 10.1007/s10849-014-9202-3
- 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
- 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
- 2013. Subset space public announcement logic. Lecture Notes in Computer Science. 7750: 245-257. doi: 10.1007/978-3-642-36039-8_22
- 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
- 2013. Public announcement logic with distributed knowledge: expressivity, completeness and complexity. Synthese. 190: 135-162. doi: 10.1007/s11229-012-0243-3
- 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
- 2013. Boolean games with epistemic goals. Lecture Notes in Computer Science. 8196: 1-14. doi: 10.1007/978-3-642-40948-6_1
- 2012. Coalitional Public Announcement Games. Lecture Notes in Computer Science. 7455: 1-15. doi: 10.1007/978-3-642-32729-2_1
- 2012. Question-Answer Games. Journal of Applied Non-Classical Logics. 21: 265-288. doi: 10.3166/jancl.21.265-288
- 2011. Public Announcement Logic with Distributed Knowledge. Lecture Notes in Computer Science. 6953: 328-341. doi: 10.1007/978-3-642-24130-7_24
- 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
- 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
- 2011. What will they say? - Public Announcement Games. Synthese. 179: 57-85. doi: 10.1007/s11229-010-9838-8
- 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
- 2010. Robust normative systems and a logic of norm compliance. Logic journal of the IGPL (Print). 18: 4-30. doi: 10.1093/jigpal/jzp070
- 2009. Editorial. Journal of Logic, Language and Information. 18: 1-2. doi: 10.1007/s10849-008-9076-3
- 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
- 2009. Reasoning about coalitional games. Artificial Intelligence. 173: 45-79. doi: 10.1016/j.artint.2008.08.004
- 2009. Logics for qualitative coalitional games. Logic journal of the IGPL (Print). 17: 299-321. doi: 10.1093/jigpal/jzp009
- 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
- 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
- 2009. Reasoning about coalitional games. Artificial Intelligence. 173: 45-79.
- 2008. Complete axiomatisations of properties of finite sets. Logic journal of the IGPL (Print). 16: 293-313.
- 2008. Complete axiomatisations of properties of finite sets. Logic journal of the IGPL (Print). 16: 293-313. doi: 10.1093/jigpal/jzn008
- 2008. A logic of strategic ability under bounded memory. Journal of Logic, Language and Information. 18: 55-77.
- 2008. Quantified coalition logic. Synthese. 165: 269-294.
- 2007. Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-Classical Logics. 17: 423-475.
- 2007. Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-Classical Logics. 17.
- 2007. The dynamics of syntactic knowledge. Journal of logic and computation (Print). 17: 83-116. doi: 10.1093/logcom/exl019
- 2007. The dynamics of syntactic knowledge. Journal of logic and computation (Print). 17: 83-116.
- 2006. Strongly complete axiomatizations of "knowing at most" in syntactic structures. Lecture Notes in Computer Science. 3900: 57-76. doi: 10.1007/11750734_4
- 2006. Action and knowledge in alternating-time temporal logic. Synthese. 149: 375-407. doi: 10.1007/s11229-005-3875-8
- 2006. Action and knowledge in alternating-time temporal logic. Synthese. 149: 375-407.
- 2006. Complete axiomatizations of finite syntactic epistemic states. Lecture Notes in Computer Science. 3904: 33-50. doi: 10.1007/11691792_3
- 1999. Taming large rule models in rough set approaches. Lecture Notes in Computer Science. 1704: 193-203.
Rapporter/avhandlinger
- 2014. Planning with epistemic goals (Dagstuhl Seminar 14032). Dagstuhl Reports. 4: 1. Dagstuhl Reports. 20 sider.
- 2014. Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). Dagstuhl Reports. 4: 8. Dagstuhl Reports. 23 sider.
- 2007. Proceedings of the Workshop on Logics for Resource-bounded Agents (LRBA 2007). Multi-Agent Logics, Languages and Organisations Federated Workshops (MALLOW), Durham, UK.
- 2006. Modular Interpreted Systems: A Preliminary Report. IfI-06-15. Clausthal University of Technology, Clausthal University of Technology. 22 sider.
- 2006. Proceedings of the Workshop on Logics for Resource-Bounded Agents (LRBA 06). ESSLLI, Malaga, Spain. 135 sider.
- 2006. Proceedings of the Workshop on Logics for Resource-Bounded Agents (LRBA 06). ESSLLI, Malaga, Spain. 135 sider.
- 2005. Constructive knowledge: What agents can achieve under incomplete information. IfI-05-10. Clausthal University of Technology, Clausthal University of Technology. 24 sider.
- 2005. The dynamics of syntactic knowledge. 304. Department of Informatics, University of Bergen, Bergen. 25 sider.
- 2004. A Logic of Finite Syntactic Epistemic States. Insititutt for Informatikk, Universitetet i Bergen, Bergen, Norway. 189 sider.
- 2004. A Logic of Finite Syntactic Epistemic States. 189 sider.
- 2002. Only explicitly knowing. 224. Institutt for Informatikk, Universitetet i Bergen, Bergen, Norway. 59 sider.
- 2002. Only Explicitly Knowing. Reports in Informatics. 224. MANGLER.
- 1999. Filtering Large Propositional Rule Sets While Retaining Classifier Performance. Norges Teknisk- Naturvitenskapelige Universitet, Trondheim. 155 sider.
Bokkapitler
- 2015. Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection. Kapittel, sider 1-22. I:
- 2015. Modality, Semantics and Interpretations. Springer. ISBN: 978-3-662-47196-8.
- 2015. Knowledge and Ability. Kapittel, sider 543-589. I:
- 2015. Handbook of Epistemic Logic. College Publications. ISBN: 978-1-84890-158-2.
- 2014. A Judgment Set Similarity Measure Based on Prime Implicants. Poster session, sider 1573-1574. I:
- 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.
- 2014. Knowledge Games and Coalitional Abilities. Kap. 16, sider 451-485. I:
- 2014. Johan van Benthem on Logic and Information Dynamics. Springer Science+Business Media B.V.. 1027 sider. ISBN: 978-3-319-06024-8.
- 2014. The Undecidability of Group Announcements. Artikkel, sider 893-900. I:
- 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.
- 2013. Multi-agent subset space logic. Paper, sider 1155-1161. I:
- 2013. Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013). AAAI Press. 3253 sider. ISBN: 978-1-57735-633-2.
- 2013. Coalition Logic. artikkel. I:
- 2013. Encyclopedia of Philosophy and the Social Sciences. Sage Publications. 1168 sider. ISBN: 9781412986892.
- 2013. Verifiable Equilibria in Boolean Games. Paper, sider 689-695. I:
- 2013. Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013). AAAI Press. 3253 sider. ISBN: 978-1-57735-633-2.
- 2012. NORMC: a Norm Compliance Temporal Logic Model Checker. artikkel, sider 168-179. I:
- 2012. STAIRS 2012: Proceedings of the Sixth Starting AI Researchers’ Symposium. IOS Press. 376 sider. ISBN: 978-1-61499-095-6.
- 2012. Epistemic Coalition Logic: Completeness and Complexity. artikkel, sider 1099-1106. I:
- 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.
- 2012. Conservative Social Laws. n/a, sider 49-54. I:
- 2012. ECAI 2012: 20th European Conference on Artificial Intelligence, Proceedings. IOS Press. 1056 sider. ISBN: 978-1-61499-097-0.
- 2011. Scientia Potentia Est. Artikkel, sider 735-742. I:
- 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.
- 2010. Optimal social laws. Artikkel, sider 667-674. I:
- 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.
- 2009. A temporal logic of normative systems. Kap. 5, sider 69-104. I:
- 2009. Towards Mathematical Philosophy. Springer. 346 sider. ISBN: 978-1-4020-9083-7.
- 2009. Power in Normative Systems. Artikkel, sider 145-152. I:
- 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.
- 2009. A Temporal Logic of Normative Systems. 69-106. I:
- 2009. Trends in Logic vol 28: Towards Mathematical Philosophy. Springer. 38 sider.
- 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.
- 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.
- 2008. Robust Normative Systems. Artikkel, sider 747-754. I:
- 2008. Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008). ISBN: 978-0-9817381-0-9.
- 2008. Quantifying Over Coalitions in Epistemic Logic. Artikkel, sider 665-672. I:
- 2008. Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008). ISBN: 978-0-9817381-0-9.
- 2008. Coalitions and Announcements. Artikkel, sider 673-680. I:
- 2008. Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008). ISBN: 978-0-9817381-0-9.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 2007. Full and Relative Awareness: A Decidable Logic for Reasoning about Knowledge of Unawareness. Artikkel, sider 6-14. I:
- 2007. Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI). 288 sider. ISBN: 978-2-8746-3077-4.
- 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.
- 2007. Logics for Coalitional Games. Artikkel, sider 3-20. I:
- 2007. A Meeting of the Minds. College Publications. 364 sider. ISBN: 1904987486.
- 2007. Alternating-time Temporal Logics with Irrevocable Strategies. Artikkel, sider 15-24. I:
- 2007. Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI). 288 sider. ISBN: 978-2-8746-3077-4.
- 2007. Towards a proof theory for logics with irrevocable strategies. I:
- 2007. Workshop of the TABLEAUX¿2007 Workshop on Agents, Logic and Theorem Proving.
- 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.
- 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.
- 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.
- 2007. The simple normative systems language. I:
- 2007. Proceedings of the IJCAI 2007 Workshop on Agent Organizations, Models and Simulations (AOMS).
- 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.
- 2007. Quantified Coalition Logic. 1181-1186. I:
- 2007. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007). AAAI Press. 6 sider.
- 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.
- 2007. Completeness and complexity of multi-modal CTL. 75-90. I:
- 2007. Proceedings of the 5th Workshop on Methods for Modalities (M4M5). 16 sider.
- 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.
- 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.
- 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.
- 2006. Strongly complete axiomatizations of ''knowing at most'' in syntactic structures. 57. I:
- 2006. CLIMA IV. Springer. 1 sider.
- 2006. Complete axiomatizations of finite syntactic epistemic states. 33. I:
- 2006. Lecture Notes in Computer Science. Springer. 1 sider.
- 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).
- 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).
- 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.
- 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.
- 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.
- 2004. A note on syntactic characterization of incomplete information in ATEL. I:
- 2004. Proceedings of the First Workshop on Knowledge and Games (KAG 2004).
- 2004. Syntactic knowledge: A logic of reasoning, communication and cooperation. I:
- 2004. Proceedings of the Second European Workshop on Multi-Agent Systems (EUMAS 2004).
- 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.
- 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).
- 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).
Kompetansefelt