Zobrazeno 1 - 10
of 3 306
pro vyhledávání: '"Dynamic epistemic logic"'
Logics for resource-bounded agents have been getting more and more attention in recent years since they provide us with more realistic tools for modelling and reasoning about multi-agent systems. While many existing approaches are based on the idea o
Externí odkaz:
http://arxiv.org/abs/2401.13369
Autor:
Wirsing, Martin1 (AUTHOR), Knapp, Alexander2 (AUTHOR) alexander.knapp@uni-a.de
Publikováno v:
Logic Journal of the IGPL. Dec2023, Vol. 31 Issue 6, p1047-1068. 22p.
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:
Miedema, Daniel, Gattinger, Malvin
Publikováno v:
EPTCS 379, 2023, pp. 407-420
Binary decision diagrams (BDDs) are widely used to mitigate the state-explosion problem in model checking. A variation of BDDs are Zero-suppressed Decision Diagrams (ZDDs) which omit variables that must be false, instead of omitting variables that do
Externí odkaz:
http://arxiv.org/abs/2307.05067
Autor:
Belardinelli, Gaia, Bolander, Thomas
Attention is the crucial cognitive ability that limits and selects what information we observe. Previous work by Bolander et al. (2016) proposes a model of attention based on dynamic epistemic logic (DEL) where agents are either fully attentive or no
Externí odkaz:
http://arxiv.org/abs/2303.13494
Autor:
Soler-Toscano, Fernando1 fsoler@us.es
Publikováno v:
Andamios. sep-dic2023, Vol. 20 Issue 53, p205-232. 28p.
In dynamic epistemic logic (Van Ditmarsch, Van Der Hoek, & Kooi, 2008) it is customary to use an action frame (Baltag & Moss, 2004; Baltag, Moss, & Solecki, 1998) to describe different views of a single action. In this article, action frames are exte
Externí odkaz:
http://arxiv.org/abs/2211.02452
This manuscript studies actions of communication between epistemic logic agents. It starts by looking into actions through which all/some agents share all their information, defining the model operation that transforms the model, discussing its prope
Externí odkaz:
http://arxiv.org/abs/2210.04656
Autor:
Leustean, Ioana, Macovei, Bogdan
The formal analysis of security protocols is a challenging field, with various approaches being studied nowadays. The famous Burrows-Abadi-Needham Logic was the first logical system aiming to validate security protocols. Combining ideas from previous
Externí odkaz:
http://arxiv.org/abs/2109.05599