Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Malvin Gattinger"'
Autor:
Malvin Gattinger, Yanjing Wang
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 297, Iss Proc. TARK 2019, Pp 206-220 (2019)
In standard epistemic logic, knowing that p is the same as knowing that p is true, but it does not say anything about understanding p or knowing its meaning. In this paper, we present a conservative extension of Public Announcement Logic (PAL) in whi
Externí odkaz:
https://doaj.org/article/cc20b7fae7db46df9fd68c8d824b98e4
Publikováno v:
ICAART (1)
Proceedings of the 12th International Conference on Agents and Artificial Intelligence: ICAART (2020), 1, 161-168
Proceedings of the 12th International Conference on Agents and Artificial Intelligence: ICAART (2020), 1, 161-168
We study wireless ad-hoc networks from an agent-based perspective. In our model agents with different strategies such as being selfish, tit-for-tat or battery-based compete and cooperate. If only different levels of selfishness are allowed then being
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c26b67ef9b1437897dab3b47195b0b35
https://research.rug.nl/en/publications/4e84ea19-8aa2-449b-8c49-1bdfde18db32
https://research.rug.nl/en/publications/4e84ea19-8aa2-449b-8c49-1bdfde18db32
Publikováno v:
Studia Logica, 111(3). Springer Netherlands
ArXiv. Cornell University Press
ArXiv. Cornell University Press
A gossip protocol is a procedure for sharing secrets in a network. The basic action in a gossip protocol is a pairwise message exchange (telephone call) wherein the calling agents exchange all the secrets they know. An agent who knows all secrets is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::95a7b33754bcfa891cf7c063f7b00d7e
Publikováno v:
Journal of Logic and Computation, 28(2), 367-402. Oxford University Press
Journal of Logic and Computation, 28(2), 367-402
Journal of Logic and Computation, 28(2), 367-402
Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, existing DEL implementations are ad-hoc, so we do not know how the framework really performs. For this purpose, we want to hook up with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a8983287c85cd19833e94ada2ebd659d
https://doi.org/10.1093/logcom/exx038
https://doi.org/10.1093/logcom/exx038
Publikováno v:
Journal of Applied Logics
Scopus-Elsevier
Journal of Applied Logic, 6(1)
University of Groningen
Scopus-Elsevier
Journal of Applied Logic, 6(1)
University of Groningen
Distributed dynamic gossip is a generalization of the classic telephone problem in which agents communicate to share secrets, with the additional twist that also telephone numbers are exchanged to determine who can call whom. Recent work focused on t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ba067a69dc71f7f40d1bd14c53a3b978
Autor:
Malvin Gattinger
Publikováno v:
Malvin Gattinger
Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, its existing implementations are based on explicit model checking which can only deal with small models, so we do not know how DEL perf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2dbfe9167163346c5329d1702c6608d4
https://dare.uva.nl/personal/pure/en/publications/new-directions-in-model-checking-dynamic-epistemic-logic(74ef40e9-42e7-45e1-b2b8-0cca7bc31a0f).html
https://dare.uva.nl/personal/pure/en/publications/new-directions-in-model-checking-dynamic-epistemic-logic(74ef40e9-42e7-45e1-b2b8-0cca7bc31a0f).html
Publikováno v:
Logic, Rationality, and Interaction ISBN: 9783662485606
LORI
Logic, Rationality, and Interaction; 5th International Workshop, LORI 2015
Logic, Rationality, and Interaction; 5th International Workshop, LORI 2015, 2015, Taipei, Taiwan. pp.366--378, ⟨10.1007/978-3-662-48561-3_30⟩
Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings, 366-378
STARTPAGE=366;ENDPAGE=378;TITLE=Logic, Rationality, and Interaction
LORI
Logic, Rationality, and Interaction; 5th International Workshop, LORI 2015
Logic, Rationality, and Interaction; 5th International Workshop, LORI 2015, 2015, Taipei, Taiwan. pp.366--378, ⟨10.1007/978-3-662-48561-3_30⟩
Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings, 366-378
STARTPAGE=366;ENDPAGE=378;TITLE=Logic, Rationality, and Interaction
International audience; Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, existing DEL implementations are ad-hoc, so we do not know how the framework really performs. For this purpose,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a24afa8b9b63a9a12e3cce2a20538db5
https://zenodo.org/record/1435187
https://zenodo.org/record/1435187