دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
دانلود کتاب زبانها و فن آوریهای نماینده اعلامیه IX: نهمین کارگاه بین المللی ، DALT 2011 ، تایپه ، تایوان ، 3 مه 2011 ، مقالات تجدید نظر شده و دعوت شده
مشخصات کتاب
Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
ویرایش: 1 نویسندگان: Wiebe van der Hoek (auth.), Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff (eds.) سری: Lecture Notes in Computer Science 7169 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783642291128, 9783642291135 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 162 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 34,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب زبانها و فن آوریهای نماینده اعلامیه IX: نهمین کارگاه بین المللی ، DALT 2011 ، تایپه ، تایوان ، 3 مه 2011 ، مقالات تجدید نظر شده و دعوت شده: هوش مصنوعی (شامل رباتیک)، مدل ها و اصول، شبکه های ارتباطی کامپیوتری، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها
در صورت تبدیل فایل کتاب Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانها و فن آوریهای نماینده اعلامیه IX: نهمین کارگاه بین المللی ، DALT 2011 ، تایپه ، تایوان ، 3 مه 2011 ، مقالات تجدید نظر شده و دعوت شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبانها و فن آوریهای نماینده اعلامیه IX: نهمین کارگاه بین المللی ، DALT 2011 ، تایپه ، تایوان ، 3 مه 2011 ، مقالات تجدید نظر شده و دعوت شده
این کتاب مجموعه مقالات پس از داوری کامل نهمین کارگاه بین المللی زبان ها و فناوری های عامل اعلامی، DALT 2011، برگزار شده در تایپه، تایوان، در ماه مه 2011 است. این جلد شامل 6 منتخب اصلاح شده است که در DALT 2011 ارائه شده است، 7 بهترین مقالاتی از سری DALT در طول سال ها، توضیح می دهد که چگونه تحقیق توسعه یافته و چگونه بر جامعه تأثیر گذاشته و تأثیر گذاشته است، کارهای پیشرفته و بعدی، و دو مقاله دعوت شده از مدرسه بهار DALT، که در آوریل انجام شد. 2011.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, held in Taipei, Taiwan, in May 2011. The volume contains 6 revised selected presented at DALT 2011, 7 best papers from the DALT series over the years, explaining how the research developed and how it influenced and impacted the community, the state-of-the-art and subsequent work, and two invited papers from the DALT Spring School, which took place in April 2011.
فهرست مطالب
Front Matter....Pages -
Control and Delegation....Pages 1-2
Plan Indexing for State-Based Plans....Pages 3-15
An Integrated Formal Framework for Reasoning about Goal Interactions....Pages 16-32
Probing Attacks on Multi-Agent Systems Using Electronic Institutions....Pages 33-50
Detecting Conflicts in Commitments....Pages 51-66
Formalizing Commitments Using Action Languages....Pages 67-83
Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective....Pages 84-89
The Evolution of Interoperability....Pages 90-94
1000 Years of Coo-BDI....Pages 95-101
A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective....Pages 102-110
Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages....Pages 111-116
Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review....Pages 117-119
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language....Pages 120-127
Web Service Composition via Organisation-Based (Re)Planning....Pages 128-148
Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification....Pages 149-151
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Sequencing of Proteins and Peptides
دانلود کتاب Scanning probe microscopes. Application in science and technology
دانلود کتاب Humor, Satire, and Identity: Eastern German Literature in the 1990s
