دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computational Logic in Multi-Agent Systems: 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings
دانلود کتاب منطق محاسباتی در سیستم های چند عاملی: پانزدهمین کارگاه بین المللی، CLIMA XV، پراگ، جمهوری چک، 18-19 اوت 2014. مجموعه مقالات
مشخصات کتاب
Computational Logic in Multi-Agent Systems: 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings
ویرایش: 1 نویسندگان: Nils Bulling, Leendert van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos (eds.) سری: Lecture Notes in Computer Science 8624 Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783319097633, 9783319097640 ناشر: Springer International Publishing سال نشر: 2014 تعداد صفحات: 213 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب منطق محاسباتی در سیستم های چند عاملی: پانزدهمین کارگاه بین المللی، CLIMA XV، پراگ، جمهوری چک، 18-19 اوت 2014. مجموعه مقالات: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان‌های رسمی، مهندسی نرم‌افزار، زبان‌های برنامه‌نویسی، کامپایلرها، مفسران، منطق‌ها و معانی برنامه‌ها، کاربردهای سیستم‌های اطلاعاتی (شامل اینترنت)
در صورت تبدیل فایل کتاب Computational Logic in Multi-Agent Systems: 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق محاسباتی در سیستم های چند عاملی: پانزدهمین کارگاه بین المللی، CLIMA XV، پراگ، جمهوری چک، 18-19 اوت 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق محاسباتی در سیستم های چند عاملی: پانزدهمین کارگاه بین المللی، CLIMA XV، پراگ، جمهوری چک، 18-19 اوت 2014. مجموعه مقالات
این کتاب مجموعه مقالات پانزدهمین کارگاه بین‌المللی منطق
محاسباتی در سیستم‌های چند عاملی، CLIMA XV است که در پراگ،
جمهوری چک، در آگوست 2014 برگزار شد.
12 مقاله منظم با دقت بررسی و از 20 مقاله انتخاب شدند. ارسالی
ها هدف از کارگاه های CLIMA فراهم کردن یک انجمن برای بحث در
مورد تکنیک های مبتنی بر منطق محاسباتی برای نمایش، برنامه
نویسی و استدلال در مورد عامل ها و سیستم های چند عاملی به روش
رسمی است. این نسخه دارای دو جلسه ویژه خواهد بود: منطق برای
فناوری های توافق و منطق برای بازی ها، استدلال استراتژیک، و
انتخاب اجتماعی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 15th
International Workshop on Computational Logic in Multi-Agent
Systems, CLIMA XV, held in Prague, Czech Republic, in August
2014.
The 12 regular papers were carefully reviewed and selected
from 20 submissions. 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 edition will feature two special sessions: logics
for agreement technologies and logics for games, strategic
reasoning, and social choice.
فهرست مطالب
Front Matter....Pages -
On the Complexity of Two-Agent Justification Logic....Pages 1-18
Fair Allocation of Group Tasks According to Social Norms....Pages 19-34
A Conceptual Model for Situated Artificial Institutions....Pages 35-51
Evolving Bridge Rules in Evolving Multi-Context Systems....Pages 52-69
Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic....Pages 70-86
Automated Planning of Simple Persuasion Dialogues....Pages 87-104
Empirical Evaluation of Strategies for Multiparty Argumentative Debates....Pages 105-122
How to Build Input/Output Logic....Pages 123-137
The Problem of Judgment Aggregation in the Framework of Boolean-Valued Models....Pages 138-147
A Behavioral Hierarchy of Strategy Logic....Pages 148-165
Synthesis and Verification of Uniform Strategies for Multi-agent Systems....Pages 166-182
Partial Information and Uniform Strategies....Pages 183-198
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Chemical Reactions (Essential Chemistry)
دانلود کتاب Geographical Distribution of Financial Flows to Developing Countries: Disbursements, Commitments, Country Indicators - Repartition geographique des ressources financieres allouees aux pays en developpement : Versements, Engagements, Indicateurs par pays
دانلود کتاب How Everything Works: Making Physics Out of the Ordinary
دانلود کتاب Regímenes de historicidad: presentismo y experiencias del tiempo
