ترجمه فارسی توضیحات (ترجمه ماشینی)
منطق محاسباتی در سیستم های چند عاملی: یازدهمین کارگاه بین المللی، 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.
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.