Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-50 av 154 << Forrige 1 2 3 4    Neste >>

2020
1 Parmann, Erik; Ågotnes, Thomas.
Reasoning about strategic voting in modal logic quickly becomes undecidable. Journal of Logic and Computation 2020
UiB Untitled
 
2 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. s. 324-345
UiB Untitled
 
3 Wang, Yi N.; Ågotnes, Thomas.
Simpler Completeness Proofs for Modal Logics with Intersection. Lecture Notes in Computer Science (LNCS) 2020 ;Volum 12569. s. 259-276
UiB Untitled
 
4 Xiong, Zuojun; Ågotnes, Thomas.
Arbitrary Propositional Network Announcement Logic. Lecture Notes in Computer Science (LNCS) 2020 ;Volum 12569. s. 277-293
UiB Untitled
 
5 Å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. s. 3-21
UiB Untitled
 
6 Ågotnes, Thomas; Wang, Yi N..
Group belief. Journal of Logic and Computation 2020
UiB Untitled
 
2019
7 Galimullin, Rustam; Ågotnes, Thomas; Alechina, Natasha.
Group Announcement Logic with Distributed Knowledge. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11813 LNCS. s. 98-111
UiB Untitled
 
8 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. s. 183-198
UiB Untitled
 
9 Xiong, Zuojun; Ågotnes, Thomas.
On the logic of balance in social networks. Journal of Logic, Language and Information 2019 ;Volum 29. s. 53-75
UiB Untitled
 
2018
10 Ågotnes, Thomas; Liao, Beishui; Wáng, Yi N..
Logic and argumentation. Journal of Applied Non-Classical Logics (JANCL) 2018 ;Volum 28.(2-3) s. 163-164
UiB Untitled
 
2017
11 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
 
12 Xiong, Zuojun; Ågotnes, Thomas; Seligman, Jeremy; Zhu, Rui.
Towards a logic of Tweeting. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10445 LNCS. s. 49-64
UiB Untitled
 
13 Ågotnes, Thomas; van Ditmarsch, Hans P.; Wang, Yanjing.
True lies. Synthese 2017 s. 1-35
UiB Untitled
 
14 Ågotnes, Thomas; Wang, Yi.
Resolving distributed knowledge. Artificial Intelligence 2017 ;Volum 252. s. 1-21
UiB Untitled
 
2016
15 Ågotnes, Thomas; Alechina, Natasha.
Coalition logic with individual, distributed and common knowledge. Journal of Logic and Computation 2016
UiB Untitled
 
16 Ågotnes, Thomas; Bonanno, Giacomo; van der Hoek, Wiebe.
Introduction to the special issue. Synthese 2016 ;Volum 193.(3) s. 659-662
UiB Untitled
 
17 Ågotnes, Thomas; Bonanno, Giacomo; Van der hoek, Wiebe.
Introduction to the special issue. Journal of Logic and Computation 2016
UiB Untitled
 
18 Ågotnes, Thomas; van Ditmarsch, Hans P.; French, Tim.
The undecidability of quantified announcements. Studia Logica: An International Journal for Symbolic Logic 2016 ;Volum 104.(4) s. 597-640
UiB Untitled
 
19 Ågotnes, Thomas; Wang, Yi N..
Resolving distributed knowledge. Electronic Proceedings in Theoretical Computer Science (EPTCS) 2016 ;Volum 215. s. 31-50
UiB Untitled
 
2015
20 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 s.
UiB Untitled
 
21 Pedersen, Truls Andre; Dyrkolbotn, Sjur Kristoffer; Ågotnes, Thomas.
Reasoning about reasons behind preferences using modal logic. Information Systems Frontiers 2015 ;Volum 17.(4) s. 713-724
UiB Untitled
 
22 Wáng, Yi N.; Ågotnes, Thomas.
Relativized common knowledge for dynamic epistemic logic. Journal of Applied Logic 2015 ;Volum 13.(3) s. 370-393
UiB Untitled
 
23 Å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. s. 1-22
UiB Untitled
 
24 Å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. s. 543-589
UiB Untitled
 
2014
25 Kazmierczak, Piotr Henryk; Ågotnes, Thomas; Jamroga, Wojciech.
Multi-agency is coordination and (limited) communication. Lecture Notes in Computer Science (LNCS) 2014 ;Volum 8861. s. 91-106
UiB Untitled
 
26 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 ;Volum 24.(6) s. 1141-1144
UiB Untitled
 
27 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. s. 1573-1574
UiB Untitled
 
28 Slavkovik, Marija; Ågotnes, Thomas.
Measuring Dissimilarity between Judgment Sets. Lecture Notes in Computer Science (LNCS) 2014 ;Volum 8761. s. 609-617
UiB Untitled
 
29 Ågotnes, Thomas.
Logic and Games: An Introduction. Studia Logica: An International Journal for Symbolic Logic 2014 ;Volum 102.(2) s. 231-234
UiB Untitled
 
30 Ågotnes, Thomas; Alechina, Natasha.
A logic for reasoning about knowledge of unawareness. Journal of Logic, Language and Information 2014 ;Volum 23.(2) s. 197-217
UiB Untitled
 
31 Ågotnes, Thomas; Alechina, Natasha.
Formal models of awareness. Journal of Logic, Language and Information 2014 ;Volum 23.(2) s. 105-106
UiB Untitled
 
32 Ågotnes, Thomas; bulling, nils.
Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332). : Dagstuhl Reports 2014 ;Volum 4.23 s. Dagstuhl Reports(8)
UiB Untitled
 
33 Ågotnes, Thomas; Lakemeyer, Gerhard; Löwe, Benedikt; Nebel, Bernhard.
Planning with epistemic goals (Dagstuhl Seminar 14032). : Dagstuhl Reports 2014 ;Volum 4.20 s. Dagstuhl Reports(1)
UiB Untitled
 
34 Å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. s. 451-485
UiB Untitled
 
35 Å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. s. 893-900
UiB Untitled
 
2013
36 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 ;Volum 8068. s. 120-134
UiB Untitled
 
37 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. s. 1155-1161
HVL UiB Untitled
 
38 Wang, Yi; Ågotnes, Thomas.
Preference Logic of Focus Change: A Semantic Approach. Lecture Notes in Computer Science (LNCS) 2013 ;Volum 8068. s. 225-239
UiB Untitled
 
39 Wang, Yi; Ågotnes, Thomas.
Public announcement logic with distributed knowledge: expressivity, completeness and complexity. Synthese 2013 ;Volum 190.(1) s. 135-162
HVL UiB Untitled
 
40 Wang, Yi; Ågotnes, Thomas.
Public Announcements, Private Actions and Common Knowledge in S5 Structures. Lecture Notes in Computer Science (LNCS) 2013 ;Volum 8196. s. 267-281
HVL UiB Untitled
 
41 Wang, Yi; Ågotnes, Thomas.
Subset space public announcement logic. Lecture Notes in Computer Science (LNCS) 2013 ;Volum 7750. s. 245-257
HVL UiB Untitled
 
42 Ågotnes, Thomas.
Coalition Logic. I: Encyclopedia of Philosophy and the Social Sciences. Sage Publications 2013 ISBN 9781412986892.
UiB Untitled
 
43 Ågotnes, Thomas; Harrenstein, Paul; Van der hoek, Wiebe; Wooldridge, Michael.
Boolean games with epistemic goals. Lecture Notes in Computer Science (LNCS) 2013 ;Volum 8196. s. 1-14
UiB Untitled
 
44 Ågotnes, Thomas; Harrenstein, Paul; Van der hoek, Wiebe; Wooldridge, Michael.
Verifiable Equilibria in Boolean Games. I: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013). AAAI Press 2013 ISBN 978-1-57735-633-2. s. 689-695
UiB Untitled
 
2012
45 Parmann, Erik; Ågotnes, Thomas.
Modal Logics for Social Choice and Undecidability. 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2012); 2012-06-18 - 2012-06-20
HVL UiB Untitled
 
46 Piotr, Kazmierczak; Pedersen, Truls Andre; Ågotnes, Thomas.
NORMC: a Norm Compliance Temporal Logic Model Checker. I: STAIRS 2012: Proceedings of the Sixth Starting AI Researchers’ Symposium. IOS Press 2012 ISBN 978-1-61499-095-6. s. 168-179
UiB Untitled
 
47 Ågotnes, Thomas; Alechina, Natasha.
Epistemic Coalition Logic: Completeness and Complexity. I: Proceedings of the Eleventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012). The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) 2012 ISBN 0-9817381-3-3. s. 1099-1106
UiB Untitled
 
48 Ågotnes, Thomas; broersen, jan; Elgesem, Dag.
Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings. Springer 2012 (ISBN 978-3-642-31569-5) ;Volum 7393.214 s. Lecture Notes in Computer Science(1)
UiB Untitled
 
49 Ågotnes, Thomas; van Benthem, Johan; Van ditmarsch, Hans; Minica, Stefan.
Question-Answer Games. Journal of Applied Non-Classical Logics (JANCL) 2012 ;Volum 21.(3-4) s. 265-288
UiB Untitled
 
50 Ågotnes, Thomas; Van der hoek, Wiebe; Wooldridge, Michael.
Conservative Social Laws. I: ECAI 2012: 20th European Conference on Artificial Intelligence, Proceedings. IOS Press 2012 ISBN 978-1-61499-097-0. s. 49-54
UiB Untitled
 
    Vis neste liste