دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Philippe Balbiani (auth.), Sebastian Link, Henri Prade (eds.) سری: Lecture Notes in Computer Science 5956 : Information Systems and Applications, incl. Internet/Web, and HCI ISBN (شابک) : 9783642118296, 3642118291 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 374 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب مبانی سیستمهای اطلاعات و دانش: ششمین سمپوزیوم بین المللی ، FoIKS 2010 ، صوفیا ، بلغارستان ، 15-19 فوریه 2010. مجموعه مقالات: منطق ریاضی و زبان های رسمی، ریاضیات گسسته در علوم کامپیوتر، منطق و معانی برنامه ها، ریاضیات محاسبات، تحلیل الگوریتم و پیچیدگی مسائل، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Foundations of Information and Knowledge Systems: 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی سیستمهای اطلاعات و دانش: ششمین سمپوزیوم بین المللی ، FoIKS 2010 ، صوفیا ، بلغارستان ، 15-19 فوریه 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد مجموعه مقالات پس از کنفرانس با داوری کامل ششمین سمپوزیوم بین المللی مبانی سیستم های اطلاعات و دانش (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 -