Zobrazeno 1 - 10
of 62
pro vyhledávání: '"Jan Broersen"'
Autor:
Chao Zhang, Marieke A. Adriaanse, Renske Potgieter, Lars Tummers, John de Wit, Jan Broersen, Marijn de Bruin, Henk Aarts
Publikováno v:
BMC Public Health, Vol 22, Iss 1, Pp 1-17 (2022)
Abstract Background Since the outbreak of the COVID-19 pandemic, physical distancing and hand washing have been used as effective means to reduce virus transmission in the Netherlands. However, these measures pose a societal challenge as they require
Externí odkaz:
https://doaj.org/article/3888e7ec54764353adfcc1fc6a78327b
Autor:
Hein Duijf, Jan Broersen
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 218, Iss Proc. SR 2016, Pp 15-26 (2016)
Quite some work in the ATL-tradition uses the differences between various types of strategies (positional, uniform, perfect recall) to give alternative semantics to the same logical language. This paper contributes to another perspective on strategy
Externí odkaz:
https://doaj.org/article/4839cbe6607f4541a5670ca736be4cd0
Autor:
Aldo Iván Ramírez Abarca, Jan Broersen
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031266218
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::91b58784f7eb7f9081c6d89b0c5c73ef
https://doi.org/10.1007/978-3-031-26622-5_8
https://doi.org/10.1007/978-3-031-26622-5_8
Publikováno v:
Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment. 9:184-190
This paper proposes a Player Age (PA) model with the potential to be generalized to many different games. The model offers insight into the relationship between age and play style. Game developers can use the PA model to gain a better understanding o
Autor:
Aldo Iván Ramírez Abarca, Jan Broersen
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 335:281-294
The formalization of action and obligation using logic languages is a topic of increasing relevance in the field of ethics for AI. Having an expressive syntactic and semantic framework to reason about agents' decisions in moral situations allows for
Autor:
Jan Broersen, Aldo Iván Ramírez Abarca
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030388072
DaLí
DaLí
We characterize four types of agentive knowledge using a stit semantics over branching discrete-time structures. These are ex ante knowledge, ex interim knowledge, ex post knowledge, and know-how. The first three are notions that arose from game-theo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e661b6a9e875ecf18fcff326b627f7db
https://doi.org/10.1007/978-3-030-38808-9_11
https://doi.org/10.1007/978-3-030-38808-9_11
Autor:
Jan Broersen, Aldo Iván Ramírez Abarca
We characterize four types of agentive knowledge using a stit semantics over branching discrete-time structures. These are \emph{ex ante} knowledge, \emph{ex interim} knowledge, \emph{ex post} knowledge, and know-how. The first three are notions that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e8c65734d646ad89cfbdc7ec841d5860
http://arxiv.org/abs/1911.11086
http://arxiv.org/abs/1911.11086
Autor:
Jan Broersen, Hein Duijf
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 218, Iss Proc. SR 2016, Pp 15-26 (2016)
Quite some work in the ATL-tradition uses the differences between various types of strategies (positional, uniform, perfect recall) to give alternative semantics to the same logical language. This paper contributes to another perspective on strategy
Autor:
Jan Broersen
Publikováno v:
KI - Künstliche Intelligenz. 28:209-214
The 2013 ERC-consolidator project “Responsible Intelligent Systems” proposes to develop a formal framework for automating responsibility, liability and risk checking for intelligent systems. The goal is to answer three central questions, correspo
Publikováno v:
Journal of Logic and Computation. 25:159-178