دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
دانلود کتاب منطق محاسباتی در سیستم های چند عامل: دهمین کارگاه بین المللی، CLIMA X، هامبورگ، آلمان، 9 تا 10 سپتامبر 2009، مقالات انتخاب شده و دعوت شده تجدید نظر شده
مشخصات کتاب
Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
ویرایش: 1 نویسندگان: Tran Cao Son, Enrico Pontelli (auth.), Jürgen Dix, Michael Fisher, Peter Novák (eds.) سری: Lecture Notes in Computer Science 6214 Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783642168666, 9783642168673 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 204 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 32,000
کلمات کلیدی مربوط به کتاب منطق محاسباتی در سیستم های چند عامل: دهمین کارگاه بین المللی، CLIMA X، هامبورگ، آلمان، 9 تا 10 سپتامبر 2009، مقالات انتخاب شده و دعوت شده تجدید نظر شده: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، شبکه های ارتباطی کامپیوتری، مهندسی نرم افزار، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق محاسباتی در سیستم های چند عامل: دهمین کارگاه بین المللی، CLIMA X، هامبورگ، آلمان، 9 تا 10 سپتامبر 2009، مقالات انتخاب شده و دعوت شده تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق محاسباتی در سیستم های چند عامل: دهمین کارگاه بین المللی، CLIMA X، هامبورگ، آلمان، 9 تا 10 سپتامبر 2009، مقالات انتخاب شده و دعوت شده تجدید نظر شده
این کتاب مجموعه مقالات پس از کنفرانس به طور کامل داوری شده و تجدید نظر شده دهمین کارگاه بین المللی منطق محاسباتی برای سیستم های چند عاملی، CLIMA X، برگزار شده در هامبورگ، آلمان، در سپتامبر 2009 - هم محل با MATES 2009، هفتمین کنفرانس آلمان است. در مورد فن آوری های سیستم چند عاملی. 9 مقاله کامل ارائه شده همراه با یک مقاله دعوت شده، از بین 18 مقاله ارسالی به دقت انتخاب و بررسی شدند. موضوعات تحت پوشش عبارتند از رویکردهای رسمی و بررسی مدل، باور-میل-نیت، برنامه نویسی مجموعه پاسخ و سیستم های (چند عاملی)، و هماهنگی و مشورت.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed and revised post-conference proceedings of the 10th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA X, held in Hamburg, Germany, in September 2009 - co-located with MATES 2009, the 7th German conference on Multi-Agent System Technologies. The 9 full papers, presented together with one invited paper, were carefully selected and reviewed from 18 submissions. The topics covered are formal approaches and model checking, belief-desire-intention, answer set programming and (multi-)agent systems, and coordination and deliberation.
فهرست مطالب
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 -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب La donna che non può dimenticare
دانلود کتاب Meldewesen für Finanzinstitute: Was bringt die neue europäische Aufsicht?
دانلود کتاب Policing the Inner City in France, Britain, and the US
