ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010, Proceedings

دانلود کتاب منطق محاسباتی در سیستم های چند عاملی: یازدهمین کارگاه بین المللی، CLIMA XI، لیسبون، پرتغال، 16-17 اوت 2010، مجموعه مقالات

Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010, Proceedings

مشخصات کتاب

Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010, Proceedings

دسته بندی: ریاضیات محاسباتی
ویرایش:  
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science - Lecture Notes Artificial Intelligence 
ISBN (شابک) : 3642149766, 9783642149764 
ناشر:  
سال نشر: 2010 
تعداد صفحات: 268 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 50,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 21


در صورت تبدیل فایل کتاب Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق محاسباتی در سیستم های چند عاملی: یازدهمین کارگاه بین المللی، CLIMA XI، لیسبون، پرتغال، 16-17 اوت 2010، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب منطق محاسباتی در سیستم های چند عاملی: یازدهمین کارگاه بین المللی، CLIMA XI، لیسبون، پرتغال، 16-17 اوت 2010، مجموعه مقالات

این کتاب مجموعه مقالات یازدهمین کارگاه بین‌المللی منطق محاسباتی در سیستم‌های چند عاملی، CLIMA XI است که در لیسبون، پرتغال، در آگوست 2010 برگزار شد. علاوه بر این، 4 گفتگوی دعوت شده ارائه شده است. هدف از کارگاه های CLIMA فراهم کردن یک انجمن برای بحث در مورد تکنیک های مبتنی بر منطق محاسباتی برای نمایش، برنامه نویسی و استدلال در مورد عامل ها و سیستم های چند عاملی به روش رسمی است. این جلد دارای دو جلسه ویژه موضوعی است: هنجارها و سیستم های چند عامله هنجاری و منطق برای بازی ها و استدلال استراتژیک.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XI, held in Lisbon, Portugal, in August 2010. The 14 papers presented were carefully reviewed and selected from 31 submissions. In addition 4 invited talks are presented. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This volume features two thematic special sessions: norms and normative multi-agent systems and logics for games and strategic reasoning.



فهرست مطالب

Front Matter....Pages -
Is Computational Complexity a Barrier to Manipulation?....Pages 1-7
Games, Norms and Strategic Notions in Information Flow Security....Pages 8-8
Group Announcements: Logic and Games (Abstract of Invited Talk)....Pages 9-13
Strong Equivalence in Argumentation....Pages 14-14
Hypergraphs of Multiparty Secrets....Pages 15-32
Combining Logics in Simple Type Theory....Pages 33-48
Speculative Abductive Reasoning for Hierarchical Agent Systems....Pages 49-64
Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π -Calculus Processes....Pages 65-81
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior....Pages 82-98
Verifying Business Process Compliance by Reasoning about Actions....Pages 99-116
From Organisation Specification to Normative Programming in Multi-Agent Organisations....Pages 117-134
Finding Uniform Strategies for Multi-agent Systems....Pages 135-152
Playing Extensive Form Games in Parallel....Pages 153-170
Exploring the Boundary of Half Positionality....Pages 171-185
Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets....Pages 186-199
An Agent Language with Destructive Assignment and Model-Theoretic Semantics....Pages 200-218
Model Checking Agent Programs by Using the Program Interpreter....Pages 219-237
A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages....Pages 238-255
Back Matter....Pages -




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی