+612 9045 4394
Foundations of Information and Knowledge Systems : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings - Sebastian Link

Foundations of Information and Knowledge Systems

6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings

By: Sebastian Link (Editor), Henri Prade (Editor)


Published: 29th July 2010
Ships: 5 to 9 business days
5 to 9 business days
or 4 easy payments of $36.76 with Learn more

This volume contains the articles presented at the 6th International Symposium on Foundationsof Informationand KnowledgeSystems (FoIKS 2010)which was held in So?a, Bulgaria during February 15-19, 2010. The FoIKS symposia provide a biennial forum for presenting and discussing theoreticalandappliedresearchoninformationandknowledgesystems.Thegoal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2010 solicited original contributions dealing with any foundational aspects of information and knowledge systems. This included submissions that apply ideas, theories or methods from speci?c disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics, and optimization. Previous FoIKS symposia were held in Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, Schloss Salzau near Kiel (Germany) in 2002,and Burg/Spreewaldnear Berlin (Germany) in 2000.FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East-West collaboration in the ? eld of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. The FoIKS symposia are a forum for intense discussions. Speakers are given su?cient time to present their ideas and results within the larger context of their research. Furthermore, participants are asked in advance to prepare a ?rst response to a contribution of another author.

Invited Talks
Tools and Techniques in Qualitative Reasoning about Spacep. 1
A Simple but Formal Semantics for XML Manipulation Languagesp. 3
Algorithmic Definability and Completeness in Modal Logic (Extended Abstract)p. 6
Regular Articles
A Probabilistic Temporal Logic That Can Model Reasoning about Evidencep. 9
An Algorithm for Generating Nash Stable Coalition Structures in Hedonic Gamesp. 25
Conjunctive Queries with Constraints: Homomorphism, Containment and Rewritingp. 40
Enhancing Dung's Preferred Semanticsp. 58
On the Distance of Databasesp. 76
On the Existence of Armstrong Data Trees for XML Functional Dependenciesp. 94
Polymorphism in Datalog and Inheritance in a Metamodelp. 114
Possibilistic Semantics for Logic Programs with Ordered Disjunctionp. 133
Semantic Web Search Based on Ontological Conjunctive Queriesp. 153
Semantically Characterizing Collaborative Behavior in an Abstract Dialogue Frameworkp. 173
The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logicsp. 191
Theoretical Foundations for Enabling a Web of Knowledgep. 211
Towards Controlled Query Evaluation for Incomplete First-Order Databasesp. 230
Bagging Decision Trees on Data Sets with Classification Noisep. 248
Evolving Schemas for Streaming XMLp. 266
ONTO รป EVOAL an Ontology Evolution Approach Guided by Pattern Modeling and Quality Evaluationp. 286
Towards a Paradoxical Description Logic for the Semantic Webp. 306
Towards a Unified Model of Preference-Based Argumentationp. 326
Two Complementary Classification Methods for Designing a Concept Lattice from Interval Datap. 345
Author Indexp. 363
Table of Contents provided by Ingram. All Rights Reserved.

ISBN: 9783642118289
ISBN-10: 3642118283
Series: Lecture Notes in Computer Science
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 363
Published: 29th July 2010
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.5  x 2.03
Weight (kg): 0.57