Computational Logic in Multi-Agent Systems [[electronic resource] ] : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings / / edited by Nils Bulling, Leendert van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XVI, 199 p. 22 illus.) |
Disciplina | 004.015113 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Software engineering Programming languages (Electronic computers) Computer logic Application software Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Information Systems Applications (incl. Internet) |
ISBN | 3-319-09764-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996198266403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational Logic in Multi-Agent Systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings / / edited by Nils Bulling, Leendert van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XVI, 199 p. 22 illus.) |
Disciplina | 004.015113 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Software engineering Programming languages (Electronic computers) Computer logic Application software Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Information Systems Applications (incl. Internet) |
ISBN | 3-319-09764-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484615603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Multi-Agent Systems [[electronic resource] ] : 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers / / edited by Nils Bulling |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XVII, 426 p. 87 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer simulation Mathematical logic Algorithms Application software Artificial Intelligence Simulation and Modeling Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) |
ISBN | 3-319-17130-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Agent-Based Models, Trust and Reputation -- Ants in the OCEAN: Modulating Agents with Personality for Planning with Humans -- A Trust-Based Situation Awareness Model -- Angerona - A Flexible Multiagent Framework for Knowledge-Based Agents -- Affordance-Based Interaction Design for Agent-Based Simulation Models -- MORE: Merged Opinions Reputation Model -- Coordination, Coalitions and Teamwork -- Computing Coalitions in Multiagent Systems: A Contextual Reasoning Approach -- Comparison of Task-Allocation Algorithms in Frontier-Based Multi-robot Exploration -- Homecoming: A Multi-robot Exploration Method for Conjunct Environments with a Systematic Return Procedure -- Distributed Deliberation on Direct Help in Agent Teamwork -- Forming Coalitions in Self-interested Multi-agent Environments Through the Promotion of Fair and Cooperative Behaviour -- Auction-Based Dynamic Task Allocation for Foraging with a Cooperative Robot Team -- Logic and Formal Approaches -- Tableaux and Complexity Bounds for a Multiagent Justification Logic with Interacting Justifications -- A Framework for Epistemic Gossip Protocols -- Compliance Games -- Synthesis with Rational Environments -- STIT Based Deontic Logics for the Miners Puzzle -- Arbitrary Announcements on Topological Subset Spaces -- Theories in Practice and Real-World Problems Direct Exchange Mechanisms for Option Pricing -- A Study on the Influence of the Number of MTurkers on the Quality of the Aggregate Output -- Multi-Agent Cooperation for Optimizing Weight of Electrical Aircraft Harnesses -- Optimizing Emergency Medical Assistance Coordination in After-Hours Urgent Surgery Patients -- Spatial Coordination Games for Large-Scale Visualization -- Decision Making, Conflicts and Agreements Modeling a Multi-issue Negotiation Protocol for Agent Extensible Negotiations -- Conflict Resolution in Assumption-Based Frameworks -- Decision Making in Agent-Based Models -- Strategic Argumentation Under Grounded Semantics is NP-Complete -- Deliberative Argumentation for Service Provision in Smart Environments -- Priority-Based Merging Operator Without Distance Measures -- A Dialogical Model for Collaborative Decision Making Based on Compromises. |
Record Nr. | UNISA-996208604203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Multi-Agent Systems : 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers / / edited by Nils Bulling |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XVII, 426 p. 87 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer simulation Mathematical logic Algorithms Application software Artificial Intelligence Simulation and Modeling Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) |
ISBN | 3-319-17130-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Agent-Based Models, Trust and Reputation -- Ants in the OCEAN: Modulating Agents with Personality for Planning with Humans -- A Trust-Based Situation Awareness Model -- Angerona - A Flexible Multiagent Framework for Knowledge-Based Agents -- Affordance-Based Interaction Design for Agent-Based Simulation Models -- MORE: Merged Opinions Reputation Model -- Coordination, Coalitions and Teamwork -- Computing Coalitions in Multiagent Systems: A Contextual Reasoning Approach -- Comparison of Task-Allocation Algorithms in Frontier-Based Multi-robot Exploration -- Homecoming: A Multi-robot Exploration Method for Conjunct Environments with a Systematic Return Procedure -- Distributed Deliberation on Direct Help in Agent Teamwork -- Forming Coalitions in Self-interested Multi-agent Environments Through the Promotion of Fair and Cooperative Behaviour -- Auction-Based Dynamic Task Allocation for Foraging with a Cooperative Robot Team -- Logic and Formal Approaches -- Tableaux and Complexity Bounds for a Multiagent Justification Logic with Interacting Justifications -- A Framework for Epistemic Gossip Protocols -- Compliance Games -- Synthesis with Rational Environments -- STIT Based Deontic Logics for the Miners Puzzle -- Arbitrary Announcements on Topological Subset Spaces -- Theories in Practice and Real-World Problems Direct Exchange Mechanisms for Option Pricing -- A Study on the Influence of the Number of MTurkers on the Quality of the Aggregate Output -- Multi-Agent Cooperation for Optimizing Weight of Electrical Aircraft Harnesses -- Optimizing Emergency Medical Assistance Coordination in After-Hours Urgent Surgery Patients -- Spatial Coordination Games for Large-Scale Visualization -- Decision Making, Conflicts and Agreements Modeling a Multi-issue Negotiation Protocol for Agent Extensible Negotiations -- Conflict Resolution in Assumption-Based Frameworks -- Decision Making in Agent-Based Models -- Strategic Argumentation Under Grounded Semantics is NP-Complete -- Deliberative Argumentation for Service Provision in Smart Environments -- Priority-Based Merging Operator Without Distance Measures -- A Dialogical Model for Collaborative Decision Making Based on Compromises. |
Record Nr. | UNINA-9910483268903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Multiagent System Technologies [[electronic resource] ] : 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers / / edited by Jörg P. Müller, Wolf Ketter, Gal Kaminka, Gerd Wagner, Nils Bulling |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XII, 291 p. 109 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer simulation Application software Artificial Intelligence Simulation and Modeling Information Systems Applications (incl. Internet) Computer Applications |
ISBN | 3-319-27343-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | MAS engineering, modeling, and simulation -- Smart things working together -- Innovative and emerging applications of MAS. |
Record Nr. | UNISA-996466229003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Multiagent System Technologies : 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers / / edited by Jörg P. Müller, Wolf Ketter, Gal Kaminka, Gerd Wagner, Nils Bulling |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XII, 291 p. 109 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer simulation Application software Artificial Intelligence Simulation and Modeling Information Systems Applications (incl. Internet) Computer Applications |
ISBN | 3-319-27343-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | MAS engineering, modeling, and simulation -- Smart things working together -- Innovative and emerging applications of MAS. |
Record Nr. | UNINA-9910483281503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|