دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Manuel Hermenegildo, Germán Puebla, Francisco Bueno (auth.), Barry O’Sullivan (eds.) سری: Lecture Notes in Computer Science 2627 Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783540009863, 3540009868 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 209 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
کلمات کلیدی مربوط به کتاب پیشرفت های اخیر در محدودیت ها: کارگاه آموزشی بین المللی ERCIM / CologNet در مورد حل مسئله محدودیت و برنامه ریزی منطقی محدودیت Cork، ایرلند، 19-21 ژوئن 2002. مقالات انتخاب شده: هوش مصنوعی (شامل رباتیک)، تکنیکهای برنامهنویسی، زبانهای برنامهنویسی، کامپایلرها، مترجمان، تحلیل الگوریتم و پیچیدگی مسائل، منطق و معانی برنامهها، منطق ریاضی و زبانهای رسمی
در صورت تبدیل فایل کتاب Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیشرفت های اخیر در محدودیت ها: کارگاه آموزشی بین المللی ERCIM / CologNet در مورد حل مسئله محدودیت و برنامه ریزی منطقی محدودیت Cork، ایرلند، 19-21 ژوئن 2002. مقالات انتخاب شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از داوری کامل کارگاه بین المللی مشترک ERCIM/CologNet در مورد حل محدودیت و برنامه ریزی منطقی محدودیت است که در کورک، ایرلند در ژوئن 2002 برگزار شد.
14 مقاله کامل اصلاح شده ارائه شده است. طی دو دور بررسی و بازنگری به دقت برای گنجاندن در کتاب انتخاب شدند. از جمله موضوعات مورد بررسی عبارتند از تأیید و اشکالزدایی برنامههای منطق محدودیت، مدلسازی و حل CSP، تولید توضیح، استنتاج و پردازش ناسازگاری، رمزگذاریهای SAT و 0/1 CSPها، محدودیتهای نرم و کاهش محدودیت، برنامههای کاربردی در دنیای واقعی، و حل محدودیتهای توزیعشده. .
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, held in Cork, Ireland in June 2002.
The 14 revised full papers presented were carefully selected for inclusion in the book during two rounds of reviewing and revision. Among the topics addressed are verification and debugging of constraint logic programs, modeling and solving CSPs, explanation generation, inference and inconsistency processing, SAT and 0/1 encodings of CSPs, soft constraints and constraint relaxation, real-world applications, and distributed constraint solving.
Abstract Verification and Debugging of Constraint Logic Programs....Pages 1-14
CGRASS: A System for Transforming Constraint Satisfaction Problems....Pages 15-30
Interchangeability in Soft CSPs....Pages 31-46
Towards Automated Reasoning on the Properties of Numerical Constraints....Pages 47-61
Domain-Heuristics for Arc-Consistency Algorithms....Pages 62-75
Computing Explanations and Implications in Preference-Based Configurators....Pages 76-92
Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems....Pages 93-108
A Note on Redundant Rules in Rule-Based Constraint Programming....Pages 109-120
A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables....Pages 121-131
A Local Search Algorithm for Balanced Incomplete Block Designs....Pages 132-143
The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms....Pages 144-158
POOC — A Platform for Object-Oriented Constraint Programming....Pages 159-170
A Coordination-Based Framework for Distributed Constraint Solving....Pages 171-184
Visopt ShopFloor: Going Beyond Traditional Scheduling....Pages 185-199