دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theorie and Applications of Formal Argumentation: First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers
دانلود کتاب نظریه و کاربردهای استدلال رسمی: اولین کارگاه بین المللی، تافا 2011. بارسلون، اسپانیا، 16-17 جولای، 2011، مقالات منتخب اصلاح شده
مشخصات کتاب
Theorie and Applications of Formal Argumentation: First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers
ویرایش: 1 نویسندگان: Hengfei Li, Nir Oren, Timothy J. Norman (auth.), Sanjay Modgil, Nir Oren, Francesca Toni (eds.) سری: Lecture Notes in Computer Science 7132 ISBN (شابک) : 9783642291838, 9783642291845 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 289 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 47,000
در صورت تبدیل فایل کتاب Theorie and Applications of Formal Argumentation: First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه و کاربردهای استدلال رسمی: اولین کارگاه بین المللی، تافا 2011. بارسلون، اسپانیا، 16-17 جولای، 2011، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه و کاربردهای استدلال رسمی: اولین کارگاه بین المللی، تافا 2011. بارسلون، اسپانیا، 16-17 جولای، 2011، مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات داوری کامل اولین کارگاه بین المللی نظریه و کاربردهای استدلال رسمی، TAFA 2011 است که در بارسلونا، اسپانیا، در جولی 2011، به عنوان کارگاه آموزشی در IJCAI 2011، بیست و دومین کنفرانس بین المللی مشترک در مورد هوش مصنوعی. 9 مقاله کامل اصلاح شده ارائه شده همراه با 8 مقاله پوستر اصلاح شده با دقت در طی دو دور بررسی و بهبود از 32 ارسال اولیه انتخاب شدند. این کارگاه به ترویج و تقویت استدلال به عنوان یک پارادایم هوش مصنوعی قابل دوام با کاربردهای گسترده می‌پردازد و یک انجمن برای توسعه بیشتر ایده‌ها و شروع همکاری‌های جدید و نوآورانه فراهم می‌کند. این مقالات موضوعات زیر را پوشش می دهد: ویژگی های مدل های رسمی استدلال. نمونه هایی از چارچوب های استدلال انتزاعی؛ روابط بین چارچوب های استدلال مختلف؛ کاربردهای عملی مدل های رسمی استدلال؛ استدلال و سایر تکنیک های هوش مصنوعی؛ ارزیابی مدل‌های رسمی استدلال؛ اعتبار سنجی و ارزیابی کاربردهای استدلال.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2011, held in Barcelona, Spain, in Juli 2011, as a workshop at IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 9 revised full papers presented together with 8 revised poster papers were carefully selected during two rounds of reviewing and improvement from 32 initial submissions. The workshop promotes and fosters uptake of argumentation as a viable AI paradigm with wide ranging application, and provides a forum for further development of ideas and the initiation of new and innovative collaborations. The papers cover the following topics: properties of formal models of argumentation; instantiations of abstract argumentation frameworks; relationships among different argumentation frameworks; practical applications of formal models of argumentation; argumentation and other artificial intelligence techniques; evaluation of formal models of argumentation; validation and evaluation of applications of argumentation.
فهرست مطالب
Front Matter....Pages -
Probabilistic Argumentation Frameworks....Pages 1-16
Splitting Argumentation Frameworks: An Empirical Evaluation....Pages 17-31
On the Complexity of Computing the Justification Status of an Argument....Pages 32-49
Arguments over Co-operative Plans....Pages 50-66
An Implemented Dialogue System for Inquiry and Persuasion....Pages 67-84
An Argumentation Framework for Qualitative Multi-criteria Preferences....Pages 85-98
Modeling and Solving AFs with a Constraint-Based Tool: ConArg....Pages 99-116
Resource Boundedness and Argumentation....Pages 117-131
An Empirical Study of a Deliberation Dialogue System....Pages 132-146
Selective Revision by Deductive Argumentation....Pages 147-162
A Three-Layer Argumentation Framework....Pages 163-180
Stable Extensions in Timed Argumentation Frameworks....Pages 181-196
Computing with Infinite Argumentation Frameworks: The Case of AFRAs....Pages 197-214
Multi-sorted Argumentation....Pages 215-231
Conditional Labelling for Abstract Argumentation....Pages 232-248
Bottom-Up Argumentation....Pages 249-262
A First Step towards Argumentation Dialogues for Discovery....Pages 263-279
Back Matter....Pages -
