ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Theory and Applications of Formal Argumentation: Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers

دانلود کتاب تئوری و کاربرد بحث های رسمی: دومین کارگاه آموزشی بین المللی، TAFA 2013، پکن، چین، 3-5 اوت 2013، مقالات انتخاب شده اصلاح شده

Theory and Applications of Formal Argumentation: Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers

مشخصات کتاب

Theory and Applications of Formal Argumentation: Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers

ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 8306 Lecture Notes in Artificial Intelligence 
ISBN (شابک) : 9783642543722, 9783642543739 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2014 
تعداد صفحات: 219 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

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



کلمات کلیدی مربوط به کتاب تئوری و کاربرد بحث های رسمی: دومین کارگاه آموزشی بین المللی، TAFA 2013، پکن، چین، 3-5 اوت 2013، مقالات انتخاب شده اصلاح شده: هوش مصنوعی (شامل رباتیک)، نظریه محاسبات



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

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


در صورت تبدیل فایل کتاب Theory and Applications of Formal Argumentation: Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تئوری و کاربرد بحث های رسمی: دومین کارگاه آموزشی بین المللی، TAFA 2013، پکن، چین، 3-5 اوت 2013، مقالات انتخاب شده اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تئوری و کاربرد بحث های رسمی: دومین کارگاه آموزشی بین المللی، TAFA 2013، پکن، چین، 3-5 اوت 2013، مقالات انتخاب شده اصلاح شده



این کتاب مجموعه مقالات داوری دومین کارگاه بین المللی نظریه و کاربردهای استدلال رسمی، تافا 2013، در پکن، چین، در آگوست 2013 برگزار شد. این کارگاه با IJCAI 2013 برگزار شد. مقالات ارائه شده به دقت بررسی و از بین 22 مقاله ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی مانند چارچوب‌های استدلال انتزاعی، استدلال انتزاعی اجتماعی با رأی‌گیری در مورد حملات، شکل عادی چارچوب‌های استدلال، استدلال مبتنی بر فرض، طرح‌های استدلال برای استدلال عملی هنجاری سازمان‌دهی شده‌اند.


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

This book constitutes the refereed proceedings of the second International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2013, held in Beijing, China, in August 2013. The Workshop was co-located with IJCAI 2013. The 15 revised full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections such as abstract argumentation frameworks, social abstract argumentation with votes on attacks, a normal form of argumentation frameworks, assumption-based argumentation, argument schemes for normative practical reasoning.



فهرست مطالب

Front Matter....Pages -
Revisiting Abstract Argumentation Frameworks....Pages 1-15
Extending Social Abstract Argumentation with Votes on Attacks....Pages 16-31
A Normal Form for Argumentation Frameworks....Pages 32-45
Graph-Based Dispute Derivations in Assumption-Based Argumentation....Pages 46-62
Argument Schemes for Normative Practical Reasoning....Pages 63-78
Argumentation Accelerated Reinforcement Learning for RoboCup Keepaway-Takeaway....Pages 79-94
Towards Agent Dialogue as a Tool for Capturing Software Design Discussions....Pages 95-110
On the Maximal and Average Numbers of Stable Extensions....Pages 111-126
Decision Making with Assumption-Based Argumentation....Pages 127-142
Justifying Underlying Desires for Argument-Based Reconciliation....Pages 143-157
The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract Argumentation....Pages 158-175
Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach....Pages 176-193
Computing Preferred Labellings by Exploiting SCCs and Most Sceptically Rejected Arguments....Pages 194-208
Back Matter....Pages -




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