دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
دانلود کتاب نظریه و کاربردهای استدلال رسمی: چهارمین کارگاه بین المللی ، TAFA 2017 ، ملبورن ، VIC ، استرالیا ، 19 تا 20 آگوست 2017 ، مقاله های منتخب اصلاح شده
مشخصات کتاب
Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
ویرایش: 1 نویسندگان: Elizabeth Black, Sanjay Modgil, Nir Oren (eds.) سری: Lecture Notes in Artificial Intelligence 10757 ISBN (شابک) : 9783319755526, 9783319755533 ناشر: Springer International Publishing سال نشر: 2018 تعداد صفحات: 237 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب نظریه و کاربردهای استدلال رسمی: چهارمین کارگاه بین المللی ، TAFA 2017 ، ملبورن ، VIC ، استرالیا ، 19 تا 20 آگوست 2017 ، مقاله های منتخب اصلاح شده: هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه و کاربردهای استدلال رسمی: چهارمین کارگاه بین المللی ، TAFA 2017 ، ملبورن ، VIC ، استرالیا ، 19 تا 20 آگوست 2017 ، مقاله های منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه و کاربردهای استدلال رسمی: چهارمین کارگاه بین المللی ، TAFA 2017 ، ملبورن ، VIC ، استرالیا ، 19 تا 20 آگوست 2017 ، مقاله های منتخب اصلاح شده
این کتاب مجموعه مقالات داوری چهارمین کارگاه بین المللی تئوری
و کاربردهای استدلال رسمی، تافا 2017 است که در ملبورن، VIC،
استرالیا، در آگوست 2017 برگزار شد. این کارگاه به همراه
کنفرانس مشترک بین المللی آرتیفی برگزار شد. اطلاعات اجتماعی
(IJCAI 2017). 15 مقاله کامل اصلاح شده ارائه شده با دقت بررسی
و از بین 20 مقاله ارسالی انتخاب شدند.
این کارگاه موضوعاتی مانند استدلال غیر یکنواخت، تصمیم گیری، ارتباطات بین عاملی، وب معنایی، برنامه های شبکه، هستی شناسی، سیستم های توصیه گر، یادگیری ماشین، شبکه های عصبی، محاسبات اعتماد، سیستم های هنجاری را پوشش می دهد. ، نظریه انتخاب اجتماعی، تجمیع قضاوت و نظریه بازی، و قانون و پزشکی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 4th
International Workshop on the Theory and Applications of
Formal Argumentation, TAFA 2017, held in Melbourne, VIC,
Australia, in August 2017. The workshop was co-located with
International Joint Conference on Artifi cial
Intelligence(IJCAI 2017). The 15 revised full papers
presented were carefully reviewed and selected from 20
submissions.
The workshops covers the subjects such as non-monotonic reasoning, decision making, inter-agent communication, the semantic web, grid applications, ontologies, recommender systems, machine learning, neural networks, trust computing, normative systems, social choice theory, judgement aggregation and game theory, and law and medicine.
فهرست مطالب
Front Matter ....Pages I-X
An Investigation of Argumentation Framework Characteristics (Josh Murphy, Isabel Sassoon, Michael Luck, Elizabeth Black)....Pages 1-16
Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM (AnneMarie Borg, Ofer Arieli, Christian Straßer)....Pages 17-34
On the Interaction Between Logic and Preference in Structured Argumentation (Anthony P. Young, Sanjay Modgil, Odinaldo Rodrigues)....Pages 35-50
ASPIC-END: Structured Argumentation with Explanations and Natural Deduction (Jérémie Dauphin, Marcos Cramer)....Pages 51-66
On the Links Between Argumentation-Based Reasoning and Nonmonotonic Reasoning (Zimi Li, Nir Oren, Simon Parsons)....Pages 67-85
Extended Explanatory Argumentation Frameworks (Jérémie Dauphin, Marcos Cramer)....Pages 86-101
Probabilities on Extensions in Abstract Argumentation (Matthias Thimm, Pietro Baroni, Massimiliano Giacomin, Paolo Vicig)....Pages 102-119
A Forward Propagation Algorithm for the Computation of the Semantics of Argumentation Frameworks (Odinaldo Rodrigues)....Pages 120-136
The Formal Argumentation Libraries of Tweety (Matthias Thimm)....Pages 137-142
Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation (Nils Geilen, Matthias Thimm)....Pages 143-149
EqArgSolver – System Description (Odinaldo Rodrigues)....Pages 150-158
Team Persuasion (David Kohan Marzagão, Josh Murphy, Anthony P. Young, Marcelo Matheus Gauy, Michael Luck, Peter McBurney et al.)....Pages 159-174
Towards a General Framework for Dialogues That Accommodate Reasoning About Preferences (Sanjay Modgil)....Pages 175-191
Enumerating Preferred Extensions: A Case Study of Human Reasoning (Alice Toniolo, Timothy J. Norman, Nir Oren)....Pages 192-210
A Dynamic Model of Trust in Dialogues (Gideon Ogunniye, Alice Toniolo, Nir Oren)....Pages 211-226
Back Matter ....Pages 227-227
نظرات کاربران
کتاب های تصادفی
دانلود کتاب DSLR Photography: Learn How to Make Photographs Like a Professional Using Your DSLR camera
دانلود کتاب Werkstoffe für die Elektrotechnik: Mikrophysik, Struktur, Eigenschaften
