Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Quentin Canu"'
Publikováno v:
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c94325789d6ca1c119fe8ad5e063d2af
https://doi.org/10.1145/3573105.3575678
https://doi.org/10.1145/3573105.3575678
Publikováno v:
Logic, Rationality, and Interaction ISBN: 9783662602911
LORI
LORI
We present a doxastic logic for multi-agent systems with public group announcements. Beliefs are represented using belief bases and a dynamic of trust is introduced in order to handle belief change under contradictory announcements. We provide a comp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::159b9cfffa26af401c8ef9386c96f58f
https://doi.org/10.1007/978-3-662-60292-8_15
https://doi.org/10.1007/978-3-662-60292-8_15
