دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers
دانلود کتاب پسوندهای غیر یکنواخت برنامه نویسی منطقی: دومین کارگاه بین المللی، NMELP '96 Bad Honnef، آلمان، 5-6 سپتامبر 1996 مقالات منتخب
مشخصات کتاب
Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers
ویرایش: [1 ed.] نویسندگان: Jürgen Dix, Luís Moniz Pereira (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.) سری: Lecture Notes in Computer Science 1216 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540628436, 9783540628439 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1997 تعداد صفحات: 231 [236] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پسوندهای غیر یکنواخت برنامه نویسی منطقی: دومین کارگاه بین المللی، NMELP '96 Bad Honnef، آلمان، 5-6 سپتامبر 1996 مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پسوندهای غیر یکنواخت برنامه نویسی منطقی: دومین کارگاه بین المللی، NMELP '96 Bad Honnef، آلمان، 5-6 سپتامبر 1996 مقالات منتخب
این کتاب مجموعه مقالات پس از کارگاه آموزشی ششمین کارگاه
بین‌المللی توسعه‌های غیر یکنواخت برنامه‌نویسی منطقی، NMELP
'96 است که در سپتامبر 1996 در Bad Honnef آلمان برگزار
شد.
9 مقاله کامل ارائه شده است. در جلد در نسخه اصلاح شده به دقت
بررسی و از مجموع 18 مورد ارسالی انتخاب شد. مجموعه مقالات به
مسائل نظری، کاربردی و اجرایی می پردازد و وضعیت فعلی هنر را در
زمینه توسعه های غیر یکنواخت برنامه ریزی منطقی منعکس می کند.
یک نظرسنجی مقدماتی توسط ویراستاران جلد با عنوان \"Prolegomena
to Logic Programming for Non-Monotonic Reasoning\" شایسته ذکر
ویژه است. این شامل کتابشناسی است که 136 مدخل را فهرست کرده
است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-workshop
proceedings of the 6th International Workshop on
Non-Monotonic Extensions of Logic Programming, NMELP '96,
held in Bad Honnef, Germany, in September 1996.
The nine full papers presented in the volume in revised
version were carefully reviewed and selected from a total of
18 submissions; the set of papers addresses theoretical,
applicational and implementational issues and reflects the
current state of the art in the area of non-monotonic
extensions of logic programming. An introductory survey by
the volume editors entitled "Prolegomena to Logic Programming
for Non-Monotonic Reasoning" deserves special mentioning; it
contains a bibliography listing 136 entries.
فهرست مطالب
Prolegomena to logic programming for non-monotonic reasoning....Pages 1-36
On logics and semantics for general logic programs....Pages 37-56
A new logical characterisation of stable models and answer sets....Pages 57-70
Aggregation and well-founded semantics+....Pages 71-90
Nonmonotonic reasoning by monotonic inferences with priority constraints....Pages 91-109
Update-programms can update programs....Pages 110-131
An abductive proof procedure for reasoning about actions in modal logic programming....Pages 132-150
Update programs versus revision programs....Pages 151-170
Transformation-based bottom-up computation of the well-founded model....Pages 171-201
Computation of non-ground disjunctive well-founded semantics with constraint logic programming....Pages 202-224
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Phosphorous-31 NMR. Principles and Applications
دانلود کتاب True Ocean Rescue Stories
![Terahertz Wireless Communication Components and System Technologies (2022) [Ghzaoui et al] [9789811691812]](https://books.google.com/books/content/images/frontcover/37zKzgEACAAJ?w=250&usc=0)
دانلود کتاب Terahertz Wireless Communication Components and System Technologies (2022) [Ghzaoui et al] [9789811691812]
