ترجمه فارسی توضیحات (ترجمه ماشینی)
منطق برای برنامه نویسی، هوش مصنوعی و استدلال: دوازدهمین کنفرانس بین المللی، LPAR 2005، Montego Bay، جامائیکا، 2-6 دسامبر 2005،
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین المللی منطق برای برنامه نویسی، هوش مصنوعی و استدلال، LPAR 2005 است که در مونتگو بی، جامائیکا در دسامبر 2005 برگزار شد.
46 مقاله کامل اصلاح شده ارائه شده همراه با چکیده 3 سخنرانی دعوت شده، به دقت بررسی و از بین 108 مقاله ارسالی کامل انتخاب شد. این مقالات به تمام مسائل جاری در برنامهنویسی منطقی، دستکاری برنامههای مبتنی بر منطق، روش رسمی، استدلال خودکار و انواع مختلف منطقهای هوش مصنوعی میپردازند.
This book constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005, held in Montego Bay, Jamaica in December 2005.
The 46 revised full papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 108 full paper submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.