Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Agents and Robots for Reliable Engineered Autonomy
| Agents and Robots for Reliable Engineered Autonomy |
| Autore | Cardoso Rafael C |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica | 1 electronic resource (150 p.) |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
belief-desire-intention (BDI)
jason robot operating system (ROS) robotic agents collective autonomy self-organisation aggregate computing multi-agent systems coordination robotics software engineering verification and validation human-agent interaction Rules of the Road Autonomous Vehicles agents model checking self-driving vehicle formal verification rational agent decision-making ROS |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557485603321 |
Cardoso Rafael C
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Multi-Agent Programming Contest 2018 [[electronic resource] ] : Agents Teaming Up in an Urban Environment / / edited by Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas
| The Multi-Agent Programming Contest 2018 [[electronic resource] ] : Agents Teaming Up in an Urban Environment / / edited by Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (VII, 145 p. 31 illus., 21 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Special purpose computers Application software Coding theory Information theory Software engineering Artificial Intelligence Computer Communication Networks Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Coding and Information Theory Software Engineering/Programming and Operating Systems |
| ISBN | 3-030-37959-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Contest -- The Multi-Agent Programming Contest 2018 - A third time in the city -- The Teams -- task-oriented architecture with priority queue for BDI agents applied to the Multi Agent Programming Contest scenario -- Multi-Agent Programming Contest 2018 - The Jason-DTU Team -- SMART-JaCaMo: an Organisation-Based Team for the Multi-Agent Programming Contest -- Distributed Decision-Making based on Shared Knowledge in the Multi-Agent Programming Contest -- ROS Hybrid Behaviour Planner: Behaviour Hierarchies and Self-Organisation in the Multi-Agent Programming Contest. |
| Record Nr. | UNISA-996466211703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Multi-Agent Programming Contest 2018 : Agents Teaming Up in an Urban Environment / / edited by Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas
| The Multi-Agent Programming Contest 2018 : Agents Teaming Up in an Urban Environment / / edited by Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (VII, 145 p. 31 illus., 21 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Special purpose computers Application software Coding theory Information theory Software engineering Artificial Intelligence Computer Communication Networks Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Coding and Information Theory Software Engineering/Programming and Operating Systems |
| ISBN | 3-030-37959-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Contest -- The Multi-Agent Programming Contest 2018 - A third time in the city -- The Teams -- task-oriented architecture with priority queue for BDI agents applied to the Multi Agent Programming Contest scenario -- Multi-Agent Programming Contest 2018 - The Jason-DTU Team -- SMART-JaCaMo: an Organisation-Based Team for the Multi-Agent Programming Contest -- Distributed Decision-Making based on Shared Knowledge in the Multi-Agent Programming Contest -- ROS Hybrid Behaviour Planner: Behaviour Hierarchies and Self-Organisation in the Multi-Agent Programming Contest. |
| Record Nr. | UNINA-9910370258603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Multi-agent Programming contest 2019 : agents assemble - block by block to victory. / / Tobias Ahlbrecht [and three others] (editors)
| The Multi-agent Programming contest 2019 : agents assemble - block by block to victory. / / Tobias Ahlbrecht [and three others] (editors) |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (VII, 151 p. 74 illus., 66 illus. in color.) |
| Disciplina | 006.30285436 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Multiagent systems
Multiagent systems - Competitions |
| ISBN | 3-030-59299-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996418320603316 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Multi-agent Programming contest 2019 : agents assemble - block by block to victory. / / Tobias Ahlbrecht [and three others] (editors)
| The Multi-agent Programming contest 2019 : agents assemble - block by block to victory. / / Tobias Ahlbrecht [and three others] (editors) |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (VII, 151 p. 74 illus., 66 illus. in color.) |
| Disciplina | 006.30285436 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Multiagent systems
Multiagent systems - Competitions |
| ISBN | 3-030-59299-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910427712003321 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The multi-agent programming contest 2021 : one-and-a-half decades of exploring multi-agent systems / / Tobias Ahlbrecht [and three others], (editors)
| The multi-agent programming contest 2021 : one-and-a-half decades of exploring multi-agent systems / / Tobias Ahlbrecht [and three others], (editors) |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (164 pages) |
| Disciplina | 006.30285436 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Multiagent systems |
| ISBN | 3-030-88549-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Overview -- The 15th Multi-Agent Programming Contest -- 1 Introduction -- 1.1 Related Work and Competitions -- 1.2 Outline -- 2 The Current Setting -- 2.1 Challenges -- 2.2 Modifications -- 3 The Tournament -- 3.1 Overall Organization -- 3.2 Participants -- 3.3 Final Ranking -- 3.4 Team Performance -- 3.5 Selected Matches -- 3.6 Free-for-All -- 4 Lessons Learned -- 4.1 A New Version of the Agents Assemble Scenario -- 4.2 The 15th MAPC -- 5 Outlook -- References -- Participants -- FIT BUT: Rational Agents in the Multi-Agent Programming Contest -- 1 Introduction -- 2 System Design -- 2.1 Strategies -- 2.2 Synchronization -- 2.3 Constructing a Map -- 2.4 Agent Reasoning Cycle -- 2.5 Goals and Plans -- 2.6 Action Reservation System -- 3 Summary of Matches -- 4 Conclusion -- 5 Limitations and Possible Improvements -- A Team Overview: Short Answers -- A.1 Participants and Their Background -- A.2 Statistics -- A.3 Technology and Techniques -- A.4 Agent System Details -- A.5 Scenario and Strategy -- A.6 And the Moral of it is … -- References -- The 15th Edition of the Multi-Agent Programming Contest - The GOAL-DTU Team -- 1 Introduction -- 2 The Strategy of Our Agents -- 2.1 Exploration of the Map -- 2.2 Accepting and Submitting Tasks -- 3 Storing and Maintaining Information -- 3.1 Immutable Objects in the Environment -- 3.2 Agreeing on Coordinates -- 3.3 Inferring the Map Dimensions -- 4 Moving About in the Environment -- 4.1 General Map Exploration -- 4.2 Movement Towards a Fixed Position -- 5 Communication Between Agents -- 5.1 Connecting to Other Agents -- 6 Constructing and Executing Task Plans -- 6.1 Construction of Task Plans -- 6.2 Execution of Task Plans -- 7 Evaluation of Matches -- 7.1 GOAL-DTU vs. LTI-USP -- 7.2 GOAL-DTU vs. MLFC -- 7.3 GOAL-DTU vs. FIT-BUT -- 7.4 GOAL-DTU vs. JaCaMo Builders.
7.5 Free for All -- 8 Discussion -- 8.1 System Robustness -- 8.2 Technical Issues -- 8.3 Further Work -- 9 Conclusion -- A Team Overview: Short Answers -- A.1 Participants and Their Background -- A.2 Statistics -- A.3 Technology and Techniques -- A.4 Agent System Details -- A.5 Scenario and Strategy -- A.6 And the Moral of it is … -- References -- MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest -- 1 Introduction -- 2 Languages and Tools -- 3 Main Strategies Taken from the 14th MAPC -- 3.1 Agent Identification -- 3.2 Building a Map -- 3.3 Planning -- 4 New Strategies for the 15th MAPC -- 4.1 Cartography -- 4.2 Formal Verification of Map Merging -- 4.3 Plan Cache -- 4.4 Bullies -- 4.5 Achieving Tasks -- 5 Match Analysis -- 6 Team Overview: Short Answers -- 6.1 Participants and Their Background -- 6.2 Statistics -- 6.3 Technology and Techniques -- 6.4 Agent System Details -- 6.5 Scenario and Strategy -- 6.6 And the Moral of it is … -- 7 Conclusion -- References -- The LTI-USP Strategy to the 2020/2021 Multi-Agent Programming Contest -- 1 Introduction -- 2 The 2020/2021 Scenario: Agents Assemble II -- 3 System Design -- 3.1 Exploration -- 3.2 Agent Identification -- 3.3 Task Owners and Auxiliary Agents -- 3.4 Task Selection -- 3.5 Path Planning -- 3.6 Achieving Tasks After Unexpected Events -- 4 Match Analysis -- 4.1 LTI-USP vs. GOAL-DTU -- 4.2 LTI-USP vs. JaCaMo Builders -- 4.3 LTI-USP vs. FIT BUT -- 4.4 LTI-USP vs. MLFC -- 5 Conclusion -- 6 Team Overview: Short Answers -- 6.1 Participants and Their Background -- 6.2 Statistics -- 6.3 Technology and Techniques -- 6.4 Agent System Details -- 6.5 Scenario and Strategy -- 6.6 And the Moral of it is … -- References -- JaCaMo Builders: Team Description for the Multi-agent Programming Contest 2020/21 -- 1 Introduction -- 2 System Analysis and Design -- 2.1 Environment Dimension. 2.2 Agent Dimension -- 3 Software Architecture -- 4 Strategies, Details and Statistics -- 4.1 Team Strategies -- 4.2 Comparison to Other Teams -- 5 Developing and Improving Agents -- 5.1 Unit and AB Tests for Agents -- 5.2 Reinforcement Learning with MAB -- 5.3 Interactive Programming Support -- 6 Conclusion -- A Team Overview: Short Answers -- A.1 Participants and Their Background -- A.2 Statistics -- A.3 Technology and Techniques -- A.4 Agent System Details -- A.5 Scenario and Strategy -- A.6 And the Moral of It Is … -- References -- Author Index. |
| Record Nr. | UNINA-9910502624803321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The multi-agent programming contest 2021 : one-and-a-half decades of exploring multi-agent systems / / Tobias Ahlbrecht [and three others], (editors)
| The multi-agent programming contest 2021 : one-and-a-half decades of exploring multi-agent systems / / Tobias Ahlbrecht [and three others], (editors) |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (164 pages) |
| Disciplina | 006.30285436 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Multiagent systems |
| ISBN | 3-030-88549-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Overview -- The 15th Multi-Agent Programming Contest -- 1 Introduction -- 1.1 Related Work and Competitions -- 1.2 Outline -- 2 The Current Setting -- 2.1 Challenges -- 2.2 Modifications -- 3 The Tournament -- 3.1 Overall Organization -- 3.2 Participants -- 3.3 Final Ranking -- 3.4 Team Performance -- 3.5 Selected Matches -- 3.6 Free-for-All -- 4 Lessons Learned -- 4.1 A New Version of the Agents Assemble Scenario -- 4.2 The 15th MAPC -- 5 Outlook -- References -- Participants -- FIT BUT: Rational Agents in the Multi-Agent Programming Contest -- 1 Introduction -- 2 System Design -- 2.1 Strategies -- 2.2 Synchronization -- 2.3 Constructing a Map -- 2.4 Agent Reasoning Cycle -- 2.5 Goals and Plans -- 2.6 Action Reservation System -- 3 Summary of Matches -- 4 Conclusion -- 5 Limitations and Possible Improvements -- A Team Overview: Short Answers -- A.1 Participants and Their Background -- A.2 Statistics -- A.3 Technology and Techniques -- A.4 Agent System Details -- A.5 Scenario and Strategy -- A.6 And the Moral of it is … -- References -- The 15th Edition of the Multi-Agent Programming Contest - The GOAL-DTU Team -- 1 Introduction -- 2 The Strategy of Our Agents -- 2.1 Exploration of the Map -- 2.2 Accepting and Submitting Tasks -- 3 Storing and Maintaining Information -- 3.1 Immutable Objects in the Environment -- 3.2 Agreeing on Coordinates -- 3.3 Inferring the Map Dimensions -- 4 Moving About in the Environment -- 4.1 General Map Exploration -- 4.2 Movement Towards a Fixed Position -- 5 Communication Between Agents -- 5.1 Connecting to Other Agents -- 6 Constructing and Executing Task Plans -- 6.1 Construction of Task Plans -- 6.2 Execution of Task Plans -- 7 Evaluation of Matches -- 7.1 GOAL-DTU vs. LTI-USP -- 7.2 GOAL-DTU vs. MLFC -- 7.3 GOAL-DTU vs. FIT-BUT -- 7.4 GOAL-DTU vs. JaCaMo Builders.
7.5 Free for All -- 8 Discussion -- 8.1 System Robustness -- 8.2 Technical Issues -- 8.3 Further Work -- 9 Conclusion -- A Team Overview: Short Answers -- A.1 Participants and Their Background -- A.2 Statistics -- A.3 Technology and Techniques -- A.4 Agent System Details -- A.5 Scenario and Strategy -- A.6 And the Moral of it is … -- References -- MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest -- 1 Introduction -- 2 Languages and Tools -- 3 Main Strategies Taken from the 14th MAPC -- 3.1 Agent Identification -- 3.2 Building a Map -- 3.3 Planning -- 4 New Strategies for the 15th MAPC -- 4.1 Cartography -- 4.2 Formal Verification of Map Merging -- 4.3 Plan Cache -- 4.4 Bullies -- 4.5 Achieving Tasks -- 5 Match Analysis -- 6 Team Overview: Short Answers -- 6.1 Participants and Their Background -- 6.2 Statistics -- 6.3 Technology and Techniques -- 6.4 Agent System Details -- 6.5 Scenario and Strategy -- 6.6 And the Moral of it is … -- 7 Conclusion -- References -- The LTI-USP Strategy to the 2020/2021 Multi-Agent Programming Contest -- 1 Introduction -- 2 The 2020/2021 Scenario: Agents Assemble II -- 3 System Design -- 3.1 Exploration -- 3.2 Agent Identification -- 3.3 Task Owners and Auxiliary Agents -- 3.4 Task Selection -- 3.5 Path Planning -- 3.6 Achieving Tasks After Unexpected Events -- 4 Match Analysis -- 4.1 LTI-USP vs. GOAL-DTU -- 4.2 LTI-USP vs. JaCaMo Builders -- 4.3 LTI-USP vs. FIT BUT -- 4.4 LTI-USP vs. MLFC -- 5 Conclusion -- 6 Team Overview: Short Answers -- 6.1 Participants and Their Background -- 6.2 Statistics -- 6.3 Technology and Techniques -- 6.4 Agent System Details -- 6.5 Scenario and Strategy -- 6.6 And the Moral of it is … -- References -- JaCaMo Builders: Team Description for the Multi-agent Programming Contest 2020/21 -- 1 Introduction -- 2 System Analysis and Design -- 2.1 Environment Dimension. 2.2 Agent Dimension -- 3 Software Architecture -- 4 Strategies, Details and Statistics -- 4.1 Team Strategies -- 4.2 Comparison to Other Teams -- 5 Developing and Improving Agents -- 5.1 Unit and AB Tests for Agents -- 5.2 Reinforcement Learning with MAB -- 5.3 Interactive Programming Support -- 6 Conclusion -- A Team Overview: Short Answers -- A.1 Participants and Their Background -- A.2 Statistics -- A.3 Technology and Techniques -- A.4 Agent System Details -- A.5 Scenario and Strategy -- A.6 And the Moral of It Is … -- References -- Author Index. |
| Record Nr. | UNISA-996464524003316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Multi-Agent Programming Contest 2022 [[electronic resource] ] : Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not / / edited by Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg
| The Multi-Agent Programming Contest 2022 [[electronic resource] ] : Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not / / edited by Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (203 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Multiagent systems Software engineering Artificial Intelligence Multiagent Systems Software Engineering |
| ISBN | 3-031-38712-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The MAPC 2022 - Background, realization & outcomes -- The Multi-Agent Programming Contest 2022 -- Optimization-based Agents in the 16th Multi-Agent Programming Contest -- The contestants and their agents -- MMD: The Block Building Agent Team with Explainable Intentions -- GOALdigger-AIG-Hagen Multi-Agent System: Team Description -- General deSouches commands multi-agent army for performing in Agents Assemble III scenario: FIT-BUT at MAPC 2022 -- The 16th Edition of the Multi-Agent Programming Contest - The GOAL-DTU Team -- LI(A)RA Team - A Declarative and Distributed Implementation for the MAPC 2022. |
| Record Nr. | UNISA-996546854303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Multi-Agent Programming Contest 2022 : Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not / / edited by Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg
| The Multi-Agent Programming Contest 2022 : Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not / / edited by Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (203 pages) |
| Disciplina |
006.3
006.30285436 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Multiagent systems Software engineering Artificial Intelligence Multiagent Systems Software Engineering |
| ISBN | 3-031-38712-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The MAPC 2022 - Background, realization & outcomes -- The Multi-Agent Programming Contest 2022 -- Optimization-based Agents in the 16th Multi-Agent Programming Contest -- The contestants and their agents -- MMD: The Block Building Agent Team with Explainable Intentions -- GOALdigger-AIG-Hagen Multi-Agent System: Team Description -- General deSouches commands multi-agent army for performing in Agents Assemble III scenario: FIT-BUT at MAPC 2022 -- The 16th Edition of the Multi-Agent Programming Contest - The GOAL-DTU Team -- LI(A)RA Team - A Declarative and Distributed Implementation for the MAPC 2022. |
| Record Nr. | UNINA-9910741163803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||