Foundations of Information and Knowledge Systems : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings

by Link, Sebastian; Prade, Henri

• ISBN13: 9783642118289
• ISBN10: 3642118283
• Edition: 1st
• Format: Paperback
• Copyright: 2010-03-25
• Publisher: Springer Verlag

Summary

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.

Table of Contents

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