دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker (eds.) سری: Transactions on Large-Scale Data- and Knowledge-Centered Systems 10620 ISBN (شابک) : 9783662559468, 9783662559475 ناشر: Springer-Verlag سال نشر: 2017 تعداد صفحات: 194 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب معاملات در مقیاس بزرگ داده ها و سیستم های دانش محور XXXIV: موضوع ویژه در مورد سازگاری و ناسازگاری در برنامه های کاربردی داده محور: منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV: Special Issue on Consistency and Inconsistency in Data-Centric Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معاملات در مقیاس بزرگ داده ها و سیستم های دانش محور XXXIV: موضوع ویژه در مورد سازگاری و ناسازگاری در برنامه های کاربردی داده محور نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد، سی و چهارمین شماره تراکنشهای سیستمهای دادهمحور و دانشمحور در مقیاس بزرگ، یک شماره ویژه شامل هفت مقاله با موضوع سازگاری و ناسازگاری در برنامههای داده محور است. این جلد با یک مقاله دعوت شده در مورد فرضیه های اساسی برای اقدامات ناسازگاری آغاز می شود. سه مقاله از شش مقاله باقیمانده اصلاح شده هستند، نسخه های توسعه یافته مقالات ارائه شده در اولین کارگاه بین المللی سازگاری و ناسازگاری، COIN 2016، که همراه با DEXA 2016 در پورتو، پرتغال، در سپتامبر 2016 برگزار شد. سه مقاله دیگر از بین مقالات ارسالی انتخاب شدند. به فراخوانی برای مشارکت در این نسخه. هر یک از مقالات موضوع فرعی خاصی را برجسته می کند. با این حال، همه نگران ناسازگاریهای منطقی هستند که یا باید بهطور سیستماتیک از آنها اجتناب کرد، یا باید به طور مداوم با آنها استدلال کرد، یعنی بدون خطر انفجار استنباطها.
This volume, the 34th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, constitutes a special issue consisting of seven papers on the subject of Consistency and Inconsistency in Data-Centric Applications. The volume opens with an invited article on basic postulates for inconsistency measures. Three of the remaining six papers are revised, extended versions of papers presented at the First International Workshop on Consistency and Inconsistency, COIN 2016, held in conjunction with DEXA 2016 in Porto, Portugal, in September 2016. The other three papers were selected from submissions to a call for contributions to this edition. Each of the papers highlights a particular subtopic. However, all are concerned with logical inconsistencies that are either to be systematically avoided, or reasoned with consistently, i.e., without running the danger of an explosion of inferences.
Front Matter ....Pages I-IX
Basic Postulates for Inconsistency Measures (Philippe Besnard)....Pages 1-12
Batch Composite Transactions in Stream Processing (K. Vidyasankar)....Pages 13-32
Enhancing User Rating Database Consistency Through Pruning (Dionisis Margaris, Costas Vassilakis)....Pages 33-64
A Second Generation of Peer-to-Peer Semantic Wikis (Charbel Rahhal)....Pages 65-91
Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant (Jørgen Villadsen, Anders Schlichtkrull)....Pages 92-122
A Proximity-Based Understanding of Conditionals (Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pinheiro Dias Pereira)....Pages 123-152
Inconsistency-Tolerant Database Repairs and Simplified Repair Checking by Measure-Based Integrity Checking (Hendrik Decker)....Pages 153-183
Back Matter ....Pages 185-185