Zobrazeno 1 - 10
of 937
pro vyhledávání: '"Dynamic epistemic logic"'
Autor:
Berto, Francesco, author
Publikováno v:
Topics of Thought : The Logic of Knowledge, Belief, Imagination, 2022.
Externí odkaz:
https://doi.org/10.1093/oso/9780192857491.003.0006
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:
Andrea Vestrucci
Publikováno v:
Frontiers in Psychology, Vol 13 (2022)
Externí odkaz:
https://doaj.org/article/bb3e2cc02c9e4b50b3025e1486cc8cd0
Autor:
Wójcik Arkadiusz
Publikováno v:
Studies in Logic, Grammar and Rhetoric, Vol 62, Iss 1, Pp 53-71 (2020)
In this paper we undertake an analysis of the knowability paradox in the light of modal epistemic logics and of the phenomena of unsuccessful updates. The knowability paradox stems from the Church-Fitch observation that the plausible knowability prin
Externí odkaz:
https://doaj.org/article/ab161c1c56af4a89b0367fd2cda2151e
Publikováno v:
IEEE Access, Vol 8, Pp 193621-193631 (2020)
Reasoning about actions and information is one of the most active areas of research in artificial intelligence. In this article, we study the reasoning about actions and information in multi-agent conformant planning, which is an essential branch of
Externí odkaz:
https://doaj.org/article/cdd1f510171240609eb8aad89272e645
Publikováno v:
Vietnam Journal of Computer Science, Vol 6, Iss 1, Pp 29-42 (2019)
Concerning a software tool of legal reasoning, it is important to describe the prediction about the result of a criminal action, because a crime is often caused by the unpredictability of the result of the defendant. In the court, the judge needs to
Externí odkaz:
https://doaj.org/article/0a5b2d3f35034675881625adbe5e89b4
Autor:
Xiaojuan Chen, Huiwen Deng
Publikováno v:
IEEE Access, Vol 7, Pp 29981-29988 (2019)
The security of the cryptographic protocols has always been important to ensure proper implementation of a protocol. To assure protocol security, a number of works for analysis and verification of cryptographic protocols have emerged in the literatur
Externí odkaz:
https://doaj.org/article/14c6526c46e143fc9f3678627812e1f4
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.
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:
Lutskanov, Rosen
Publikováno v:
Balkan Journal of Philosophy. X(2):95-102
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=698645