Foundations of Information and Knowledge Systems: 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings (Lecture Notes in Computer Science (5956))

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 - Constitutes the 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. This title presents the 19 revised full papers together with three invited talks that were reviewed and selected from 50 papers.