ترجمه فارسی توضیحات (ترجمه ماشینی)
برنامه نویسی منطقی: بیست و پنجمین کنفرانس بین المللی، ICLP 2009، پاسادنا، کالیفرنیا، ایالات متحده آمریکا، 14-17 جولای، 2009. مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و پنجمین کنفرانس بین المللی برنامه نویسی منطقی، ICLP 2009 است که در پاسادنا، کالیفرنیا، ایالات متحده آمریکا، در جولای 2009 برگزار شد. 29 مقاله کامل اصلاح شده به همراه 9 مقاله کوتاه، 4 سخنرانی دعوت شده، 4 آموزش دعوت شده، و چکیده مقالات 18 کنسرسیوم دکتری به دقت بررسی و از 69 مقاله ارسالی اولیه انتخاب شدند. این مقالات تمام موضوعات تحقیقات جاری در برنامه نویسی منطقی، یعنی مبانی معنایی، فرمالیسم ها، استدلال غیر یکنواخت، نمایش دانش، کامپایل، مدیریت حافظه، ماشین های مجازی، موازی سازی، تجزیه و تحلیل برنامه، تبدیل برنامه، اعتبار سنجی و راستی آزمایی، اشکال زدایی، پروفایل سازی، همزمانی، اشیاء، هماهنگی، تحرک، مرتبه بالاتر، انواع، حالت‌ها، تکنیک‌های برنامه‌نویسی، برنامه‌نویسی منطق ابداکتیو، برنامه‌نویسی مجموعه پاسخ، برنامه‌نویسی منطق محدودیت، برنامه‌نویسی منطق استقرایی، موتورها و مکانیسم‌های استنتاج جایگزین، پایگاه‌های داده قیاسی، یکپارچه‌سازی داده‌ها، مهندسی نرم‌افزار، زبان طبیعی، ابزارهای وب، عوامل اینترنتی، هوش مصنوعی، بیوانفورماتیک.
This book constitutes the refereed proceedings of the 25th International Conference on Logic Programming, ICLP 2009, held in Pasadena, CA, USA, in July2009. The 29 revised full papers together with 9 short papers, 4 invited talks, 4 invited tutorials, and the abstracts of 18 doctoral consortium articles were carefully reviewed and selected from 69 initial submissions. The papers cover all issues of current research in logic programming, namely semantic foundations, formalisms, nonmonotonic reasoning, knowledge representation, compilation, memory management, virtual machines, parallelism, program analysis, program transformation, validation and verification, debugging, profiling, concurrency, objects, coordination, mobility, higher order, types, modes, programming techniques, abductive logic programming, answer set programming, constraint logic programming, inductive logic programming, alternative inference engines and mechanisms, deductive databases, data integration, software engineering, natural language, web tools, internet agents, artificial intelligence, bioinformatics.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.