دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Nonclassical Logics and Information Processing: International Workshop Berlin, Germany, November 9–10, 1990 Proceedings
دانلود کتاب منطق غیر کلاسیک و پردازش اطلاعات: کارگاه بین المللی برلین، آلمان، 9 تا 10 نوامبر 1990. مقالات
مشخصات کتاب
Nonclassical Logics and Information Processing: International Workshop Berlin, Germany, November 9–10, 1990 Proceedings
ویرایش: [1 ed.] نویسندگان: Ewa Orlowska (auth.), David Pearce, Heinrich Wansing (eds.) سری: Lecture Notes in Computer Science 619 ISBN (شابک) : 3540557458, 9783540557456 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1992 تعداد صفحات: 175 [177] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 83,000
در صورت تبدیل فایل کتاب Nonclassical Logics and Information Processing: International Workshop Berlin, Germany, November 9–10, 1990 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق غیر کلاسیک و پردازش اطلاعات: کارگاه بین المللی برلین، آلمان، 9 تا 10 نوامبر 1990. مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق غیر کلاسیک و پردازش اطلاعات: کارگاه بین المللی برلین، آلمان، 9 تا 10 نوامبر 1990. مقالات
این جلد شامل مجموعه مقالات اولین کارگاه آموزشی سراسر برلین در مورد منطق غیرکلاسیک و پردازش اطلاعات است که در دانشگاه آزاد برلین، 9 تا 10 نوامبر 1990 برگزار شد. دامنه ده مقاله در این جلد گسترده است و شامل می شود. زیر شاخه های مختلف منطق - به ویژه منطق غیر کلاسیک - و کاربردهای آن در هوش مصنوعی. مقالات بر اساس چهار موضوع اصلی که در جلسه مطرح شد گروه بندی می شوند: سیستم های مدال، برنامه ریزی منطقی، منطق های غیر یکنواخت و نظریه اثبات. این طبقه بندی تنها یک راهنمای تقریبی است زیرا این چهار حوزه به طور قابل توجهی با هم همپوشانی دارند.
توضیحاتی درمورد کتاب به خارجی
This volume comprises the proceedings of the First All-Berlin Workshop on Nonclassical Logics and Information Processing, held at the Free University of Berlin, November 9-10, 1990. The scope of the ten papers in the volume is broad, covering various different subfields of logic - particularly nonclassical logic - and its applications in artificial intelligence. The papers are grouped according to the four major topics that emerged at the meeting: modal systems, logic programming, nonmonotonic logics, and proof theory. The classification is only a rough guide since the four areas overlap considerably.
فهرست مطالب
Algebraic aspects of the relational knowledge representation: Modal relation algebras....Pages 1-22
A logic for memory....Pages 23-45
Actions with preconditions and postconditions....Pages 46-55
Testclasses and closed world assumptions for non-horn theories....Pages 56-62
Reasoning with negative information, II: Hard negation, strong negation and logic programs....Pages 63-79
Lindenbaum-algebraic semantics of logic programs....Pages 80-91
Conditional logics and cumulative logics....Pages 92-103
Semantics of nonmonotonic reasoning in logic programming....Pages 104-124
Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic....Pages 125-145
Cut-elimination in logics with definitional reflection....Pages 146-171
