Zobrazeno 1 - 10
of 455
pro vyhledávání: '"Infinitely Many Agents"'
Autor:
Regimantas Pliuškevičius
Publikováno v:
Lietuvos Matematikos Rinkinys, Vol 46, Iss spec. (2023)
Cut-free sequent calculus for logic of knowledge with infinitely many agents, based on multimodul S5n.
Externí odkaz:
https://doaj.org/article/a1162de09dec41939ebffd5e072b3cfe
Autor:
Guzmán, Michell, Knight, Sophia, Quintero, Santiago, Ramírez, Sergio, Rueda, Camilo, Valencia, Frank
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming June 2021 121
Autor:
Takayama, Shino, Yokotani, Akira
Publikováno v:
Social Choice and Welfare, 2017 Mar 01. 48(3), 573-598.
Externí odkaz:
http://www.jstor.org/stable/26153997
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Halpern, Joseph Y., Shore, Richard A.
Complete axiomatizations and exponential-time decision procedures are provided for reasoning about knowledge and common knowledge when there are infinitely many agents. The results show that reasoning about knowledge and common knowledge with infinit
Externí odkaz:
http://arxiv.org/abs/cs/9909014
Autor:
Guzmán, Michell, Knight, Sophia, Quintero, Santiago, Ramírez, Sergio, Rueda, Camilo, Valencia, Frank
Publikováno v:
CONCUR 2019-30th International Conference on Concurrency Theory
CONCUR 2019-30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. pp.1-29, ⟨10.4230/LIPIcs.CONCUR.2019.29⟩
CONCUR 2019-30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. pp.1-29, ⟨10.4230/LIPIcs.CONCUR.2019.29⟩
International audience; Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about the distributed information of potentially infi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c46bee04d38ca506ec3386ff88efd606
https://hal.archives-ouvertes.fr/hal-02172415
https://hal.archives-ouvertes.fr/hal-02172415
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Halpern, Joseph Y., Shore, Richard A.
Publikováno v:
In Information and Computation 2004 191(1):1-40
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Santiago Quintero, Camilo Rueda, Michell Guzmán, Frank D. Valencia, Sergio Ramírez, Sophia Knight
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 121:100674
Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about the distributed information of potentially infinite groups. We characte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::330cca12bc0d4797077e12fadf5871e6
https://doi.org/10.1016/j.jlamp.2021.100674
https://doi.org/10.1016/j.jlamp.2021.100674