| Título : |
22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Baldoni, Matteo, ; Dastani, Mehdi, ; Liao, Beishui, ; Sakurai, Yuko, ; Zalila Wenkstern, Rym, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2019 |
| Número de páginas: |
XVII, 646 p. 432 ilustraciones, 98 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-33792-6 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Inteligencia artificial Red informática Ingeniería Informática Ingeniería de software Redes de comunicación informática Ingeniería Informática y Redes |
| Índice Dewey: |
006.3 Inteligencia artificial |
| Resumen: |
Este libro constituye las actas arbitradas de la 22.ª Conferencia Internacional sobre Principios y Prácticas de Sistemas Multiagente, PRIMA 2019, celebrada en Turín, Italia, en octubre de 2019. Los 25 artículos completos presentados y los 25 artículos breves fueron cuidadosamente revisados y seleccionados de 112 presentaciones. Los artículos presentados en la conferencia PRIMA 2019 se centran en los siguientes temas: lógica y razonamiento, ingeniería de sistemas multiagente, modelado y simulación basados en agentes, colaboración y coordinación, paradigmas económicos, interacción humano-agente, paradigmas descentralizados y dominios de aplicación para sistemas multiagente. |
| Nota de contenido: |
Main track full papers -- Deliberation towards transitivity with unshared features -- K-ACE: a Flexible Environment for Knowledge-Aware Multi-Agent Systems -- Formal analysis of responsibility attribution in a multimodal framework -- Decidable Verification of Agent-Based Data-aware Systems -- New Distributed Constraint Reasoning Algorithms for Load Balancing in Edge Computing -- A Distributed and Clustering-based Algorithm for the Enumeration Problem in Abstract Argumentation -- Dynamic multi-agent systems: conceptual framework, automata-based modelling and verification -- Usefulness of Information for Goal Achievement -- A Scheduler for Smart Homes with Probabilistic User Preferences -- Supply Chain Management World: A benchmark environment for situated negotiations -- Coordination of Mobile Agents for Simultaneous Coverage -- MCTS-based Automated Negotiation Agent -- Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics -- Selfish Mining in Proof-of-Work Blockchain with Multiple Miners: An Empirical Evaluation -- A Co-Evolutionary Approach to Analyzing the Impact of Rationality on the Italian Electricity Market -- Modelling Shared Decision Making in Medical Negotiations: Interactive Training with Cognitive Agents -- Doxastic Group Reasoning via Multiple Belief Shadowing -- Subset Spaces for Conditional Norms -- Integrating CP-nets in Reactive BDI Agents -- SAT-Based Automated Mechanism Design for False-Name-Proof Facility Location -- Solving Coalition Structure Generation Problems over Weighted Graph -- From good intentions to behaviour change: Probabilistic Feature Diagrams for Behaviour Support Agents -- Identifying Belief Sequences in a Network of Communicating Agents -- Non-monotonic collective decisions -- A Coalitional Algorithm for Recursive Delegation -- Short papers -- Compact Frequency Memory for Reinforcement Learning with Hidden States -- Leveraging Symmetric Relations for Approximation Coalition Structure Generation -- Deception/Honesty Detection and (Mis)trust Building in Manipulable Multi-Agent Argumentation: an Insight -- Self-Vehicle Positioning Using Smart Infrastructures -- A Combined Netflow-driven and Agent-based Social Modeling Approach for Building Evacuation -- Imperfect Information in Alternating-time Temporal Logic on Finite Traces -- TAMER: Task Allocation in Multi-Robot Systems Through an Entity-Relationship Model -- A Modeling Environment for Reified Temporal-Causal Networks: Modeling Plasticity and Metaplasticity in Cognitive Agent Models -- The Choice Between Bad and Worse: A Cognitive Agent Model for Desire Regulation under Stress -- Modeling Higher-Order Adaptive Evolutionary Processes by Multilevel Adaptive Agent Models -- Emergent Privacy Norms for Collaborative Systems -- Estimating Missing Environmental Information by Contextual Data Cooperation -- Semantics of extended argumentation frameworks defined by renovation sets -- Smart RogAgent: where Agents and Humans Team Up -- Coordination in Collaborative Work by Deep Reinforcement Learning with Various State Descriptions -- Learning to Explain Anger : An Adaptive Humanoid-Agent for Cyber-Aggression -- SPSC: a new execution policy for exploring discrete-time stochastic simulations -- Computational Complexity of Hedonic Games on Sparse Graphs -- Strategies for Energy-Aware Multi-Agent Continuous Cooperative Patrolling Problems subject to Requirements -- Deep false-name-proof auction mechanisms -- Ubiquitous computing and multi-agent systems: clarification of the lexicon -- Explainable ASP -- Block Argumentation -- DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs -- An Adaptive Cognitive Agent Model for Development of a Hoarding Disorder and Recovery from it by Therapy. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings [documento electrónico] / Baldoni, Matteo, ; Dastani, Mehdi, ; Liao, Beishui, ; Sakurai, Yuko, ; Zalila Wenkstern, Rym, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVII, 646 p. 432 ilustraciones, 98 ilustraciones en color. ISBN : 978-3-030-33792-6 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Inteligencia artificial Red informática Ingeniería Informática Ingeniería de software Redes de comunicación informática Ingeniería Informática y Redes |
| Índice Dewey: |
006.3 Inteligencia artificial |
| Resumen: |
Este libro constituye las actas arbitradas de la 22.ª Conferencia Internacional sobre Principios y Prácticas de Sistemas Multiagente, PRIMA 2019, celebrada en Turín, Italia, en octubre de 2019. Los 25 artículos completos presentados y los 25 artículos breves fueron cuidadosamente revisados y seleccionados de 112 presentaciones. Los artículos presentados en la conferencia PRIMA 2019 se centran en los siguientes temas: lógica y razonamiento, ingeniería de sistemas multiagente, modelado y simulación basados en agentes, colaboración y coordinación, paradigmas económicos, interacción humano-agente, paradigmas descentralizados y dominios de aplicación para sistemas multiagente. |
| Nota de contenido: |
Main track full papers -- Deliberation towards transitivity with unshared features -- K-ACE: a Flexible Environment for Knowledge-Aware Multi-Agent Systems -- Formal analysis of responsibility attribution in a multimodal framework -- Decidable Verification of Agent-Based Data-aware Systems -- New Distributed Constraint Reasoning Algorithms for Load Balancing in Edge Computing -- A Distributed and Clustering-based Algorithm for the Enumeration Problem in Abstract Argumentation -- Dynamic multi-agent systems: conceptual framework, automata-based modelling and verification -- Usefulness of Information for Goal Achievement -- A Scheduler for Smart Homes with Probabilistic User Preferences -- Supply Chain Management World: A benchmark environment for situated negotiations -- Coordination of Mobile Agents for Simultaneous Coverage -- MCTS-based Automated Negotiation Agent -- Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics -- Selfish Mining in Proof-of-Work Blockchain with Multiple Miners: An Empirical Evaluation -- A Co-Evolutionary Approach to Analyzing the Impact of Rationality on the Italian Electricity Market -- Modelling Shared Decision Making in Medical Negotiations: Interactive Training with Cognitive Agents -- Doxastic Group Reasoning via Multiple Belief Shadowing -- Subset Spaces for Conditional Norms -- Integrating CP-nets in Reactive BDI Agents -- SAT-Based Automated Mechanism Design for False-Name-Proof Facility Location -- Solving Coalition Structure Generation Problems over Weighted Graph -- From good intentions to behaviour change: Probabilistic Feature Diagrams for Behaviour Support Agents -- Identifying Belief Sequences in a Network of Communicating Agents -- Non-monotonic collective decisions -- A Coalitional Algorithm for Recursive Delegation -- Short papers -- Compact Frequency Memory for Reinforcement Learning with Hidden States -- Leveraging Symmetric Relations for Approximation Coalition Structure Generation -- Deception/Honesty Detection and (Mis)trust Building in Manipulable Multi-Agent Argumentation: an Insight -- Self-Vehicle Positioning Using Smart Infrastructures -- A Combined Netflow-driven and Agent-based Social Modeling Approach for Building Evacuation -- Imperfect Information in Alternating-time Temporal Logic on Finite Traces -- TAMER: Task Allocation in Multi-Robot Systems Through an Entity-Relationship Model -- A Modeling Environment for Reified Temporal-Causal Networks: Modeling Plasticity and Metaplasticity in Cognitive Agent Models -- The Choice Between Bad and Worse: A Cognitive Agent Model for Desire Regulation under Stress -- Modeling Higher-Order Adaptive Evolutionary Processes by Multilevel Adaptive Agent Models -- Emergent Privacy Norms for Collaborative Systems -- Estimating Missing Environmental Information by Contextual Data Cooperation -- Semantics of extended argumentation frameworks defined by renovation sets -- Smart RogAgent: where Agents and Humans Team Up -- Coordination in Collaborative Work by Deep Reinforcement Learning with Various State Descriptions -- Learning to Explain Anger : An Adaptive Humanoid-Agent for Cyber-Aggression -- SPSC: a new execution policy for exploring discrete-time stochastic simulations -- Computational Complexity of Hedonic Games on Sparse Graphs -- Strategies for Energy-Aware Multi-Agent Continuous Cooperative Patrolling Problems subject to Requirements -- Deep false-name-proof auction mechanisms -- Ubiquitous computing and multi-agent systems: clarification of the lexicon -- Explainable ASP -- Block Argumentation -- DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs -- An Adaptive Cognitive Agent Model for Development of a Hoarding Disorder and Recovery from it by Therapy. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Hacer una sugerencia Refinar búsqueda22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings / Baldoni, Matteo ; Dastani, Mehdi ; Liao, Beishui ; Sakurai, Yuko ; Zalila Wenkstern, Rym
