دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Fabiano Dalpiaz, Jürgen Dix, M. Birna van Riemsdijk (eds.) سری: Lecture Notes in Computer Science 8758 Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783319144832, 9783319144849 ناشر: Springer International Publishing سال نشر: 2014 تعداد صفحات: 462 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 14 مگابایت
کلمات کلیدی مربوط به کتاب سیستم های چند عاملی مهندسی: کارگاه بین المللی دوم ، EMAS 2014 ، پاریس ، فرانسه ، 5-6 مه 2014 ، مقالات منتخب بازبینی شده: هوش مصنوعی (شامل رباتیک)، مهندسی نرم افزار، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Engineering Multi-Agent Systems: Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های چند عاملی مهندسی: کارگاه بین المللی دوم ، EMAS 2014 ، پاریس ، فرانسه ، 5-6 مه 2014 ، مقالات منتخب بازبینی شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری دومین کارگاه بین المللی مهندسی سیستم های چند عاملی، EMAS 2014، در پاریس، فرانسه، در ماه مه 2014 است. 22 مقاله کامل به دقت بررسی و از 41 مورد ارسالی انتخاب شدند. تمرکز مقالات بر روی موضوعات زیر است: عوامل هوشمند، سیستمهای چند عاملی، مهندسی طراحی نرمافزار، مهندسی نرمافزار مبتنی بر مدل، استدلال در مورد باور و دانش، همکاری و هماهنگی، برنامهنویسی محدودیت و منطق، تأیید نرمافزار، الگوهای طراحی.< /p>
This book constitutes the refereed proceedings of the Second International Workshop on Engineering Multi-Agent Systems, EMAS 2014, held in Paris, France, in May 2014. The 22 full papers were carefully reviewed and selected from 41 submissions. The focus of the papers is on following topics: intelligent agents, multi-agent systems, software design engineering, model-driven software engineering, reasoning about belief and knowledge, cooperation and coordination, constraint and logic programming, software verification, design patterns.
Front Matter....Pages -
The Shaping of the Agent-Oriented Mindset....Pages 1-14
Keeping a Clear Separation between Goals and Plans....Pages 15-39
A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants....Pages 40-57
Improving the Design and Modularity of BDI Agents with Capability Relationships....Pages 58-80
A Scalable Runtime Platform for Multiagent-Based Simulation....Pages 81-102
Security Games in the Field: Deployments on a Transit System....Pages 103-126
The AORTA Architecture: Integrating Organizational Reasoning in Jason ....Pages 127-145
Keep Improving MAS Method Fragments: A Medee-Based Case Study for MOISE+....Pages 146-162
Towards Process-Oriented Modelling and Creation of Multi-Agent Systems....Pages 163-180
Environments and Organizations in Multi-Agent Systems: From Modelling to Code....Pages 181-203
From Multi-Agent Programming to Object Oriented Design Patterns....Pages 204-226
CaFé: A Group Process to Rationalize Technologies in Hybrid AAMAS Systems....Pages 227-245
Efficient Verification of MASs with Projections....Pages 246-270
Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation....Pages 271-290
Side Effects of Agents Are Not Just Random....Pages 291-308
Mutation Testing for Jason Agents....Pages 309-327
Tractable Reasoning about Group Beliefs....Pages 328-350
Semantic Representations of Agent Plans and Planning Problem Domains....Pages 351-366
N-Jason : Run-Time Norm Compliance in AgentSpeak(L)....Pages 367-387
Typing Multi-Agent Systems via Commitments....Pages 388-405
Robust Collaboration: Enriching Decisions with Abstract Preferences....Pages 406-430
The Interaction as an Integration Component for the JaCaMo Platform....Pages 431-450
Back Matter....Pages -