Описание: PAAMS, the International Conference on Practical Applications of Agents and Multi-Agent Systems is an evolution of the International Workshop on Practical Applications of Agents and Multi-Agent Systems.
Описание: This book constitutes the refereed proceedings of the nine workshops co-located with the 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017.The 41 full papers presented were carefully reviewed and selected from 80 submissions.
Описание: This book constitutes the refereed proceedings of the 12th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2014, held in Salamanca, Spain, in June 2014.
Simulating Sustainability: Guiding Principles to Ensure Policy Impact.- Papers Evaluating the Social Benefit of a Negotiation-Based Parking Allocation.- Load Management Through Agent Based Coordination of Flexible Electricity Consumers.- Agent-Based Distributed Analytical Search.- Distributed Belief Propagation in Multi-agent Environment.- Situated Artificial Institution to Support Advanced Regulation in the Field of Crisis Management.- Trusting Information Sources Through Their Categories.- AGADE Using Personal Preferences and World Knowledge to Model Agent Behaviour.- Contextualize Agent Interactions by Combining Communication and Physical Dimensions in the Environment.- ''1-N'' Leader-Follower Formation Control of Multiple Agents Based on Bearing-Only Observation.- Echo State Networks for Feature Selection in Affective Computing.- Performance Investigation on Binary Particle Swarm Optimization for Global Optimization .- Contracts for Difference and Risk Management in Multi-agent Energy Markets.- Why Are Contemporary Political Revolutions Leaderless? An Agent-Based Explanation.- Time Machine: Projecting the Digital Assets onto the Future Simulation Environment.- From Goods to Traffic: First Steps Toward an Auction-Based Traffic Signal Controller.- Social Emotional Model.- AgentDrive: Towards an Agent-Based Coordination of Intelligent Cars.- Multi-agent Based Flexible Deployment of Context Management in Ambient Intelligence Applications.- Multi-agent Multi-model Simulation of Smart Grids in the MS4SG Project.- iaBastos: An Intelligent Marketplace for Agricultural Products.- TrafficGen: A Flexible Tool for Informing Agent-Based Traffic Simulations with Open Data.- Distributed Analytical Search.- Situated Regulation on a Crisis Management Collaboration Platform.- Demo Paper: AGADE Using Communities of Agents to Provide Realistic Feedback in Business Simulations.- BactoSim - An Individual-Based Simulation Environment for Bacterial Conjugation.- A Multimodal City Street and Entertainment Guide for Android Mobile Devices.- EXPLAIN_MAS: An Agent Behavior Explanation System.- A Fully Integrated Development Environment for Agent-Oriented Programming.- Can Social Media Substitute Revolutionary Leaders? An Agent-Based Demonstration.- Simulating the Optimization of Energy Consumption in Homes.- First Steps Toward an Auction-Based Traffic Signal Controller.-Addressing Long-Term Digital Preservation Through Computational Intelligence.- Representing Social Emotions in MAS.- Developing Agent-Based Driver Assistance Systems Using AgentDrive.- Demonstration of Realistic Multi-agent Scenario Generator for Electricity Markets Simulation.- Smart Grids Simulation with MECSYCO.
Описание: BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.
Автор: Fuchun Sun; Tianrui Li; Hongbo Li Название: Foundations and Applications of Intelligent Systems ISBN: 3642378285 ISBN-13(EAN): 9783642378287 Издательство: Springer Рейтинг: Цена: 34937.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Furthermore they include papers on new intelligent computing paradigms, which combine new computing methodologies, e.g., cloud computing, service computing and pervasive computing with traditional intelligent methods.
Описание: Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
Описание: Features the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
Описание: Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building.
Описание: Foundations of Cognitive Systems.- Information Processing.- Practical Applications.
Автор: Gordan Jezic; Mario Kusek; Yun-Heh Jessica Chen-Bu Название: Agent and Multi-Agent Systems: Technology and Applications ISBN: 3319593935 ISBN-13(EAN): 9783319593937 Издательство: Springer Рейтинг: Цена: 22359.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Personalized HealthCare and Agent Technologies.- Multiagent Environments for Dynamic Transportation Applications.- Microservices as Agents in IoT Systems.- Enhancing Tactical Information Assessment Using An Agent-Based Cognitive Architecture.- Security and Trust on Mobile Agent Platforms: A Survey.- A self-adaptive system for improving autonomy and public spaces accessibility for elderly.- Meaning Negotiation with defeasible logic.- Artificial Intelligence Techniques for the Puerto Rico Strategy Game.- Simple Bounded MTLK Model Checking for Timed Interpreted Systems.- An Algorithm for Allocating Structured Tasks in Multi-Robot Scenarios.- SAT- versus SMT-based BMC for TWIS and the Existential Fragment of WCTL with Knowledge.- Communication and Autonomous Control of Multi-UAV System in Disaster Response Tasks.- Decision Function Implementation in MAREA Simulations Influencing Financial Balance of Small-sized Enterprise.- Modelling of the Logistic Supplier-Consumer Behavior.- Multi-Agent BPMN Decision Footprint Towards Decision Collaboration Along Distributed BI Process.
Автор: Vladim?r Ma??k; Wolfgang Wahlster; Thomas Strasser Название: Industrial Applications of Holonic and Multi-Agent Systems ISBN: 3319646346 ISBN-13(EAN): 9783319646343 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017, held in Lyon, France, in August 2017. The 19 revised full papers presented were carefully reviewed and selected from 27 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
