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.
Autonomous Agents and Multiagent Systems [[electronic resource] ] : AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / / edited by Nardine Osman, Carles Sierra
| Autonomous Agents and Multiagent Systems [[electronic resource] ] : AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / / edited by Nardine Osman, Carles Sierra |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XII, 197 p. 71 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Application software Computer security Artificial Intelligence Software Engineering Information Systems Applications (incl. Internet) Systems and Data Security |
| ISBN | 3-319-46840-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Language for Trust Modelling (TRUST workshop) -- Abstraction Methods for Solving Graph-Based Security Games (SECMAS workshop) -- Can I Do That? Discovering Domain Axioms Using Declarative Programming and Relational Reinforcement Learning (ARMS workshop) -- Simultaneous Optimization And Sampling Of Agent Trajectories Over A Network (OPTMAS workshop) -- POMDPs for Assisting Homeless Shelters – Computational and Deployment Challenges (IDEAS workshop) -- Summarizing simulation results using causally-relevant states (MABS workshop) -- Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customisable Bridge Rules (EMAS workshop) -- Using Awareness to Promote Richer, More Human-Like Behaviors in Artificial Agents (ALA workshop) -- Using GDL to Represent Domain Knowledge for Automated Negotiations (ACAN workshop) -- Simulating Urban Growth with Raster and Vector models: A case study for the city of Can Tho, Vietnam (ABMUS workshop) -- Gamification of Multi-Agent Systems Theory Classes (COIN/CARE workshop) -- Analysis of Market Trend Regimes for March 2011 USDJPY Exchange Rate Tick Data (WEIN workshop). |
| Record Nr. | UNISA-996465397003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Autonomous Agents and Multiagent Systems [[electronic resource] ] : AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / / edited by Nardine Osman, Carles Sierra
| Autonomous Agents and Multiagent Systems [[electronic resource] ] : AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / / edited by Nardine Osman, Carles Sierra |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (IX, 193 p. 48 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer simulation Application software Algorithms Artificial Intelligence Simulation and Modeling Information Systems Applications (incl. Internet) Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-46882-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- On the Trustworthy Fulfillment of Commitments -- 1 Motivation -- 2 Computational Models of Commitment -- 3 Problem Formulation -- 4 Commitment Semantics -- 4.1 Relationship to Other Commitment Semantics -- 4.2 Semantics-Respecting Algorithms -- 4.3 Semantics with Other Kinds of Uncertainty -- 5 Implications for Non-Decision-Theoretic Agents -- 6 Conclusions -- References -- Evaluating the Efficiency of Robust Team Formation Algorithms -- 1 Introduction -- 2 Problem Definition -- 3 Related Work -- 4 Approximations of the TORTF Problem -- 4.1 Greedy Algorithms -- 4.2 Genetic Algorithm -- 4.3 Linear Programming Approach -- 5 Results and Discussion -- 5.1 Datasets -- 5.2 Results -- 6 Conclusions -- References -- Social Welfare in One-Sided Matching Mechanisms -- 1 Introduction -- 1.1 Our Results -- 1.2 Discussion and Related Work -- 2 Preliminaries -- 3 Price of Anarchy Guarantees -- 4 Lower Bounds -- 5 General Solution Concepts -- 6 Extensions -- 6.1 Price of Stability -- 6.2 Unit-Range Representation -- 7 Conclusion and Future Work -- References -- Using Multiagent Negotiation to Model Water Resources Systems Operations -- 1 Introduction -- 2 Related Work -- 3 The Case Study -- 4 The Negotiation Protocols -- 4.1 Point-Based Protocol -- 4.2 Set-Based Protocol -- 5 Simulations -- 6 Conclusions -- References -- To Big Wing, or Not to Big Wing, Now an Answer -- 1 Introduction -- 1.1 The Battle of Britain -- 1.2 The Lanchester Model -- 1.3 Agent Based Models -- 2 Model Design -- 2.1 RAF Forces -- 2.2 German Forces -- 2.3 Model Functionality -- 3 Experiments -- 4 Results -- 5 Conclusion -- References -- How Testable Are BDI Agents? An Analysis of Branch Coverage -- 1 Introduction -- 2 Belief-Desire-Intention (BDI) Agents -- 3 All-Edge Coverage Analysis -- 3.1 Removing Failure Handling.
3.2 Simplifying for Uniform Programs -- 4 All-Edges vs. All-Paths -- 5 BDI vs. Procedural -- 6 Conclusion -- References -- Dynamics of Fairness in Groups of Autonomous Learning Agents -- 1 Introduction -- 2 Multiplayer Ultimatum Game -- 2.1 Sub-game Perfect Equilibrium -- 3 Learning Model -- 4 Results -- 5 Discussion and Conclusion -- References -- Using Stackelberg Games to Model Electric Power Grid Investments in Renewable Energy Settings -- 1 Introduction -- 2 Related Work -- 3 Curtailment Rules -- 3.1 Effects of Curtailment Strategies on Renewable Capacity Utilisation - An Illustration -- 4 Renewable Investment in Single Locations -- 4.1 Individual Generator Incentives -- 4.2 Total Generation Capacity -- 5 Transmission Investment in Multiple Locations -- 5.1 Implementation in Areas with High Curtailment -- 5.2 Transmission Investment as a Stackelberg Game -- 6 Network Upgrade Case Study -- 7 Conclusions and Future Work -- References -- Multi-scale Simulation for Crowd Management: A Case Study in an Urban Scenario -- 1 Introduction -- 2 Related Works -- 3 A Multi-scale Model for the Simulation of Urban Scenarios -- 3.1 The Discrete Microscopic Model -- 3.2 The Mesoscopic Model -- 3.3 Strategic Model -- 4 Analysis of an Urban Scenario -- 4.1 The Scenario of the Tortona Design Week -- 4.2 Experiments -- 5 Conclusion -- References -- Communication and Shared Mental Models for Teams Performing Interdependent Tasks -- 1 Introduction -- 2 Background and Related Work -- 2.1 Measuring SMM -- 2.2 SMM and Task Interdependence -- 3 Scenario: Blocks World for Teams -- 3.1 Task Design -- 3.2 Agent Teams and Agent Behaviours -- 3.3 Communication and SMM -- 3.4 Using Shared Mental Models -- 4 Experiment Design -- 5 Results -- 5.1 SMM Components and Team Performance -- 5.2 Communication Performance -- 5.3 Analysis of Sharedness -- 6 Discussion. 7 Conclusions and Future Work -- References -- An Examination of a Novel Information Diffusion Model: Considering of Twitter User and Twitter System Features -- 1 Introduction -- 2 Related Works -- 3 Weak Point of Extended SIR Model -- 4 Proposed Method -- 4.1 State Transition Model -- 4.2 Multiplexing of Information Path -- 4.3 Life Pattern -- 4.4 User's diversity -- 5 Experiment -- 5.1 Experiment Outline -- 5.2 Evaluation Methods -- 5.3 Experimental Results -- 6 Conclusion -- References -- Author Index. |
| Record Nr. | UNISA-996465398003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Autonomous Agents and Multiagent Systems : AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / / edited by Nardine Osman, Carles Sierra
| Autonomous Agents and Multiagent Systems : AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / / edited by Nardine Osman, Carles Sierra |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (IX, 193 p. 48 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer simulation Application software Algorithms Artificial Intelligence Simulation and Modeling Information Systems Applications (incl. Internet) Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-46882-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- On the Trustworthy Fulfillment of Commitments -- 1 Motivation -- 2 Computational Models of Commitment -- 3 Problem Formulation -- 4 Commitment Semantics -- 4.1 Relationship to Other Commitment Semantics -- 4.2 Semantics-Respecting Algorithms -- 4.3 Semantics with Other Kinds of Uncertainty -- 5 Implications for Non-Decision-Theoretic Agents -- 6 Conclusions -- References -- Evaluating the Efficiency of Robust Team Formation Algorithms -- 1 Introduction -- 2 Problem Definition -- 3 Related Work -- 4 Approximations of the TORTF Problem -- 4.1 Greedy Algorithms -- 4.2 Genetic Algorithm -- 4.3 Linear Programming Approach -- 5 Results and Discussion -- 5.1 Datasets -- 5.2 Results -- 6 Conclusions -- References -- Social Welfare in One-Sided Matching Mechanisms -- 1 Introduction -- 1.1 Our Results -- 1.2 Discussion and Related Work -- 2 Preliminaries -- 3 Price of Anarchy Guarantees -- 4 Lower Bounds -- 5 General Solution Concepts -- 6 Extensions -- 6.1 Price of Stability -- 6.2 Unit-Range Representation -- 7 Conclusion and Future Work -- References -- Using Multiagent Negotiation to Model Water Resources Systems Operations -- 1 Introduction -- 2 Related Work -- 3 The Case Study -- 4 The Negotiation Protocols -- 4.1 Point-Based Protocol -- 4.2 Set-Based Protocol -- 5 Simulations -- 6 Conclusions -- References -- To Big Wing, or Not to Big Wing, Now an Answer -- 1 Introduction -- 1.1 The Battle of Britain -- 1.2 The Lanchester Model -- 1.3 Agent Based Models -- 2 Model Design -- 2.1 RAF Forces -- 2.2 German Forces -- 2.3 Model Functionality -- 3 Experiments -- 4 Results -- 5 Conclusion -- References -- How Testable Are BDI Agents? An Analysis of Branch Coverage -- 1 Introduction -- 2 Belief-Desire-Intention (BDI) Agents -- 3 All-Edge Coverage Analysis -- 3.1 Removing Failure Handling.
3.2 Simplifying for Uniform Programs -- 4 All-Edges vs. All-Paths -- 5 BDI vs. Procedural -- 6 Conclusion -- References -- Dynamics of Fairness in Groups of Autonomous Learning Agents -- 1 Introduction -- 2 Multiplayer Ultimatum Game -- 2.1 Sub-game Perfect Equilibrium -- 3 Learning Model -- 4 Results -- 5 Discussion and Conclusion -- References -- Using Stackelberg Games to Model Electric Power Grid Investments in Renewable Energy Settings -- 1 Introduction -- 2 Related Work -- 3 Curtailment Rules -- 3.1 Effects of Curtailment Strategies on Renewable Capacity Utilisation - An Illustration -- 4 Renewable Investment in Single Locations -- 4.1 Individual Generator Incentives -- 4.2 Total Generation Capacity -- 5 Transmission Investment in Multiple Locations -- 5.1 Implementation in Areas with High Curtailment -- 5.2 Transmission Investment as a Stackelberg Game -- 6 Network Upgrade Case Study -- 7 Conclusions and Future Work -- References -- Multi-scale Simulation for Crowd Management: A Case Study in an Urban Scenario -- 1 Introduction -- 2 Related Works -- 3 A Multi-scale Model for the Simulation of Urban Scenarios -- 3.1 The Discrete Microscopic Model -- 3.2 The Mesoscopic Model -- 3.3 Strategic Model -- 4 Analysis of an Urban Scenario -- 4.1 The Scenario of the Tortona Design Week -- 4.2 Experiments -- 5 Conclusion -- References -- Communication and Shared Mental Models for Teams Performing Interdependent Tasks -- 1 Introduction -- 2 Background and Related Work -- 2.1 Measuring SMM -- 2.2 SMM and Task Interdependence -- 3 Scenario: Blocks World for Teams -- 3.1 Task Design -- 3.2 Agent Teams and Agent Behaviours -- 3.3 Communication and SMM -- 3.4 Using Shared Mental Models -- 4 Experiment Design -- 5 Results -- 5.1 SMM Components and Team Performance -- 5.2 Communication Performance -- 5.3 Analysis of Sharedness -- 6 Discussion. 7 Conclusions and Future Work -- References -- An Examination of a Novel Information Diffusion Model: Considering of Twitter User and Twitter System Features -- 1 Introduction -- 2 Related Works -- 3 Weak Point of Extended SIR Model -- 4 Proposed Method -- 4.1 State Transition Model -- 4.2 Multiplexing of Information Path -- 4.3 Life Pattern -- 4.4 User's diversity -- 5 Experiment -- 5.1 Experiment Outline -- 5.2 Evaluation Methods -- 5.3 Experimental Results -- 6 Conclusion -- References -- Author Index. |
| Record Nr. | UNINA-9910483484503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Autonomous Agents and Multiagent Systems : AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / / edited by Nardine Osman, Carles Sierra
| Autonomous Agents and Multiagent Systems : AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / / edited by Nardine Osman, Carles Sierra |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XII, 197 p. 71 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Application software Computer security Artificial Intelligence Software Engineering Information Systems Applications (incl. Internet) Systems and Data Security |
| ISBN | 3-319-46840-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Language for Trust Modelling (TRUST workshop) -- Abstraction Methods for Solving Graph-Based Security Games (SECMAS workshop) -- Can I Do That? Discovering Domain Axioms Using Declarative Programming and Relational Reinforcement Learning (ARMS workshop) -- Simultaneous Optimization And Sampling Of Agent Trajectories Over A Network (OPTMAS workshop) -- POMDPs for Assisting Homeless Shelters – Computational and Deployment Challenges (IDEAS workshop) -- Summarizing simulation results using causally-relevant states (MABS workshop) -- Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customisable Bridge Rules (EMAS workshop) -- Using Awareness to Promote Richer, More Human-Like Behaviors in Artificial Agents (ALA workshop) -- Using GDL to Represent Domain Knowledge for Automated Negotiations (ACAN workshop) -- Simulating Urban Growth with Raster and Vector models: A case study for the city of Can Tho, Vietnam (ABMUS workshop) -- Gamification of Multi-Agent Systems Theory Classes (COIN/CARE workshop) -- Analysis of Market Trend Regimes for March 2011 USDJPY Exchange Rate Tick Data (WEIN workshop). |
| Record Nr. | UNINA-9910484968503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Multi-Agent Systems and Agreement Technologies [[electronic resource] ] : 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers / / edited by Natalia Criado Pacheco, Carlos Carrascosa, Nardine Osman, Vicente Julián Inglada
| Multi-Agent Systems and Agreement Technologies [[electronic resource] ] : 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers / / edited by Natalia Criado Pacheco, Carlos Carrascosa, Nardine Osman, Vicente Julián Inglada |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 582 p. 147 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer simulation Software engineering Application software Mathematical logic Algorithms Artificial Intelligence Simulation and Modeling Software Engineering Information Systems Applications (incl. Internet) Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-59294-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | agent and multi-agent system models -- algorithms -- applications -- simulations -- theoretical studies -- algorithms and frameworks -- philosophical and theoretical studies. |
| Record Nr. | UNISA-996466175603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Multi-Agent Systems and Agreement Technologies : 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers / / edited by Natalia Criado Pacheco, Carlos Carrascosa, Nardine Osman, Vicente Julián Inglada
| Multi-Agent Systems and Agreement Technologies : 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers / / edited by Natalia Criado Pacheco, Carlos Carrascosa, Nardine Osman, Vicente Julián Inglada |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 582 p. 147 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer simulation Software engineering Application software Mathematical logic Algorithms Artificial Intelligence Simulation and Modeling Software Engineering Information Systems Applications (incl. Internet) Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
| ISBN | 3-319-59294-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | agent and multi-agent system models -- algorithms -- applications -- simulations -- theoretical studies -- algorithms and frameworks -- philosophical and theoretical studies. |
| Record Nr. | UNINA-9910484154603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||