دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
دانلود کتاب زبانها و فن آوری های نماینده V: پنجمین کارگاه بین المللی ، DALT 2007 ، هونولولو ، HI ، ایالات متحده ، 14 مه 2007 ، نسخه های تجدید نظر شده منتخب و دعوت شده
مشخصات کتاب
Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
ویرایش: 1 نویسندگان: Leon Sterling (auth.), Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff (eds.) سری: Lecture Notes in Computer Science 4897 Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783540775638, 9783540775645 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 255 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 50,000
کلمات کلیدی مربوط به کتاب زبانها و فن آوری های نماینده V: پنجمین کارگاه بین المللی ، DALT 2007 ، هونولولو ، HI ، ایالات متحده ، 14 مه 2007 ، نسخه های تجدید نظر شده منتخب و دعوت شده: هوش مصنوعی (شامل رباتیک)، شبکه های ارتباطی کامپیوتری، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها
در صورت تبدیل فایل کتاب Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانها و فن آوری های نماینده V: پنجمین کارگاه بین المللی ، DALT 2007 ، هونولولو ، HI ، ایالات متحده ، 14 مه 2007 ، نسخه های تجدید نظر شده منتخب و دعوت شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبانها و فن آوری های نماینده V: پنجمین کارگاه بین المللی ، DALT 2007 ، هونولولو ، HI ، ایالات متحده ، 14 مه 2007 ، نسخه های تجدید نظر شده منتخب و دعوت شده
این کتاب مجموعه مقالات پس از کارگاه آموزشی پنجمین کارگاه بین‌المللی زبانها و فناوری‌های عامل اعلامی، DALT 2007 است که در سال 2007 در هونولولو، ایالات متحده آمریکا برگزار شد.
این یک رویداد مرتبط بود. AAMAS 2007، کنفرانس بین المللی در مورد عوامل مستقل و سیستم های چند عاملی.
11 مقاله کامل، همراه با 1 سخنرانی اصلی و 2 مقاله دعوت شده از کنفرانس اصلی AAMAS، پس از کارگاه به طور قابل توجهی افزایش یافت و با دقت انتخاب شد. برای گنجاندن در این نشریه.
این مقالات رویکردهای اعلامی و رسمی را با جنبه‌های مهندسی و فناوری عامل‌ها و سیستم‌های چندعاملی ترکیب می‌کنند.
این مقالات به‌ویژه بر مدل‌سازی، اهداف، مفاهیم بنیادی و ارتباط.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, USA, in 2007.
It was an associated event of AAMAS 2007, the international conference on autonomous agents and multi-agent systems.
The 11 full papers, together with 1 keynote lecture and 2 invited papers from the AAMAS main conference were substantially enhanced after the workshop and carefully selected for inclusion in this publication.
The papers combine declarative and formal approaches with engineering and technology aspects of agents and multiagent systems.
They focus especially on modeling, goals, foundational concepts, and communication.
فهرست مطالب
Front Matter....Pages -
Agent-Oriented Modelling: Declarative or Procedural?....Pages 1-17
Joint Conversation Specification and Compliance....Pages 18-35
Interoperation in Protocol Enactment....Pages 36-49
Integrating Agent Models and Dynamical Systems....Pages 50-68
Composing High-Level Plans for Declarative Agent Programming....Pages 69-85
Satisfying Maintenance Goals....Pages 86-103
Towards Alternative Approaches to Reasoning About Goals....Pages 104-121
Reflections on Agent Beliefs....Pages 122-139
Modeling Agents’ Choices in Temporal Linear Logic....Pages 140-157
Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints....Pages 158-174
On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition....Pages 175-192
Structured Argumentation in a Mediator for Online Dispute Resolution....Pages 193-210
Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation....Pages 211-226
Component-Based Standardisation of Agent Communication....Pages 227-244
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Constitution Making during State Building
دانلود کتاب Kinanthropometry and Exercise Physiology Laboratory Manual: Tests, Procedures and Data: Volume Two: Physiology
دانلود کتاب Holistic Wellness Treatments for Total Wellbeing, Beauty, and Health: Pamper Yourself to the Max from the Comfort of Your Home
