Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


Showing results 1-50 of 166 << Previous 1 2 3 4    Next >>

2023
1 Galimullin, Rustam; Ågotnes, Thomas.
Action Models for Coalition Logic. I: Dynamic Logic. New Trends and Applications. Springer 2023 ISBN 978-3-031-26622-5. p. 73-89
UiB Untitled
 
2 Lindqvist, John Elias; Velázquez-Quesada, Fernando R.; Ågotnes, Thomas.
Cautious Distributed Belief. I: Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLi 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers. Springer 2023 ISBN 978-3-031-26621-8. p. 106-124
UiB Untitled
 
3 Xiong, Zuojun; Ågotnes, Thomas.
Correction to: The logic of secrets and the interpolation rule (Annals of Mathematics and Artificial Intelligence, (2022), 10.1007/s10472-022-09815-0). Annals of Mathematics and Artificial Intelligence 2023 p. -
UiB Untitled
 
4 Ågotnes, Thomas; Galimullin, Rustam.
Quantifying over information change with common knowledge. Autonomous Agents and Multi-Agent Systems 2023 ;Volume 37.(1) p. -
UiB Untitled
 
5 Ågotnes, Thomas; Sakama, Chiaki.
A Formal Analysis of Hollis’ Paradox. Lecture Notes in Computer Science (LNCS) 2023 ;Volume 14329. p. 306-321
UiB Untitled
 
2022
6 Galimullin, Rustam; Ågotnes, Thomas.
Coalition Logic for Specification and Verification of Smart Contract Upgrades. I: PRIMA 2022: Principles and Practice of Multi-Agent Systems - 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings. Springer 2022 ISBN 978-3-031-21203-1. p. 563-572
UiB Untitled
 
7 Xiong, Zuojun; Ågotnes, Thomas.
The logic of secrets and the interpolation rule. Annals of Mathematics and Artificial Intelligence 2022
UiB Untitled
 
8 Ågotnes, Thomas; Alechina, Natasha; Galimullin, Rustam.
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. Journal of Logic, Language and Information 2022 ;Volume 31.(2) p. 141-166
UiB Untitled
 
2021
9 Galimullin, Rustam; Ågotnes, Thomas.
Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. I: Logic, Rationality, and Interaction 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, Proceedings. Springer Berlin/Heidelberg 2021 ISBN 978-3-030-88707-0. p. 88-101
UiB Untitled
 
10 Galimullin, Rustam; Ågotnes, Thomas.
Quantified Announcements and Common Knowledge. I: AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021. The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) 2021 ISBN 978-1-4503-8307-3. p. 528-536
UiB Untitled
 
11 Pedersen, Mina Young; Smets, Sonja; Ågotnes, Thomas.
Modal Logics and Group Polarization. Journal of Logic and Computation 2021 ;Volume 31.(8) p. 2240-2269
UiB Untitled
 
12 Ågotnes, Thomas; Wang, Yi.
Somebody Knows. I: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR2021). : International Joint Conferences on Artificial Intelligence Organization (IJCAI) 2021 ISBN 978-1-956792-99-7. p. 2-11
UiB Untitled
 
2020
13 Parmann, Erik; Ågotnes, Thomas.
Reasoning about strategic voting in modal logic quickly becomes undecidable. Journal of Logic and Computation 2020
UiB Untitled
 
14 Pedersen, Mina Young; Smets, Sonja; Ågotnes, Thomas.
Further Steps Towards a Logic of Polarization in Social Networks. I: Logic and Argumentation Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings. Springer 2020 ISBN 978-3-030-44637-6. p. 324-345
UiB Untitled
 
15 Wang, Yi N.; Ågotnes, Thomas.
Simpler Completeness Proofs for Modal Logics with Intersection. Lecture Notes in Computer Science (LNCS) 2020 ;Volume 12569. p. 259-276
UiB Untitled
 
16 Xiong, Zuojun; Ågotnes, Thomas.
Arbitrary Propositional Network Announcement Logic. Lecture Notes in Computer Science (LNCS) 2020 ;Volume 12569. p. 277-293
UiB Untitled
 
17 Ågotnes, Thomas; Wang, Yi N..
Group Belief. I: Logic and Argumentation Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings. Springer 2020 ISBN 978-3-030-44637-6. p. 3-21
UiB Untitled
 
18 Ågotnes, Thomas; Wang, Yi N..
Group belief. Journal of Logic and Computation 2020
UiB Untitled
 
2019
19 Galimullin, Rustam; Ågotnes, Thomas; Alechina, Natasha.
Group Announcement Logic with Distributed Knowledge. Lecture Notes in Computer Science (LNCS) 2019 ;Volume 11813 LNCS. p. 98-111
UiB Untitled
 
20 Pedersen, Mina Young; Smets, Sonja; Ågotnes, Thomas.
Analyzing Echo Chambers: A Logic of Strong and Weak Ties. I: Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings. Springer Berlin/Heidelberg 2019 ISBN 978-3-662-60291-1. p. 183-198
UiB Untitled
 
21 Xiong, Zuojun; Ågotnes, Thomas.
On the logic of balance in social networks. Journal of Logic, Language and Information 2019 ;Volume 29. p. 53-75
UiB Untitled
 
2018
22 Ågotnes, Thomas; Liao, Beishui; Wáng, Yi N..
Logic and argumentation. Journal of Applied Non-Classical Logics (JANCL) 2018 ;Volume 28.(2-3) p. 163-164
UiB Untitled
 
2017
23 Xiong, Zuojun.
On the Logic of Multicast Messaging and Balance in Social Networks. : University of Bergen 2017 (ISBN 978-82-308-3928-7)
UiB Untitled
 
24 Xiong, Zuojun; Ågotnes, Thomas; Seligman, Jeremy; Zhu, Rui.
Towards a logic of Tweeting. Lecture Notes in Computer Science (LNCS) 2017 ;Volume 10445 LNCS. p. 49-64
UiB Untitled
 
25 Ågotnes, Thomas; van Ditmarsch, Hans P.; Wang, Yanjing.
True lies. Synthese 2017 p. 1-35
UiB Untitled
 
26 Ågotnes, Thomas; Wang, Yi.
Resolving distributed knowledge. Artificial Intelligence 2017 ;Volume 252. p. 1-21
UiB Untitled
 
2016
27 Ågotnes, Thomas; Alechina, Natasha.
Coalition logic with individual, distributed and common knowledge. Journal of Logic and Computation 2016
UiB Untitled
 
28 Ågotnes, Thomas; Bonanno, Giacomo; van der Hoek, Wiebe.
Introduction to the special issue. Synthese 2016 ;Volume 193.(3) p. 659-662
UiB Untitled
 
29 Ågotnes, Thomas; Bonanno, Giacomo; Van der hoek, Wiebe.
Introduction to the special issue. Journal of Logic and Computation 2016
UiB Untitled
 
30 Ågotnes, Thomas; van Ditmarsch, Hans P.; French, Tim.
The undecidability of quantified announcements. Studia Logica: An International Journal for Symbolic Logic 2016 ;Volume 104.(4) p. 597-640
UiB Untitled
 
31 Ågotnes, Thomas; Wang, Yi N..
Resolving distributed knowledge. Electronic Proceedings in Theoretical Computer Science (EPTCS) 2016 ;Volume 215. p. 31-50
UiB Untitled
 
2015
32 Kaźmierczak, Piotr.
Agents that Play by the Rules: Using Social Laws for Coordination of Multi-Agent Systems. : Universitetet i Bergen 2015 (ISBN 978-82-308-2657-7) 129 p.
UiB Untitled
 
33 Pedersen, Truls Andre; Dyrkolbotn, Sjur Kristoffer; Ågotnes, Thomas.
Reasoning about reasons behind preferences using modal logic. Information Systems Frontiers 2015 ;Volume 17.(4) p. 713-724
UiB Untitled
 
34 Wáng, Yi N.; Ågotnes, Thomas.
Relativized common knowledge for dynamic epistemic logic. Journal of Applied Logic 2015 ;Volume 13.(3) p. 370-393
UiB Untitled
 
35 Ågotnes, Thomas; Alechina, Natasha.
Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection. I: Modality, Semantics and Interpretations. Springer 2015 ISBN 978-3-662-47196-8. p. 1-22
UiB Untitled
 
36 Ågotnes, Thomas; Goranko, Valentin; Jamroga, Wojciech; Wooldridge, Michael.
Knowledge and Ability. I: Handbook of Epistemic Logic. College Publications 2015 ISBN 978-1-84890-158-2. p. 543-589
UiB Untitled
 
2014
37 Kazmierczak, Piotr Henryk; Ågotnes, Thomas; Jamroga, Wojciech.
Multi-agency is coordination and (limited) communication. Lecture Notes in Computer Science (LNCS) 2014 ;Volume 8861. p. 91-106
UiB Untitled
 
38 Leite, J.; Torroni, P.; Ågotnes, Thomas; Boella, G.; van der Torre, L..
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII). Journal of Logic and Computation 2014 ;Volume 24.(6) p. 1141-1144
UiB Untitled
 
39 Slavkovik, Marija; Ågotnes, Thomas.
A Judgment Set Similarity Measure Based on Prime Implicants. I: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems. The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) 2014 ISBN 978-1-4503-2738-1. p. 1573-1574
UiB Untitled
 
40 Slavkovik, Marija; Ågotnes, Thomas.
Measuring Dissimilarity between Judgment Sets. Lecture Notes in Computer Science (LNCS) 2014 ;Volume 8761. p. 609-617
UiB Untitled
 
41 Ågotnes, Thomas.
Logic and Games: An Introduction. Studia Logica: An International Journal for Symbolic Logic 2014 ;Volume 102.(2) p. 231-234
UiB Untitled
 
42 Ågotnes, Thomas; Alechina, Natasha.
A logic for reasoning about knowledge of unawareness. Journal of Logic, Language and Information 2014 ;Volume 23.(2) p. 197-217
UiB Untitled
 
43 Ågotnes, Thomas; Alechina, Natasha.
Formal models of awareness. Journal of Logic, Language and Information 2014 ;Volume 23.(2) p. 105-106
UiB Untitled
 
44 Ågotnes, Thomas; bulling, nils.
Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). : Dagstuhl Reports 2014 ;Volume 4.23 p. Dagstuhl Reports(8)
UiB Untitled
 
45 Ågotnes, Thomas; Lakemeyer, Gerhard; Löwe, Benedikt; Nebel, Bernhard.
Planning with epistemic goals (Dagstuhl Seminar 14032). : Dagstuhl Reports 2014 ;Volume 4.20 p. Dagstuhl Reports(1)
UiB Untitled
 
46 Ågotnes, Thomas; Van ditmarsch, Hans.
Knowledge Games and Coalitional Abilities. I: Johan van Benthem on Logic and Information Dynamics. Springer Science+Business Media B.V. 2014 ISBN 978-3-319-06024-8. p. 451-485
UiB Untitled
 
47 Ågotnes, Thomas; Van ditmarsch, Hans; French, Tim.
The Undecidability of Group Announcements. I: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems. The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) 2014 ISBN 978-1-4503-2738-1. p. 893-900
UiB Untitled
 
2013
48 Pedersen, Truls Andre; Dyrkolbotn, Sjur Kristoffer; Ågotnes, Thomas.
Reasonably Rational: Reasoning about Reasons Behind Preferences Using Modal Logic. Lecture Notes in Computer Science (LNCS) 2013 ;Volume 8068. p. 120-134
UiB Untitled
 
49 Wang, Yi; Ågotnes, Thomas.
Multi-agent subset space logic. I: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013). AAAI Press 2013 ISBN 978-1-57735-633-2. p. 1155-1161
HVL UiB Untitled
 
50 Wang, Yi; Ågotnes, Thomas.
Preference Logic of Focus Change: A Semantic Approach. Lecture Notes in Computer Science (LNCS) 2013 ;Volume 8068. p. 225-239
UiB Untitled
 
    Show next list