Zobrazeno 1 - 10
of 94
pro vyhledávání: '"Natasha Alechina"'
Autor:
Rustam Galimullin, Natasha Alechina
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 251, Iss Proc. TARK 2017, Pp 207-220 (2017)
Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other's knowledge have been studied extensively in recent years. Two notable examples of such logics are Group Announcement Logic and Coalition
Externí odkaz:
https://doaj.org/article/4aa81407b488449b8faa322eeb09e90e
Publikováno v:
Journal of Artificial Intelligence Research. 76:527-565
We propose a logic of east and west (LEW ) for points in 1D Euclidean space. It formalises primitive direction relations: east (E), west (W) and indeterminate east/west (Iew). It has a parameter τ ∈ N>1, which is referred to as the level of indete
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::970f2814cb7b961a237c2abdc51a5447
https://doi.org/10.1613/jair.1.14113
https://doi.org/10.1613/jair.1.14113
Publikováno v:
Journal of Logic and Computation.
Group announcement logic (GAL) and coalition announcement logic (CAL) allow us to reason about whether it is possible for groups and coalitions of agents to achieve their desired epistemic goals through truthful public communication. The difference b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9c31c23fe3eb3daa13852d04bf27bcd2
https://doi.org/10.1093/logcom/exac082
https://doi.org/10.1093/logcom/exac082
Publikováno v:
AAAI
The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020
The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, Feb 2020, New York, United States
HAL
The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020
The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, Feb 2020, New York, United States
HAL
International audience; It is often advantageous to be able to extract resource requirements in resource logics of strategic ability, rather than to verify whether a fixed resource requirement is sufficient for achieving a goal. We study Parameterise
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ea6db441809312c47db59626e6e0896e
https://doi.org/10.1609/aaai.v34i05.6189
https://doi.org/10.1609/aaai.v34i05.6189
Autor:
Tomáš Brázdil, Brian Logan, Moshe Y. Vardi, Natasha Alechina, Giuseppe De Giacomo, Paolo Felli
Publikováno v:
AAAI
Scopus-Elsevier
Scopus-Elsevier
There has recently been increasing interest in using reactive synthesis techniques to automate the production of manufacturing process plans. Previous work has assumed that the set of manufacturing resources is known and fixed in advance. In this pap
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::749a4efffb7ec70b7f4291c0607812ab
https://doi.org/10.1609/aaai.v33i01.33012646
https://doi.org/10.1609/aaai.v33i01.33012646
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 9th International Workshop on Logic, Rationality, and Interaction, LORI 2023, held in Jinan, China, in October 2023.The 15 full papers presented together with 7 sh
Autor:
Natasha Alechina, Thomas Ågotnes
Publikováno v:
Journal of Logic and Computation. 29:1041-1069
Coalition logic is currently one of the most popular logics for multi-agent systems. While logics combining coalitional and epistemic operators have received considerable attention, completeness results for epistemic extensions of coalition logic hav
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::03696f3094a0f1e7ed69146707b99384
https://doi.org/10.1093/logcom/exv085
https://doi.org/10.1093/logcom/exv085
Publikováno v:
Journal of Artificial Intelligence Research. 62:433-458
We consider the problem of detecting norm violations in open multi-agent systems (MAS). We show how, using ideas from scrip systems, we can design mechanisms where the agents comprising the MAS are incentivised to monitor the actions of other agents
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::677aed2638eaffb4f2c884690db1968c
https://doi.org/10.1613/jair.1.11214
https://doi.org/10.1613/jair.1.11214
This book constitutes revised selected papers from the 9th International Workshop on Engineering Multi-Agent Systems, EMAS 2021, which was held during May 3-4, 2021. The conference was initially planned to take place in London, UK, but changed to an
Publikováno v:
Journal of Computer and System Sciences. 88:126-144
© 2017 The Authors Several logics for expressing coalitional ability under resource bounds have been proposed and studied in the literature. Previous work has shown that if only consumption of resources is considered or the total amount of resources
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bbb2039b6bc61693f8205c66e2d2cf05
https://doi.org/10.1016/j.jcss.2017.03.008
https://doi.org/10.1016/j.jcss.2017.03.008