ترجمه فارسی توضیحات (ترجمه ماشینی)
برنامه نویسی منطقی و استدلال غیر یکنواخت: هشتمین کنفرانس بین المللی، LPNMR 2005، Diamante، ایتالیا، 5-8 سپتامبر 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری هشتمین کنفرانس بین المللی برنامه ریزی منطقی و استدلال غیر یکنواخت، LPNMR 2005، در دیامانته، ایتالیا در سپتامبر 2005 برگزار شد.
25 مقاله کامل اصلاح شده، 16 مقاله برای مسیرهای سیستم و برنامه ارائه شده همراه با 3 مقاله دعوت شده به دقت بررسی و برای ارائه انتخاب شدند. از جمله موضوعاتی که به آنها پرداخته می شود، معناشناسی زبان های جدید و موجود است. روابط بین فرمالیسم ها؛ پیچیدگی و قدرت بیان؛ سیستم‌های LPNMR: توسعه الگوریتم‌های استنتاج و اکتشافی جستجو، به‌روزرسانی‌ها و سایر عملیات، عدم قطعیت، و کاربردها در برنامه‌ریزی، تشخیص، توصیف سیستم، مقایسه و ارزیابی. مهندسی نرم افزار، تصمیم گیری و سایر حوزه ها؛ زبان‌های LPNMR: برنامه‌های افزودنی با اتصالات منطقی جدید و قابلیت‌های استنتاج جدید، برنامه‌های کاربردی در سیستم‌های یکپارچه‌سازی و تبادل داده، و روش‌شناسی نمایش دانش.
This book constitutes the refereed proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005, held in Diamante, Italy in September 2005.
The 25 revised full papers, 16 revised for the system and application tracks presented together with 3 invited papers were carefully reviewed and selected for presentation. Among the topics addressed are semantics of new and existing languages; relationships between formalisms; complexity and expressive power; LPNMR systems: development of inference algorithms and search heuristics, updates and other operations, uncertainty, and applications in planning, diagnosis, system descriptions, comparisons and evaluations; software engineering, decision making, and other domains; LPNMR languages: extensions by new logical connectives and new inference capabilities, applications in data integration and exchange systems, and methodology of representing knowledge.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.