Zobrazeno 1 - 10
of 191
pro vyhledávání: '"Wiebe van der Hoek"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 251, Iss Proc. TARK 2017, Pp 28-42 (2017)
In this paper we introduce global and local announcement logic (GLAL), a dynamic epistemic logic with two distinct announcement operators – [φ]^+_A and [φ] ^-_A indexed to a subset A of the set Ag of all agents – for global and local announceme
Externí odkaz:
https://doaj.org/article/7c8ffd19890648288107c90f74f9f8e4
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 215, Iss Proc. TARK 2015, Pp 51-66 (2016)
Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other's secrets. We consider distributed gossip protocols which are expressed by means of epistemic logic. We provi
Externí odkaz:
https://doaj.org/article/6d484475ef3645d1abe2acd59e627afb
Publikováno v:
Journal of Logic, Language and Information
International Conference on Logic, Rationality and Interaction
JOURNAL OF LOGIC LANGUAGE AND INFORMATION
Logic, Rationality, and Interaction ISBN: 9783662602911
LORI
International Conference on Logic, Rationality and Interaction
JOURNAL OF LOGIC LANGUAGE AND INFORMATION
Logic, Rationality, and Interaction ISBN: 9783662602911
LORI
We define balance games, which describe the formation of friendships and enmity in social networks. We show that if the agents give high priority to future profits over short term gains, all Pareto optimal strategies will eventually result in a balan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::574e0035f579e43483d23fb1f472d135
http://livrepository.liverpool.ac.uk/3089335/1/main.pdf
http://livrepository.liverpool.ac.uk/3089335/1/main.pdf
Publikováno v:
Artificial Intelligence, 313:103793. ELSEVIER SCIENCE BV
Artificial Intelligence
Artificial Intelligence
Preference relations are at the heart of many fundamental concepts in artificial intelligence, ranging from utility comparisons, to defeat among strategies and relative plausibility among states, just to mention a few. Reasoning about such relations
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d226b1e8adfff15591cf12d1997024eb
https://doi.org/10.1016/j.artint.2022.103793
https://doi.org/10.1016/j.artint.2022.103793
Publikováno v:
Games and Economic Behavior. 123:207-209
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::75606e719280898641bcc01ce0157844
https://doi.org/10.1016/j.geb.2020.07.006
https://doi.org/10.1016/j.geb.2020.07.006
Publikováno v:
Artificial Intelligence
Artificial Intelligence, Elsevier, 2020, 286, pp.103306. ⟨10.1016/j.artint.2020.103306⟩
Artificial Intelligence, 2020, 286, pp.103306. ⟨10.1016/j.artint.2020.103306⟩
Artificial Intelligence, Elsevier, 2020, 286, pp.103306. ⟨10.1016/j.artint.2020.103306⟩
Artificial Intelligence, 2020, 286, pp.103306. ⟨10.1016/j.artint.2020.103306⟩
International audience; The so-called gossip problem is a formal model of peer-to-peer communication. In order to perform such communication efficiently, it is important to keep track of what agents know about who holds what information at a given po
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1ed1b66926b81c7ccb1435573e72df90
https://hal.archives-ouvertes.fr/hal-03014091/document
https://hal.archives-ouvertes.fr/hal-03014091/document
Publikováno v:
IJCAI
PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE
PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE
We combine social balance theory with temporal logic to obtain a Logic of Allies and Enemies (LAE), which formally describes the likely changes to a social network due to social pressure. We demonstrate how the rich language of LAE can be used to des
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2690ea46078b2bf9813d4fd724ad47db
https://doi.org/10.24963/ijcai.2020/30
https://doi.org/10.24963/ijcai.2020/30
Publikováno v:
Artificial Intelligence
Artificial Intelligence, Elsevier, 2018, 263, pp.3--45. ⟨10.1016/j.artint.2018.07.004⟩
Artificial Intelligence, 2018, 263, pp.3--45. ⟨10.1016/j.artint.2018.07.004⟩
Artificial Intelligence, Elsevier, 2018, 263, pp.3--45. ⟨10.1016/j.artint.2018.07.004⟩
Artificial Intelligence, 2018, 263, pp.3--45. ⟨10.1016/j.artint.2018.07.004⟩
International audience; In this paper we advance the state-of-the-art on the application of second-order propositional modal logic (SOPML) in the representation of individual and group knowledge, as well as temporal and spatial reasoning. The main th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5945b953a29bcad5f166d38f9c5ec3c4
https://doi.org/10.1016/j.artint.2018.07.004
https://doi.org/10.1016/j.artint.2018.07.004
Publikováno v:
Synthese. 195:4201-4204
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cf6be7436fb3cdd191d7bdd906c20da5
https://doi.org/10.1007/s11229-017-1640-4
https://doi.org/10.1007/s11229-017-1640-4
Publikováno v:
Artificial Intelligence
Artificial Intelligence, 242(1), 80-106. ELSEVIER SCIENCE BV
Artificial Intelligence, 242(1), 80-106. ELSEVIER SCIENCE BV
In this paper we introduce arbitrary arrow update logic (AAUL). The logic AAUL takes arrow update logic, a dynamic epistemic logic where the accessibility relations of agents are updated rather than the set of possible worlds, and adds a quantifier o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b29dce962b96a4a731168331c10a4e88
https://doi.org/10.1016/j.artint.2016.10.003
https://doi.org/10.1016/j.artint.2016.10.003