Zobrazeno 1 - 10
of 63
pro vyhledávání: '"Sedlár, I."'
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:
Barbero, F., Schulz, K., Smets, S., Velázquez-Quesada, F.R., Xie, K., Martins, M.A., Sedlár, I.
Publikováno v:
Dynamic Logic : New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020 : revised selected papers, 17-32
STARTPAGE=17;ENDPAGE=32;TITLE=Dynamic Logic : New Trends and Applications
Lecture Notes in Computer Science ISBN: 9783030658397
DaLí
STARTPAGE=17;ENDPAGE=32;TITLE=Dynamic Logic : New Trends and Applications
Lecture Notes in Computer Science ISBN: 9783030658397
DaLí
This paper proposes a formal framework for modeling the interaction of causal and (qualitative) epistemic reasoning. To this purpose, we extend the notion of a causal model with a representation of the epistemic state of an agent. On the side of the
Publikováno v:
Dynamic Logic : New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020 : revised selected papers, 239-258
STARTPAGE=239;ENDPAGE=258;TITLE=Dynamic Logic : New Trends and Applications
Lecture Notes in Computer Science ISBN: 9783030658397
DaLí
STARTPAGE=239;ENDPAGE=258;TITLE=Dynamic Logic : New Trends and Applications
Lecture Notes in Computer Science ISBN: 9783030658397
DaLí
The idealizations resulting from the use of Kripke semantics in Epistemic Logic are inherited by formalizations of group epistemic notions. For example, distributed knowledge (DK) is often taken to reflect the potential knowledge of a group: what age
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.
Publikováno v:
The Logica Yearbook 2018, 31-56
STARTPAGE=31;ENDPAGE=56;TITLE=The Logica Yearbook 2018
STARTPAGE=31;ENDPAGE=56;TITLE=The Logica Yearbook 2018
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::2cbba20291486e28476a19c432c47a5e
https://dare.uva.nl/personal/pure/en/publications/the-theory-of-topicsensitive-intentional-models(2cdf0cde-f925-482a-9065-823f8c2ea04a).html
https://dare.uva.nl/personal/pure/en/publications/the-theory-of-topicsensitive-intentional-models(2cdf0cde-f925-482a-9065-823f8c2ea04a).html
Publikováno v:
The Logica Yearbook 2018, 229-244
STARTPAGE=229;ENDPAGE=244;TITLE=The Logica Yearbook 2018
STARTPAGE=229;ENDPAGE=244;TITLE=The Logica Yearbook 2018
In this paper, we present a dynamic epistemic logic suitable for resource-bounded agents. Our setting is informed by empirical evidence on deductive reasoning performance and therefore it avoids the problem of logical omniscience. In particular, we i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::0a2a96b5c6c9f96ff41132d834267f3f
https://dare.uva.nl/personal/pure/en/publications/a-dynamic-epistemic-logic-for-resourcebounded-agents(ac3a61bb-581f-43a2-a55a-4683dfcd9ed6).html
https://dare.uva.nl/personal/pure/en/publications/a-dynamic-epistemic-logic-for-resourcebounded-agents(ac3a61bb-581f-43a2-a55a-4683dfcd9ed6).html
Publikováno v:
The Logica Yearbook 2018, 133-148
STARTPAGE=133;ENDPAGE=148;TITLE=The Logica Yearbook 2018
STARTPAGE=133;ENDPAGE=148;TITLE=The Logica Yearbook 2018
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::3d4707db6028cbb3e1a7ef205872d01f
https://dare.uva.nl/personal/pure/en/publications/toward-a-logic-for-neural-networks(f33652fa-b8ae-4640-89e4-d8f3ed9dd510).html
https://dare.uva.nl/personal/pure/en/publications/toward-a-logic-for-neural-networks(f33652fa-b8ae-4640-89e4-d8f3ed9dd510).html
Publikováno v:
The Logica Yearbook 2018, 101-115
STARTPAGE=101;ENDPAGE=115;TITLE=The Logica Yearbook 2018
STARTPAGE=101;ENDPAGE=115;TITLE=The Logica Yearbook 2018
In the context of the problem of logical omniscience, several frameworks have been proposed to model the knowledge of 'real' agents with limited reasoning abilities. One of the most important, awareness logic, relies on the concept of awareness for d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::cffb62f5217a26f6bf85b7998aeb095e
https://dare.uva.nl/personal/pure/en/publications/a-formal-model-for-explicit-knowledge-as-awarenessof-plus-awarenessthat(83eb6df7-d88d-43f2-9c8b-bb839e9918cb).html
https://dare.uva.nl/personal/pure/en/publications/a-formal-model-for-explicit-knowledge-as-awarenessof-plus-awarenessthat(83eb6df7-d88d-43f2-9c8b-bb839e9918cb).html
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.