دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993
دانلود کتاب برنامه نویسی منطقی و استدلال غیر یکنواخت: مجموعه مقالات دومین کارگاه بین المللی 1993
مشخصات کتاب
Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993
ویرایش:
نویسندگان: Luis Moniz Pereira. Anil Nerode
سری:
ISBN (شابک) : 0262660830, 9780262660839
ناشر: The MIT Press
سال نشر: 1993
تعداد صفحات: 512
[496]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 22 Mb
قیمت کتاب (تومان) : 37,000
در صورت تبدیل فایل کتاب Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی منطقی و استدلال غیر یکنواخت: مجموعه مقالات دومین کارگاه بین المللی 1993 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی منطقی و استدلال غیر یکنواخت: مجموعه مقالات دومین کارگاه بین المللی 1993
این دومین کارگاه از مجموعه کارگاه هایی است که محققان را از پایان نظری جوامع برنامه نویسی منطقی و هوش مصنوعی گرد هم می آورد تا در مورد علایق متقابل خود بحث کنند. این کارگاه بر رابطه بین برنامه نویسی منطقی و استدلال غیر یکنواخت تاکید می کند. مونیز پریرا لوئیس استاد گروه علوم کامپیوتر در دانشگاه نوا لیسبون پرتغال است. Anil Nerode استاد و مدیر مؤسسه علوم ریاضی در دانشگاه کرنل است. موضوعات عبارتند از: معناشناسی پایدار. منطق خود معرفتی آدم ربایی. مسائل اجرایی. معناشناسی مستدل. حفظ حقیقت نظریه های احتمالی برنامه های کاربردی. منطق پیش فرض تشخیص. پیچیدگی و نظریه. ناهماهنگی رسیدگی.
توضیحاتی درمورد کتاب به خارجی
This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and non-monotonic reasoning.Luis' Moniz Pereira is Professor in the Department of Computer Science at the Universidade Nova Lisboa, Portugal. Anil Nerode is Professor and Director of the Mathematical Sciences Institute at Cornell University.Topics include: Stable Semantics. Autoepistemic Logic. Abduction. Implementation Issues. Well-founded Semantics. Truth Maintenance. Probabilistic Theories. Applications. Default Logic. Diagnosis. Complexity and Theory. Handling Inconsistency.
