Zobrazeno 1 - 10 of 76 pro vyhledávání: '"Thomas Ågotnes"'
1
Akademický článek
Resolving Distributed Knowledge
Autor: Thomas Ågotnes, Yì N. Wáng
Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 215, Iss Proc. TARK 2015, Pp 31-50 (2016)
Distributed knowledge is the sum of the knowledge in a group; what someone who is able to discern between two possible worlds whenever any member of the group can discern between them, would know. Sometimes distributed knowledge is referred to as the
Externí odkaz: https://doaj.org/article/7d273b496bd74d448bbfde1a03805ee6
Zobrazit plný text záznamu
4
Quantifying over information change with common knowledge
Autor: Thomas Ågotnes, Rustam Galimullin
Publikováno v: Autonomous Agents and Multi-Agent Systems
Public announcement logic (PAL) extends multi-agent epistemic logic with dynamic operators modelling the effects of public communication. Allowing quantification over public announcements lets us reason about the existence of an announcement that rea
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ea56a8bbf03018bc80eb111f2d54d6a
https://hdl.handle.net/11250/3075966
Zobrazit plný text záznamu
8
Somebody Knows
Autor: Thomas Ågotnes, Yì N. Wáng
Publikováno v: Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning.
Several different notions of group knowledge have been extensively studied in the epistemic and doxastic logic literature, including common knowledge, general knowledge (everybody-knows) and distributed knowledge. In this paper we study a natural not
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::434fc489d77efb0408dc6da5a7155268
https://doi.org/10.24963/kr.2021/1
Zobrazit plný text záznamu
9
On the Logic of Balance in Social Networks
Autor: Zuojun Xiong, Thomas Ågotnes
Publikováno v: Journal of Logic, Language and Information. 29:53-75
Modal logics for reasoning about social networks is currently an active field of research. There is still a gap, however, between the state of the art in logical formalisations of concepts related to social networks and the much more mature field of
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d468d6e4355d0b87e2e821d94127812b
https://doi.org/10.1007/s10849-019-09297-0
Zobrazit plný text záznamu
10
Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers
Autor: Thomas Ågotnes, Rustam Galimullin
Publikováno v: Logic, Rationality, and Interaction ISBN: 9783030887070
LORI
One of the classic formalisms for reasoning about multi-agent coalitional ability is coalition logic (CL). In CL it is possible to express what a coalition can achieve in the next step no matter what agents outside of the coalition do at the same tim
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::114fb67384df2ac1c453f7c8cc5bec8a
https://doi.org/10.1007/978-3-030-88708-7_7
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje