دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao (auth.), Thomas Lukasiewicz, Attila Sali (eds.) سری: Lecture Notes in Computer Science 7153 Information Systems and Applications, incl. Internet/Web, and HCI ISBN (شابک) : 9783642284724, 3642284728 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 415 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
کلمات کلیدی مربوط به کتاب مبانی سیستم های اطلاعات و دانش: هفتمین سمپوزیوم بین المللی ، FoIKS 2012 ، کیل ، آلمان ، 5-9 مارس 2012. مجموعه مقالات: منطق ریاضی و زبان های رسمی، ریاضیات گسسته در علوم کامپیوتر، منطق و معانی برنامه ها، ریاضیات محاسبات، تحلیل الگوریتم و پیچیدگی مسائل، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Foundations of Information and Knowledge Systems: 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی سیستم های اطلاعات و دانش: هفتمین سمپوزیوم بین المللی ، FoIKS 2012 ، کیل ، آلمان ، 5-9 مارس 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات هفتمین سمپوزیوم بینالمللی مبانی سیستمهای اطلاعات و دانش، FoIKS 2012، برگزار شده در کیل، آلمان، در مارس 2012 است. طول مقاله، به دقت بررسی و از بین 53 مورد ارسالی انتخاب شد. مشارکتها جنبههای اساسی سیستمهای اطلاعات و دانش را پوشش میدهند. اینها شامل کاربرد ایدهها، نظریهها یا روشهایی از رشتههای خاص برای اطلاعات و سیستمهای دانش، مانند ریاضیات گسسته، منطق و جبر، نظریه مدل، نظریه اطلاعات، نظریه پیچیدگی، الگوریتم و محاسبات، آمار و بهینهسازی است.
This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012. The 12 regular and 8 short papers, presented together with two invited talks in full paper-length, were carefully reviewed and selected from 53 submissions. The contributions cover foundational aspects of information and knowledge systems. These include the application of ideas, theories or methods from specific disciplines to information and knowledge systems, such as discrete mathematics, logic and algebra, model theory, informaiton theory, complexity theory, algorithmics and computation, statistics, and optimization.
Front Matter....Pages -
Uniform Evaluation of Nonmonotonic DL-Programs....Pages 1-22
Foundations of XML Based on Logic and Automata: A Snapshot....Pages 23-33
Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities....Pages 34-50
Revising Belief without Revealing Secrets....Pages 51-70
More Than the Sum of Its Parts – Holistic Ontology Alignment by Population-Based Optimisation....Pages 71-90
Handling Preferences in P2P Systems....Pages 91-106
Backing and Undercutting in Abstract Argumentation Frameworks....Pages 107-123
The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on Graphs....Pages 124-143
Using Functional Dependencies for Reducing the Size of a Data Cube....Pages 144-163
Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags....Pages 164-183
FD Covers and Universal Complements of Simple Projections....Pages 184-202
Encoding Databases Satisfying a Given Set of Dependencies....Pages 203-223
On Lifted Inference for a Relational Probabilistic Conditional Logic with Maximum Entropy Semantics....Pages 224-243
Flexible and Efficient Distributed Resolution of Large Entities....Pages 244-263
On Real-Valued Evaluation of Propositional Formulas....Pages 264-277
Detecting Suspect Answers in the Presence of Inconsistent Information....Pages 278-297
Learning the News in Social Networks....Pages 298-311
Verifying Resource Requirements for Ontology-Driven Rule-Based Agents....Pages 312-331
Formalizing Production Systems with Rule-Based Ontologies....Pages 332-351
Count Constraints and the Inverse OLAP Problem: Definition, Complexity and a Step toward Aggregate Data Exchange....Pages 352-369
Synchronous Parallel Database Transformations....Pages 370-383
Functional Dependencies on Extended Relations Defined by Regular Languages....Pages 384-403
Back Matter....Pages -