دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ریاضیات کاربردی ویرایش: 1st Edition. نویسندگان: Sebastian Link. Henri Prade سری: ISBN (شابک) : 3642118283, 9783642118289 ناشر: سال نشر: 2010 تعداد صفحات: 374 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
در صورت تبدیل فایل کتاب Foundations of Information and Knowledge Systems: 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings (Lecture ... Applications, incl. Internet Web, and HCI) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی سیستم های اطلاعاتی و دانش: ششمین سمپوزیوم بین المللی ، FoIKS 2010 ، صوفیا ، بلغارستان ، 15 تا 19 فوریه 2009. مجموعه مقالات (سخنرانی ... برنامه ها ، شامل اینترنت وب و HCI) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد مجموعه مقالات پس از کنفرانس ششمین سمپوزیوم بین المللی مبانی سیستم های اطلاعات و دانش (FoIKS 2010) است که در فوریه 2010 در صوفیه، بلغارستان برگزار شد. 19 مقاله کامل اصلاح شده همراه با سه سخنرانی دعوت شده ارائه شده است. به دقت بررسی و از بین 50 مقاله انتخاب شده است.
This volume constitutes the thoroughly refereed post-conference proceedings of the Sixth International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2010) which was held in Sofia, Bulgaria, in February 2010. The 19 revised full papers presented together with three invited talks were carefully reviewed and selected from 50 papers.
Front Matter....Pages I-XII
Tools and Techniques in Qualitative Reasoning about Space....Pages 1-2
A Simple but Formal Semantics for XML Manipulation Languages....Pages 3-5
Algorithmic Definability and Completeness in Modal Logic....Pages 6-8
A Probabilistic Temporal Logic That Can Model Reasoning about Evidence....Pages 9-24
An Algorithm for Generating Nash Stable Coalition Structures in Hedonic Games....Pages 25-39
Conjunctive Queries with Constraints: Homomorphism, Containment and Rewriting....Pages 40-57
Enhancing Dung’s Preferred Semantics....Pages 58-75
On the Distance of Databases....Pages 76-93
On the Existence of Armstrong Data Trees for XML Functional Dependencies....Pages 94-113
Polymorphism in Datalog and Inheritance in a Metamodel....Pages 114-132
Possibilistic Semantics for Logic Programs with Ordered Disjunction....Pages 133-152
Semantic Web Search Based on Ontological Conjunctive Queries....Pages 153-172
Semantically Characterizing Collaborative Behavior in an Abstract Dialogue Framework....Pages 173-190
The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics....Pages 191-210
Theoretical Foundations for Enabling a Web of Knowledge....Pages 211-229
Towards Controlled Query Evaluation for Incomplete First-Order Databases....Pages 230-247
Bagging Decision Trees on Data Sets with Classification Noise....Pages 248-265
Evolving Schemas for Streaming XML....Pages 266-285
ONTO-EVO A L an Ontology Evolution Approach Guided by Pattern Modeling and Quality Evaluation....Pages 286-305
Towards a Paradoxical Description Logic for the Semantic Web....Pages 306-325
Towards a Unified Model of Preference-Based Argumentation....Pages 326-344
Two Complementary Classification Methods for Designing a Concept Lattice from Interval Data....Pages 345-362
Back Matter....Pages -