دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
دانلود کتاب بررسی مدل و هوش مصنوعی: ششمین کارگاه بین المللی ، MoChArt 2010 ، آتلانتا ، GA ، ایالات متحده ، 11 ژوئیه 2010 ، نسخه های تجدید نظر شده منتخب و دعوت شده
مشخصات کتاب
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
ویرایش: 1 نویسندگان: Hector Geffner (auth.), Ron van der Meyden, Jan-Georg Smaus (eds.) سری: Lecture Notes in Computer Science 6572 Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783642206740, 3642206743 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 139 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب بررسی مدل و هوش مصنوعی: ششمین کارگاه بین المللی ، MoChArt 2010 ، آتلانتا ، GA ، ایالات متحده ، 11 ژوئیه 2010 ، نسخه های تجدید نظر شده منتخب و دعوت شده: هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی، مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بررسی مدل و هوش مصنوعی: ششمین کارگاه بین المللی ، MoChArt 2010 ، آتلانتا ، GA ، ایالات متحده ، 11 ژوئیه 2010 ، نسخه های تجدید نظر شده منتخب و دعوت شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب بررسی مدل و هوش مصنوعی: ششمین کارگاه بین المللی ، MoChArt 2010 ، آتلانتا ، GA ، ایالات متحده ، 11 ژوئیه 2010 ، نسخه های تجدید نظر شده منتخب و دعوت شده
این کتاب نسخه های اصلاح شده مقالات برگزیده از ششمین کارگاه
بررسی مدل و هوش مصنوعی، MoChArt 2010، که در آتلانتا، GA،
ایالات متحده در ژوئیه 2010 برگزار شد، و همچنین مقالات ارائه
شده پس از آن به کارگاه ارائه می کند.
7 مقاله ارائه شده با دقت بررسی و برای گنجاندن در این کتاب
انتخاب شدند. علاوه بر این، این کتاب همچنین حاوی چکیده ای
مبسوط از سخنرانی دعوت شده در کارگاه است.
موضوعات تحت پوشش این مقالات عبارتند از الگوریتم‌های جستجوی
عمومی، کاربرد تکنیک‌های هوش مصنوعی برای تأیید خودکار برنامه،
سیستم‌های چندعاملی و منطق معرفتی، انتزاع، بررسی مدل معرفتی، و
تئوری بررسی مدل.
توضیحاتی درمورد کتاب به خارجی
This book presents revised versions of selected papers from
the 6th Workshop on Model Checking and Artificial
Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July
2010, as well as papers contributed subsequent to the
workshop.
The 7 papers presented were carefully reviewed and selected
for inclusion in this book. In addition, the book also
contains an extended abstract of the invited talk held at the
workshop.
The topics covered by these papers are general search
algorithms, application of AI techniques to automated program
verification, multiagent systems and epistemic logic,
abstraction, epistemic model checking, and theory of model
checking.
فهرست مطالب
Front Matter....Pages -
Planning with Incomplete Information....Pages 1-11
External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU....Pages 12-31
Program Model Checking via Action Planning....Pages 32-51
Automatic Data-Abstraction in Model Checking Multi-Agent Systems....Pages 52-68
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction....Pages 69-84
The Blow-Up in Translating LTL to Deterministic Automata....Pages 85-94
Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic....Pages 95-111
Symbolic Model Checking the Knowledge in Herbivore Protocol....Pages 112-129
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Στοιχειώδης λογική μετά στοιχείων γνωσιολογίας προς χρήσιν των μαθητών της ΣΤ΄ τάξεως των Εξαταξίων Γυμνασίων παλαιού τύπουe
دانلود کتاب Treating Alcohol and Drug Problems in Psychotherapy Practice: Doing What Works
دانلود کتاب Всеобщее обучение
