دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings
دانلود کتاب برنامه نویسی منطقی و استدلال غیر یکنواخت: چهارمین کنفرانس بین المللی، LPNMR '97 قلعه داگستول، آلمان، 28 تا 31 ژوئیه، 1997 مجموعه مقالات
مشخصات کتاب
Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings
ویرایش: [1 ed.] نویسندگان: Joxan Jaffar, Bing Liu, Roland H. C. Yap (auth.), Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.) سری: Lecture Notes in Computer Science 1265 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540632557, 9783540632559 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1997 تعداد صفحات: 461 [463] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی منطقی و استدلال غیر یکنواخت: چهارمین کنفرانس بین المللی، LPNMR '97 قلعه داگستول، آلمان، 28 تا 31 ژوئیه، 1997 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی منطقی و استدلال غیر یکنواخت: چهارمین کنفرانس بین المللی، LPNMR '97 قلعه داگستول، آلمان، 28 تا 31 ژوئیه، 1997 مجموعه مقالات
این کتاب مجموعه مقالات داوری چهارمین کنفرانس بین المللی
برنامه ریزی منطقی و استدلال غیر یکنواخت، LPNMR '97، در قلعه
داگستول، آلمان، در ژوئیه 1997 برگزار شد.
این جلد 19 مقاله منظم اصلاح شده را همراه با 10 سیستم ارائه می
کند. توضیحات و پنج چکیده از سخنرانی های دعوت شده. این مقالات
شامل گزارش پیشرفته‌ترین تحقیق و توسعه در حوزه بین‌رشته‌ای
برنامه‌ریزی منطقی و مبانی منطقی هوش مصنوعی بود.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 4th
International Conference on Logic Programming and
Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle,
Germany, in July 1997.
The volume presents 19 revised regular papers together with
10 system descriptions and five abstracts of invited
presentations. The papers included report state-of-the-art
research and development in the interdisciplinary area of
logic programming and logical foundations of artificial
intelligence.
فهرست مطالب
Forward and backward chaining in constraint programming....Pages 1-1
Strong and weak constraints in disjunctive datalog....Pages 2-17
Nonmonotonic reasoning with quantified boolean constraints....Pages 18-39
Improving the alternating fixpoint: The transformation approach....Pages 40-59
Is non-monotonic reasoning always harder....Pages 60-75
Complexity of only knowing: The prepositional case....Pages 76-91
Affordable classes of normal logic programs....Pages 92-111
Automated reasoning with nonmonotonic logics....Pages 112-114
Simulations between programs as cellular automata....Pages 115-131
Separating disbeliefs from beliefs in autoepistemic reasoning....Pages 132-151
Power defaults (preliminary report)....Pages 152-169
A study of Przymusinski\'s static semantics....Pages 170-184
Resolution for skeptical stable semantics....Pages 185-197
Computing non-ground representations of stable models....Pages 198-217
Industry needs for integrated information services....Pages 218-219
Computing, solving, proving: A report on the Theorema project....Pages 220-221
Towards a systematic approach to representing knowledge in declarative logic programming....Pages 222-223
A paraconsistent semantics with contradiction support detection....Pages 224-243
On conservative enforced updates....Pages 244-257
A general framework for revising nonmonotonic theories....Pages 258-272
Composing general logic programs....Pages 273-288
Modular logic programming and generalized quantifiers....Pages 289-308
Programs with universally quantified embedded implications....Pages 309-323
Generalized query answering in disjunctive deductive databases: Procedural and nonmonotonic aspects....Pages 324-340
DisLoP: Towards a disjunctive logic programming system....Pages 341-352
REVISE: Logic programming and diagnosis....Pages 353-362
A deductive system for non-monotonic reasoning....Pages 363-374
The deductive database system LOLA....Pages 375-386
ACLP: Flexible solutions to complex problems....Pages 387-398
Nonmonotonic reasoning in FLORID....Pages 399-409
GLUE: Opening the world to theorem provers....Pages 410-419
Smodels — an implementation of the stable model and well-founded semantics for normal logic programs....Pages 420-429
XSB: A system for efficiently computing well-founded semantics....Pages 430-440
An implementation platform for query-answering in default logics: The XRay system, its implementation and evaluation....Pages 441-452
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Hunt in Ancient Greece
دانلود کتاب Scientometric Characteristic of Theses on Criminal Law Defended At the Universities of the Russian Empire (1815-1917)
دانلود کتاب Evil and the Devil
