دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop Santa Margherita Ligure, Italy, June 17, 1994 Selected Papers
دانلود کتاب پسوندهای غیر یکنواخت برنامه نویسی منطقی: کارگاه آموزشی ICLP '94 Santa Margherita Ligure، ایتالیا، 17 ژوئن 1994 مقالات منتخب
مشخصات کتاب
Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop Santa Margherita Ligure, Italy, June 17, 1994 Selected Papers
ویرایش: [1 ed.] نویسندگان: Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski (eds.) سری: Lecture Notes in Computer Science 927 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540594671, 9783540594673 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 236 [238] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 31,000
در صورت تبدیل فایل کتاب Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop Santa Margherita Ligure, Italy, June 17, 1994 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پسوندهای غیر یکنواخت برنامه نویسی منطقی: کارگاه آموزشی ICLP '94 Santa Margherita Ligure، ایتالیا، 17 ژوئن 1994 مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پسوندهای غیر یکنواخت برنامه نویسی منطقی: کارگاه آموزشی ICLP '94 Santa Margherita Ligure، ایتالیا، 17 ژوئن 1994 مقالات منتخب
این جلد بر اساس مقالات ارائه شده در طول کارگاه ICLP '94 در
زمینه برنامه‌نویسی منطقی غیر یکنواخت و بر اساس مقالاتی است که
پس از آن از محققان کلیدی شرکت‌کننده در کارگاه درخواست شده
است. در مجموع 10 مقاله تحقیقاتی کامل که با دقت داوری شده،
تجدید نظر شده و در جنبه های معناشناسی و محاسباتی برنامه های
منطقی مورد بررسی قرار گرفته اند، گنجانده شده است.
برنامه های منطقی بر یک عملگر غیر یکنواخت متکی هستند که اغلب
به عنوان نفی با شکست یا نفی به طور پیش فرض شناخته می شود. غیر
یکنواختی این عملگر اجازه می دهد تا نتایج حاصل از حوزه نظریه
های غیر یکنواخت را برای بررسی برنامه های منطقی (و بالعکس)
اعمال کنیم. این جلد به وابستگی متقابل فرمالیسم های غیر
یکنواخت و برنامه ریزی منطقی اختصاص دارد.
توضیحاتی درمورد کتاب به خارجی
This volume is based on papers presented during the ICLP '94
Workshop on Nonmonotonic Extensions of Logic Programming and
on papers solicited afterwards from key researchers
participating in the workshop. In total 10 carefully
refereed, revised, full research papers on semantics and
computational aspects of logic programs are included.
Logic programs rely on a nonmonotonic operator often referred
to as negation by failure or negation by default. The
nonmonoticity of this operator allows to apply results from
the area of nonmonotonic theories to the investigation of
logic programs (and vice versa). This volume is devoted to
the interdependence of nonmonotonic formalisms and logic
programming.
فهرست مطالب
Introduction....Pages 1-2
An argumentation theoretic semantics based on non-refutable falsity....Pages 3-22
From disjunctive programs to abduction....Pages 23-42
Samantics of normal and disjunctive logic programs a unifying framework....Pages 43-67
Every normal program has a nearly-stable model....Pages 68-84
Logic programming with assumption denial....Pages 85-100
A resolution-based procedure for default theories with extensions....Pages 101-126
A general approach to bottom-up computation of disjunctive semantics....Pages 127-155
Static semantics as program transformation and well-founded computation....Pages 156-180
Magic computation for well-founded semantics....Pages 181-204
Computing stable and partial stable models of extended disjunctive logic programs....Pages 205-229
