دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Declarative Agent Languages and Technologies IV: 4th International Workshop, Dalt 2006, Hakodate, Japan, May 8, 2006: Selected, Revised and Invited Papers
دانلود کتاب چهارمین کارگاه آموزشی بین المللی، دانت 2006، هکودات، ژاپن، 8 می 2006: مقالات انتخاب شده، تجدید نظر شده و دعوت شده
مشخصات کتاب
Declarative Agent Languages and Technologies IV: 4th International Workshop, Dalt 2006, Hakodate, Japan, May 8, 2006: Selected, Revised and Invited Papers
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Matteo Baldoni. Ulle Endriss سری: ISBN (شابک) : 9783540689591, 3540689591 ناشر: Springer سال نشر: 2007 تعداد صفحات: 264 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 58,000
در صورت تبدیل فایل کتاب Declarative Agent Languages and Technologies IV: 4th International Workshop, Dalt 2006, Hakodate, Japan, May 8, 2006: Selected, Revised and Invited Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب چهارمین کارگاه آموزشی بین المللی، دانت 2006، هکودات، ژاپن، 8 می 2006: مقالات انتخاب شده، تجدید نظر شده و دعوت شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب چهارمین کارگاه آموزشی بین المللی، دانت 2006، هکودات، ژاپن، 8 می 2006: مقالات انتخاب شده، تجدید نظر شده و دعوت شده
این کتاب مجموعه مقالات پس از داوری کامل چهارمین کارگاه بین‌المللی زبان‌ها و فناوری‌های عامل اعلامی، DALT 2006 است که در مه 2006 در Hakodate، ژاپن به عنوان رویداد مرتبط AAMAS 2006، کنفرانس بین‌المللی اصلی در مورد عوامل مستقل و چندگانه برگزار شد. سیستم های عامل
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies, DALT 2006, held in Hakodate, Japan in May 2006 as an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems.
فهرست مطالب
Front Matter....Pages -
Producing Compliant Interactions: Conformance, Coverage, and Interoperability....Pages 1-15
Towards Theory Translation....Pages 16-28
The Complexity of Model Checking Concurrent Programs Against CTLK Specifications....Pages 29-42
Dynamic Model Checking for Multi-agent Systems....Pages 43-60
Automating Belief Revision for AgentSpeak....Pages 61-77
A Foundational Ontology of Organizations and Roles....Pages 78-88
When Agents Communicate Hypotheses in Critical Situations....Pages 89-104
A Fibred Tableau Calculus for Modal Logics of Agents....Pages 105-122
Programming Declarative Goals Using Plan Patterns....Pages 123-140
JADL – An Agent Description Language for Smart Agents....Pages 141-155
Agreeing on Defeasible Commitments....Pages 156-173
A Dynamic Logic Programming Based System for Agents with Declarative Goals....Pages 174-190
A Collaborative Framework to Realize Virtual Enterprises Using 3APL....Pages 191-206
A Modeling Framework for Generic Agent Interaction Protocols....Pages 207-224
Plan Generation and Plan Execution in Agent Programming....Pages 225-238
A Functional Program for Agents, Actions, and Deontic Specifications....Pages 239-256
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings
دانلود کتاب The Semantic Web – ISWC 2005: 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings
دانلود کتاب KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings
دانلود کتاب Groups — Korea 1988: Proceedings of a Conference on Group Theory, held in Pusan, Korea, August 15–21, 1988
دانلود کتاب Privacy in Statistical Databases: CENEX-SDC Project International Conference, PSD 2006, Rome, Italy, December 13-15, 2006. Proceedings
دانلود کتاب Data Warehousing and Knowledge Discovery: 4th International Conference, DaWaK 2002 Aix-en-Provence, France, September 4–6, 2002 Proceedings
دانلود کتاب The Identification of Dark Matter: Proceedings of the 6th International Workshop, Rhodes, Greece, 11-16 September 2006
دانلود کتاب Home Workshop Prototype Firearms: How To Design, Build, And Sell Your Own Small Arms
دانلود کتاب Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
