ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Recent Advances in AI Planning: 5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999. Proceedings

دانلود کتاب پیشرفت های اخیر در برنامه ریزی هوش مصنوعی: پنجمین کنفرانس اروپایی در مورد برنامه ریزی ، ECP99 ، دورهام ، انگلیس ، 8-10 سپتامبر 1999. مجموعه مقالات

Recent Advances in AI Planning: 5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999. Proceedings

مشخصات کتاب

Recent Advances in AI Planning: 5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999. Proceedings

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

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



کلمات کلیدی مربوط به کتاب پیشرفت های اخیر در برنامه ریزی هوش مصنوعی: پنجمین کنفرانس اروپایی در مورد برنامه ریزی ، ECP99 ، دورهام ، انگلیس ، 8-10 سپتامبر 1999. مجموعه مقالات: هوش مصنوعی (شامل رباتیک)، تحلیل الگوریتم و پیچیدگی مسائل، محاسبات عددی، ریاضیات گسسته در علوم کامپیوتر



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

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


در صورت تبدیل فایل کتاب Recent Advances in AI Planning: 5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب پیشرفت های اخیر در برنامه ریزی هوش مصنوعی: پنجمین کنفرانس اروپایی در مورد برنامه ریزی ، ECP99 ، دورهام ، انگلیس ، 8-10 سپتامبر 1999. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب پیشرفت های اخیر در برنامه ریزی هوش مصنوعی: پنجمین کنفرانس اروپایی در مورد برنامه ریزی ، ECP99 ، دورهام ، انگلیس ، 8-10 سپتامبر 1999. مجموعه مقالات

این کتاب مجموعه مقالات پس از داوری کامل پنجمین کنفرانس اروپایی برنامه ریزی، ECP'99، برگزار شده در دورهام، انگلستان، در سپتامبر 1999 است.
27 مقاله کامل اصلاح شده ارائه شده همراه با یک نظرسنجی دعوت شده با دقت بررسی و انتخاب شدند. برای درج در کتاب آنها به تمام جنبه های فعلی برنامه ریزی و زمان بندی هوش مصنوعی می پردازند. چندین پارادایم برنامه‌ریزی برجسته نشان داده شده‌اند، از جمله برنامه‌ریزی به عنوان رضایت‌پذیری و سایر استراتژی‌های بررسی مدل، برنامه‌ریزی به عنوان جستجوی فضای حالت اکتشافی، و رویکردهای مبتنی بر طرح نمودار. علاوه بر این، رویکردهای جدید زمان‌بندی و ترکیبی از روش‌های برنامه‌ریزی و زمان‌بندی معرفی شده‌اند.


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

This book constitutes the thoroughly refereed post-proceedings of the 5th European Conference on Planning, ECP'99, held in Durham, UK, in September 1999.
The 27 revised full papers presented together with one invited survey were carefully reviewed and selected for inclusion in the book. They address all current aspects of AI planning and scheduling. Several prominent planning paradigms are represented, including planning as satisfiability and other model checking strategies, planning as heuristic state-space search, and Graph-plan-based approaches. Moreover, various new scheduling approaches and combinations of planning and scheduling methods are introduced.



فهرست مطالب

Front Matter....Pages -
Planning as Model Checking....Pages 1-20
Conformant Planning via Model Checking....Pages 21-34
Strong Cyclic Planning Revisited....Pages 35-48
Scaleability in Planning....Pages 49-61
Exploiting Competitive Planner Performance....Pages 62-72
A Parallel Algorithm for POMDP Solution....Pages 73-83
Plan Merging & Plan Reuse as Satisfiability....Pages 84-96
SAT-Based Procedures for Temporal Reasoning....Pages 97-108
Numeric State Variables in Constraint-Based Planning....Pages 109-121
Hierarchical Task Network Planning as Satisfiability....Pages 122-134
Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length....Pages 135-147
Action Constraints for Planning....Pages 148-158
Least Commitment on Variable Binding in Presence of Incomplete Knowledge....Pages 159-171
Scaling up Planning by Teasing Out Resource Scheduling....Pages 172-186
Real-Time Scheduling for Multi-agent Call Center Automation....Pages 187-199
Task Decomposition Support to Reactive Scheduling....Pages 200-212
Greedy Algorithms for the Multi-capacitated Metric Scheduling Problem....Pages 213-225
Automata-Theoretic Approach to Planning for Temporally Extended Goals....Pages 226-238
Integer Programs and Valid Inequalities for Planning Problems....Pages 239-251
Deductive Synthesis of Recursive Plans in Linear Logic....Pages 252-264
Sensor Planning with Non-linear Utility Functions....Pages 265-277
Propice-Plan : Toward a Unified Framework for Planning and Execution....Pages 278-293
What is the Expressive Power of Disjunctive Preconditions?....Pages 294-307
Some Results on the Complexity of Planning with Incomplete Information....Pages 308-318
Probabilistic Planning in the Graphplan Framework....Pages 319-332
Making Graphplan Goal-Directed....Pages 333-346
GRT: A Domain Independent Heuristic for STRIPS Worlds Based on Greedy Regression Tables....Pages 347-359
Planning as Heuristic Search: New Results....Pages 360-372
Back Matter....Pages -




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