ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Foundations of Information and Knowledge Systems: 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings

دانلود کتاب مبانی سیستم های اطلاعات و دانش: چهارمین سمپوزیوم بین المللی ، FoILS 2006 ، بوداپست ، مجارستان ، 14 تا 17 فوریه 2006. مجموعه مقالات

Foundations of Information and Knowledge Systems: 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings

مشخصات کتاب

Foundations of Information and Knowledge Systems: 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings

ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 3861 : Information Systems and Applications, incl. Internet/Web, and HCI 
ISBN (شابک) : 9783540317845, 9783540317821 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2006 
تعداد صفحات: 341 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

قیمت کتاب (تومان) : 42,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 17


در صورت تبدیل فایل کتاب Foundations of Information and Knowledge Systems: 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی سیستم های اطلاعات و دانش: چهارمین سمپوزیوم بین المللی ، FoILS 2006 ، بوداپست ، مجارستان ، 14 تا 17 فوریه 2006. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مبانی سیستم های اطلاعات و دانش: چهارمین سمپوزیوم بین المللی ، FoILS 2006 ، بوداپست ، مجارستان ، 14 تا 17 فوریه 2006. مجموعه مقالات



این کتاب مجموعه مقالات داوری چهارمین سمپوزیوم بین‌المللی مبانی سیستم‌های اطلاعات و دانش، FoIKS 2006 است که در بوداپست، مجارستان در فوریه 2006 برگزار شد. مقالات کوتاه و یک مقاله دعوت شده به دقت بررسی و از بین 54 مورد ارسالی انتخاب شدند.

از جمله موضوعاتی که تحت پوشش قرار می گیرند، مبانی نظری سیستم های اطلاعات و دانش و همچنین زمینه های ریاضی مانند ریاضیات گسسته، ترکیبیات، منطق و نظریه مدل محدود، و کاربردهای آن برای تحقیق بر روی پایگاه داده و نظریه پایگاه دانش.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2006 held in Budapest, Hungary in February 2006.

The 14 revised full papers presented together with three revised short papers and one invited paper were carefully reviewed and selected from 54 submissions.

Among the topics covered are the theoretical foundations of information and knowledge systems, as well as mathematical fields such as discrete mathematics, combinatorics, logics and finite model theory, and applications thereof for research on database and knowledge base theory.



فهرست مطالب

Front Matter....Pages -
The Semijoin Algebra....Pages 1-1
Equational Constraint Solving Via a Restricted Form of Universal Quantification....Pages 2-21
Modeling the Evolution of Objects in Temporal Information Systems....Pages 22-42
Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel....Pages 43-62
Iterative Modification and Incremental Evaluation of Preference Queries....Pages 63-82
On the Number of Independent Functional Dependencies....Pages 83-91
Arity and Alternation: A Proper Hierarchy in Higher Order Logics....Pages 92-115
Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results....Pages 116-136
The Nested List Normal Form for Functional and Multivalued Dependencies....Pages 137-158
Axiomatising Functional Dependencies for XML with Frequencies....Pages 159-178
Guarded Open Answer Set Programming with Generalized Literals....Pages 179-200
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover....Pages 201-218
Consistency Checking Algorithms for Restricted UML Class Diagrams....Pages 219-239
Some Contributions to the Minimum Representation Problem of Key Systems....Pages 240-257
On Multivalued Dependencies in Fixed and Undetermined Universes....Pages 258-277
Preference-Based Query Tuning Through Refinement/Enlargement in a Formal Context....Pages 278-293
Processing Ranked Queries with the Minimum Space....Pages 294-312
Hybrid Minimal Spanning Tree and Mixture of Gaussians Based Clustering Algorithm....Pages 313-330
Back Matter....Pages -




نظرات کاربران