دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
دانلود کتاب زبانها و فنون عامل اعلامیه VI: 6th Workshop International، DALT 2008، Estoril، Portugal، 12 مه 2008، مقالات منتشره و دعوت شده
مشخصات کتاب
Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
ویرایش: [1 ed.] نویسندگان: Nicoletta Fornara, Marco Colombetti (auth.), Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff (eds.) سری: Lecture Notes in Computer Science 5397 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540939199, 9783540939191 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 251 [261] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانها و فنون عامل اعلامیه VI: 6th Workshop International، DALT 2008، Estoril، Portugal، 12 مه 2008، مقالات منتشره و دعوت شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبانها و فنون عامل اعلامیه VI: 6th Workshop International، DALT 2008، Estoril، Portugal، 12 مه 2008، مقالات منتشره و دعوت شده
این جلد مقالات منتخب ششمین کارگاه بین المللی DALT 2008 را تشکیل می دهد که به عنوان کارگاه ماهواره ای AAMAS 2008، هفتمین کنفرانس مشترک بین المللی در مورد عوامل خودمختار و سیستم های چند عاملی، در استوریل، پرتغال، در 12 می برگزار شد. , 2008.
12 مقاله ارائه شده همراه با 3 مقاله دعوت شده، به دقت بررسی و از 14 مقاله ارسالی انتخاب شدند. این کارگاه یک تالار گفتگو برای هر دو (1) حمایت از انتقال پارادایم‌ها و تکنیک‌های اعلامی به جامعه گسترده‌تر محققان و متخصصان عامل، و (ii) جلب توجه موضوع طراحی سیستم‌های عامل پیچیده به توجه محققانی که در زمینه اظهاری کار می‌کنند، فراهم کرد. زبان ها و فناوری ها
توضیحاتی درمورد کتاب به خارجی
This volume constitutes the revised selected papers of the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, in Estoril, Portugal, on May 12, 2008.
The 12 papers, presented together with 3 invited papers, were carefully reviewed and selected from 14 submissions. The workshop provided a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of researchers working on declarative languages and technologies.
فهرست مطالب
Front Matter....Pages -
Specifying and Enforcing Norms in Artificial Institutions....Pages 1-17
Social Norm Emergence in Virtual Agent Societies....Pages 18-28
A Distributed Normative Infrastructure for Situated Multi-agent Organisations....Pages 29-46
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications....Pages 47-59
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages....Pages 60-74
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions....Pages 75-90
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies....Pages 91-110
Leveraging New Plans in AgentSpeak(PL)....Pages 111-127
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading....Pages 128-142
Inductive Negotiation in Answer Set Programming....Pages 143-160
Mental State Abduction of BDI-Based Agents....Pages 161-178
Iterated Belief Revision in the Face of Uncertain Communication....Pages 179-196
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms....Pages 197-214
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming....Pages 215-232
Strategic Agent Communication: An Argumentation-Driven Approach....Pages 233-250
Back Matter....Pages -
