دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Declarative Agent Languages and Technologies VIII: 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
دانلود کتاب زبانها و فناوریهای نماینده VIII: هشتمین کارگاه بین المللی ، DALT 2010 ، تورنتو ، کانادا ، 10 مه 2010 ، مقالات اصلاح شده ، منتخب و برگزیده
مشخصات کتاب
Declarative Agent Languages and Technologies VIII: 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
ویرایش: 1 نویسندگان: John Thangarajah, James Harland, David Morley, Neil Yorke-Smith (auth.), Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos (eds.) سری: Lecture Notes in Computer Science 6619 Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783642207143, 3642207146 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 214 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب زبانها و فناوریهای نماینده VIII: هشتمین کارگاه بین المللی ، DALT 2010 ، تورنتو ، کانادا ، 10 مه 2010 ، مقالات اصلاح شده ، منتخب و برگزیده: هوش مصنوعی (شامل رباتیک)، مدل ها و اصول، شبکه های ارتباطی کامپیوتری، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها
در صورت تبدیل فایل کتاب Declarative Agent Languages and Technologies VIII: 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانها و فناوریهای نماینده VIII: هشتمین کارگاه بین المللی ، DALT 2010 ، تورنتو ، کانادا ، 10 مه 2010 ، مقالات اصلاح شده ، منتخب و برگزیده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبانها و فناوریهای نماینده VIII: هشتمین کارگاه بین المللی ، DALT 2010 ، تورنتو ، کانادا ، 10 مه 2010 ، مقالات اصلاح شده ، منتخب و برگزیده
این کتاب مجموعه مقالات پس از کارگاه آموزشی هشتمین کارگاه بین المللی زبان ها و فناوری های عامل اعلامی، DALT 2010، در تورنتو، کانادا، در تاریخ 10 می 2010، به عنوان کارگاه ماهواره ای نهمین کنفرانس بین المللی مشترک است. در مورد عوامل خودمختار و سیستم‌های چند عاملی، AAMAS 2010. 7 مقاله کامل اصلاح‌شده ارائه شده همراه با 4 سخنرانی دعوت‌شده به دقت طی دو دور بررسی و بهبود از 24 ارسال اولیه انتخاب شدند. هدف DALT این است که روش‌ها و فن‌آوری‌های اعلامی و رویکردهای رسمی را در دسترس و درک بخش وسیع‌تری از جامعه تحقیقاتی چند عاملی قرار دهد. مقالات در بخش های موضوعی در مورد عوامل منطقی BDI، ارتباطات، هماهنگی و مذاکره، و همچنین جنبه های اجتماعی و سیستم های کنترل سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in Toronto, Canada, on May 10, 2010, as a satellite workshop of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010. The 7 revised full papers presented together with 4 invited lectures were carefully selected during two rounds of reviewing and improvement from 24 initial submissions. DALT aims to make formal methods and declarative technologies and approaches available to and understood by a broader segment of the multi-agent research community; the papers are organized in topical sections on BDI rational agents, communication, coordination and negotiation, as well as social aspects and control systems.
فهرست مطالب
Front Matter....Pages -
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems....Pages 1-21
BDI Agents with Objectives and Preferences....Pages 22-39
Query-Driven Coordination of Multiple Answer Sets....Pages 40-59
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS....Pages 60-77
A Deduction System for Meaning Negotiation....Pages 78-95
Declarative Abstractions for Agent Based Hybrid Control Systems....Pages 96-111
Executing Specifications of Social Reasoning Agents....Pages 112-129
Logic of Information Flow on Communication Channels....Pages 130-147
Distributed Abductive Reasoning with Constraints....Pages 148-166
Understanding Permissions through Graphical Norms....Pages 167-184
Symbolic Model Checking Commitment Protocols Using Reduction....Pages 185-203
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
