دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Simon Parsons, Yuqing Tang, Kai Cai, Elizabeth Sklar, Peter McBurney (auth.), João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre (eds.) سری: Lecture Notes in Computer Science 6814 ISBN (شابک) : 9783642223587, 9783642223594 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 397 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
کلمات کلیدی مربوط به کتاب منطق محاسباتی در سیستم های چند عاملی: دوازدهمین کارگاه بین المللی، CLIMA XII، بارسلونا، اسپانیا، 17-18 ژوئیه، 2011. مجموعه مقالات: هوش مصنوعی (شامل رباتیک)، مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، شبکه های ارتباطی کامپیوتری، زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق محاسباتی در سیستم های چند عاملی: دوازدهمین کارگاه بین المللی، CLIMA XII، بارسلونا، اسپانیا، 17-18 ژوئیه، 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات دوازدهمین کارگاه بینالمللی منطق محاسباتی در سیستمهای چند عاملی، CLIMA XII است که در بارسلونا، اسپانیا، در ژوئیه 2011 برگزار شد. . هدف از کارگاه های CLIMA فراهم کردن یک انجمن برای بحث در مورد تکنیک های مبتنی بر منطق محاسباتی برای نمایش، برنامه نویسی و استدلال در مورد عامل ها و سیستم های چند عاملی به روش رسمی است. این جلد دارای پنج جلسه موضوعی ویژه است: رازها و اعتماد، دانش و باورها، منطق بازیها و انتخاب اجتماعی، همکاری، منطق و زبان، و هنجارها و سیستمهای چند عامله هنجاری.
This book constitutes the proceedings of the 12th
International Workshop on Computational Logic in Multi-Agent
Systems, CLIMA XII, held in Barcelona, Spain, in July
2011.
The 22 papers presented were carefully reviewed and selected
from 43 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 volume features five thematic special sessions:
secrets and trust, knowledge and beliefs, logics for games
and social choice, cooperation, logic and languages, and
norms and normative multi-agent systems.
Front Matter....Pages -
Some Thoughts on Using Argumentation to Handle Trust....Pages 1-12
Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic....Pages 13-28
The Functional Dependence Relation on Hypergraphs of Secrets....Pages 29-40
Three Steps....Pages 41-57
A Modal Framework for Relating Belief and Signed Information....Pages 58-73
On the Definability of Simulability and Bisimilarity by Finite Epistemic Models....Pages 74-87
Applications of Logic in Social Choice Theory....Pages 88-91
A Geometric Look at Manipulation....Pages 92-104
Alternating-Time Temporal Announcement Logic....Pages 105-121
Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information....Pages 122-138
Reasoning about Joint Action and Coalitional Ability in K n with Intersection....Pages 139-156
Ontology Merging as Social Choice....Pages 157-170
Social Commitment Delegation and Monitoring....Pages 171-189
Verifying Team Formation Protocols with Probabilistic Model Checking....Pages 190-207
Abduction-Based Search for Cooperative Answers....Pages 208-224
Reasoning about Exceptions to Contracts....Pages 225-242
Probabilistic Rule Learning in Nonmonotonic Domains....Pages 243-258
A Formal Semantics for Brahms....Pages 259-274
Making Golog Norm Compliant....Pages 275-292
Probabilistic Action and Deontic Logic....Pages 293-294
A Dynamic Logic of Institutional Actions....Pages 295-311
A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts....Pages 312-329
Normative Systems Represented as Hybrid Knowledge Bases....Pages 330-346
Acting on Norm Constrained Plans....Pages 347-363
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance....Pages 364-382
Back Matter....Pages -