Zobrazeno 1 - 10
of 180
pro vyhledávání: '"Alechina, N."'
Publikováno v:
Engineering Multi-Agent Systems: 9th International Workshop, EMAS 2021, virtual event, May 3–4, 2021 : revised selected papers, 254-272
STARTPAGE=254;ENDPAGE=272;TITLE=Engineering Multi-Agent Systems
Engineering Multi-Agent Systems ISBN: 9783030974565
STARTPAGE=254;ENDPAGE=272;TITLE=Engineering Multi-Agent Systems
Engineering Multi-Agent Systems ISBN: 9783030974565
Testing undeniably plays a central role in the daily practice of software engineering, and this explains why better and more efficient libraries and services are continuously made available to developers and designers. Could the MAS developers commun
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dce405aa38f145504326fcf5ae39774e
https://doi.org/10.1007/978-3-030-97457-2_15
https://doi.org/10.1007/978-3-030-97457-2_15
Publikováno v:
University of Nottingham Ningbo China
Scopus-Elsevier
Scopus-Elsevier
A key problem for Belief-Desire-Intention (BDI) agents is intention progression, i.e., which plans should be selected and how the execution of these plans should be interleaved so as to achieve the agent’s goals. Monte-Carlo Tree Search (MCTS) has
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6dd909e46d0421878a4590db21a4613a
https://dspace.library.uu.nl/handle/1874/415633
https://dspace.library.uu.nl/handle/1874/415633
Publikováno v:
AAMAS '19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 592-600
STARTPAGE=592;ENDPAGE=600;TITLE=AAMAS '19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems
Scopus-Elsevier
STARTPAGE=592;ENDPAGE=600;TITLE=AAMAS '19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems
Scopus-Elsevier
A central issue in the specification and verification of autonomous agents and multiagent systems is the ascription of responsibility to individual agents and groups of agents. When designing a (multi)agent system, we must specify which agents or gro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::63446efbd88489f756fcd68a0ba6c6c2
https://dspace.library.uu.nl/handle/1874/390908
https://dspace.library.uu.nl/handle/1874/390908
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:
Kließ, M.S., Jonker, C.M., van Riemsdijk, M.B., Alechina, N., Nørvåg, Kjetil, Penczek, Wojciech
Publikováno v:
25th International Symposium on Temporal Representation and Reasoning, TIME 2018
Behaviour support technology is aimed at assisting people in organizing their Activities of Daily Living (ADLs). Numerous frameworks have been developed for activity recognition and for generating specific types of support actions, such as reminders.
Publikováno v:
Scopus-Elsevier
In this paper, we model manufacturing processes and facilities as transducers (automata with output). The problem of whether a given manufacturing process can be realized by a given set of manufacturing resources can then be stated as an orchestratio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5d9c1bb4ed88cf90d30671bdadc16ae8
http://hdl.handle.net/11573/1182867
http://hdl.handle.net/11573/1182867
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:
Alechina, N1, Immerman, N1
Publikováno v:
Logic Journal of the IGPL. 2000, Vol. 8 Issue 3, p325-337. 13p.
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:
University of Nottingham Ningbo China
Scopus-Elsevier
Scopus-Elsevier
We present a new approach to verifying heterogeneous multi-agent programs — multi-agent systems in which the agents are implemented in different (BDI-based) agent programming languages. Our approach is based on meta-APL, a BDI-based agent programmi