دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logics in Artificial Intelligence: European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings
دانلود کتاب منطق در هوش مصنوعی: کارگاه اروپایی، JELIA '96 Évora، پرتغال 30 سپتامبر – 3 اکتبر 1996 مجموعه مقالات
مشخصات کتاب
Logics in Artificial Intelligence: European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings
ویرایش: [1 ed.] نویسندگان: Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä (auth.), José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska (eds.) سری: Lecture Notes in Computer Science 1126 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540616306, 9783540616306 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 426 [427] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب Logics in Artificial Intelligence: European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق در هوش مصنوعی: کارگاه اروپایی، JELIA '96 Évora، پرتغال 30 سپتامبر – 3 اکتبر 1996 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق در هوش مصنوعی: کارگاه اروپایی، JELIA '96 Évora، پرتغال 30 سپتامبر – 3 اکتبر 1996 مجموعه مقالات
این کتاب مقالات داوری ششمین کارگاه اروپایی منطق در هوش
مصنوعی، JELIA '96، که در اوورا، پرتغال در سپتامبر/اکتبر 1996
برگزار شد، ارائه می‌کند.
25 مقاله کامل اصلاح‌شده همراه با سه مقاله دعوت شده شامل از
بین 57 ارسال انتخاب شده است. بسیاری از جنبه های مربوط به منطق
هوش مصنوعی پرداخته شده است. مقالات در بخش‌هایی درباره استدلال
خودکار، منطق‌های مدال، برنامه‌های کاربردی، استدلال غیر
یکنواخت، منطق پیش‌فرض، برنامه‌ریزی منطقی، منطق‌های زمانی و
مکانی، و بازنگری باورها و پاراسازگاری سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book presents the refereed proceedings of the Sixth
European Workshop on Logics in Artificial Intelligence, JELIA
'96, held in Evora, Portugal in September/October 1996.
The 25 revised full papers included together with three
invited papers were selected from 57 submissions. Many
relevant aspects of AI logics are addressed. The papers are
organized in sections on automated reasoning, modal logics,
applications, nonmonotonic reasoning, default logics, logic
programming, temporal and spatial logics, and belief revision
and paraconsistency.
فهرست مطالب
Hyper tableaux....Pages 1-17
An algorithm for the retrieval of unifiers from discrimination trees....Pages 18-33
Building proofs or counterexamples by analogy in a resolution framework....Pages 34-49
What you always wanted to know about rigid E -unification....Pages 50-69
Labelled proofs for quantified modal logic....Pages 70-86
A uniform tableaux method for nonmonotonic modal logics....Pages 87-103
Design and implementation of diagnostic strategies using modal logic....Pages 104-118
A modal action logic based framework for organization specification and analysis....Pages 119-133
McCarthy\'s idea....Pages 134-142
Strong and explicit negation in non-monotonic reasoning and logic programming....Pages 143-163
Only persistence makes nonmonotonicity monotonous....Pages 164-175
Ordering-based representations of rational inference....Pages 176-191
Semi-representability of default theories in rational default logic....Pages 192-207
A query answering algorithm for Lukaszewicz\' general open default theory....Pages 208-223
Infinitary default logic for specification of nonmonotonic reasoning....Pages 224-236
A system for computing constrained default logic extensions....Pages 237-250
The Oz programming model....Pages 251-251
An abductive framework for negation in disjunctive logic programming....Pages 252-267
Characterizing D-WFS: Confluence and iterated GCWA....Pages 268-283
Modules and specifications....Pages 284-300
Logic programming with integrity constraints....Pages 301-302
Temporal reasoning over linear discrete time....Pages 303-319
Similarity saturation for first order linear temporal logic with UNLESS....Pages 320-336
Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions....Pages 337-353
Informational logic for automated reasoning....Pages 354-372
Extensions for open default theories via the domain closure assumption....Pages 373-387
Revising and updating using a back-up semantics....Pages 388-403
A simple signed system for paraconsistent reasoning....Pages 404-416
