Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Ågotnes, Thomas
99  Ergebnisse:
Personensuche X
?
1

Action Models for Coalition Logic:

, In: Lecture Notes in Computer Science; Dynamic Logic. New Trends and Applications,
Galimullin, Rustam ; Ågotnes, Thomas - p. 73-89 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Correction to: The logic of secrets and the interpolation r..:

Xiong, Zuojun ; Ågotnes, Thomas
Annals of Mathematics and Artificial Intelligence.  91 (2023)  6 - p. 899-899 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Quantifying over information change with common knowledge:

Ågotnes, Thomas ; Galimullin, Rustam
Autonomous Agents and Multi-Agent Systems.  37 (2023)  1 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
4

Cautious Distributed Belief:

, In: Lecture Notes in Computer Science; Dynamic Logic. New Trends and Applications,
Lindqvist, John ; Velázquez-Quesada, Fernando R. ; Ågotnes, Thomas - p. 106-124 , 2023
Link: https://doi.org/10.1007/..
 
?
5

A Formal Analysis of Hollis' Paradox:

, In: Logic, Rationality, and Interaction; Lecture Notes in Computer Science,
Ågotnes, Thomas ; Sakama, Chiaki - p. 306-321 , 2023
Link: https://doi.org/10.1007/..
 
?
6

The logic of secrets and the interpolation rule:

Xiong, Zuojun ; Ågotnes, Thomas
Annals of Mathematics and Artificial Intelligence.  91 (2022)  4 - p. 375-407 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Logics with Group Announcements and Distributed Knowledge: ..:

Ågotnes, Thomas ; Alechina, Natasha ; Galimullin, Rustam
Journal of Logic, Language and Information.  31 (2022)  2 - p. 141-166 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Coalition Logic for Specification and Verification of Smart..:

, In: PRIMA 2022: Principles and Practice of Multi-Agent Systems; Lecture Notes in Computer Science,
Galimullin, Rustam ; Ågotnes, Thomas - p. 563-572 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Dynamic Coalition Logic: Granting and Revoking Dictatorial ..:

, In: Logic, Rationality, and Interaction; Lecture Notes in Computer Science,
Galimullin, Rustam ; Ågotnes, Thomas - p. 88-101 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Crossing Hands in the Russian Cards Problem:

, In: Logic, Rationality, and Interaction; Lecture Notes in Computer Science,
Hagland, Tor ; Ågotnes, Thomas - p. 102-110 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Modal Logics and Group Polarization:

Young Pedersen, Mina ; Smets, Sonja ; Ågotnes, Thomas
Journal of Logic and Computation.  31 (2021)  8 - p. 2240-2269 , 2021
Link: https://doi.org/10.1093/..
 
?
12

Quantified Announcements and Common Knowledge:

, In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems,
Galimullin, Rustam ; Ågotnes, Thomas - p. 528-536 , 2021
Link: https://dl.acm.org/doi/1..
 
?
13

Reasoning about strategic voting in modal logic quickly bec..:

Parmann, Erik ; Ågotnes, Thomas
Journal of Logic and Computation.  31 (2021)  4 - p. 1055-1078 , 2021
Link: https://doi.org/10.1093/..
 
?
14

Arbitrary Propositional Network Announcement Logic:

, In: Lecture Notes in Computer Science; Dynamic Logic. New Trends and Applications,
Xiong, Zuojun ; Ågotnes, Thomas - p. 277-293 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Further Steps Towards a Logic of Polarization in Social Net..:

, In: Lecture Notes in Computer Science; Logic and Argumentation,
Pedersen, Mina Young ; Smets, Sonja ; Ågotnes, Thomas - p. 324-345 , 2020
Link: https://doi.org/10.1007/..
 
1-15