دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers ...
دانلود کتاب بررسی مدل و هوش مصنوعی: پنجمین کارگاه بین المللی ، MoChArt 2008 ، پاتراس ، یونان ، 21 ژوئیه 2008 ، بازبینی های منتخب و دعوت شده ...
مشخصات کتاب
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers ...
ویرایش: نویسندگان: Doron A. Peled, Michael Wooldridge سری: Lecture Notes in Computer Science - Lecture Notes Artificial Intelligence ISBN (شابک) : 364200430X, 9783642004308 ناشر: Springer سال نشر: 2009 تعداد صفحات: 195 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 44,000
در صورت تبدیل فایل کتاب Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers ... به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بررسی مدل و هوش مصنوعی: پنجمین کارگاه بین المللی ، MoChArt 2008 ، پاتراس ، یونان ، 21 ژوئیه 2008 ، بازبینی های منتخب و دعوت شده ... نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب بررسی مدل و هوش مصنوعی: پنجمین کارگاه بین المللی ، MoChArt 2008 ، پاتراس ، یونان ، 21 ژوئیه 2008 ، بازبینی های منتخب و دعوت شده ...
این کتاب مجموعه مقالات پس از کارگاه آموزشی پنجمین کارگاه بررسی مدل و هوش مصنوعی، MOCHART 2008 است که در ژوئیه 2008 در پاتراس، یونان، به عنوان رویداد ماهواره ای ECAI 2008، هجدهمین کنفرانس دوسالانه اروپایی در زمینه هوش مصنوعی، برگزار شد. 9 مقاله کارگاه کامل اصلاح شده ارائه شده همراه با 2 سخنرانی دعوت شده، دو دور بررسی و بهبود را پشت سر گذاشته اند و برای گنجاندن در کتاب به دقت انتخاب شده اند. این کارگاه تمام ایده‌ها، تحقیقات، آزمایش‌ها و ابزارهایی را که به هر دو زمینه MC و AI مرتبط هستند، پوشش می‌دهد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields.
فهرست مطالب
Front Matter....Pages -
Verifying Time and Communication Costs of Rule-Based Reasoners....Pages 1-14
Solving μ -Calculus Parity Games by Symbolic Planning....Pages 15-33
Verifying Robocup Teams....Pages 34-48
Scaling Search with Pattern Databases....Pages 49-64
Survey on Directed Model Checking....Pages 65-89
Automated Testing of Planning Models....Pages 90-105
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic....Pages 106-121
Model Checking Driven Heuristic Search for Correct Programs....Pages 122-131
Experimental Evaluation of a Planning Language Suitable for Formal Verification....Pages 132-146
Relaxation Refinement: A New Method to Generate Heuristic Functions....Pages 147-165
Model Checking Strategic Equilibria....Pages 166-188
Back Matter....Pages -
