Výsledky vyhledávání - "Alechina, N."

Seamless Integration and Testing for MAS Engineering

Autor: Mohajeri Parizi, M., Sileno, G., van Engers, T., Alechina, N., Baldoni, M., Logan, B.

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

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

Zobrazit plný text záznamu

Intention Progression using Quantitative Summary Information

Autor: Yao, Y., Alechina, N., Logan, B., John Thangarajah

Publikováno v: University of Nottingham Ningbo China
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

Zobrazit plný text záznamu

Strategic Responsibility Under Imperfect Information

Autor: Vahid Yazdanpanah, Dastani, M., Jamroga, W., Alechina, N., Logan, B.

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

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

Zobrazit plný text záznamu

A Temporal Logic for Modelling Activities of Daily Living

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.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::265ac09d3d06b80571f32e22bd69b540
https://doi.org/10.4230/lipics.time.2018.17

Zobrazit plný text záznamu

Synthesis of Orchestrations of Transducers for Manufacturing

Autor: Giacomo, G., Vardi, M. Y., Paolo Felli, Alechina, N., Logan, B.

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

Zobrazit plný text záznamu

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.

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.

Akademický článek

Reachability logic: an efficient fragment of transitive closure logic.

Autor: Alechina, N¹, Immerman, N¹

Publikováno v: Logic Journal of the IGPL. 2000, Vol. 8 Issue 3, p325-337. 13p.

Zobrazit plný text záznamu

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.

Verifying heterogeneous multi-agent programs

Autor: Doan, T. T., Yuan Yao, Alechina, N., Logan, B.

Publikováno v: University of Nottingham Ningbo China
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

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9226f5b185dc3efec2e565b5d90faf77
https://igi.indrastra.com/items/show/19159

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání