LEADER 06251nam 22008535 450 001 9910484488503321 005 20251226203557.0 010 $a1-280-38573-1 010 $a9786613563651 010 $a3-642-11829-1 024 7 $a10.1007/978-3-642-11829-6 035 $a(CKB)2670000000003387 035 $a(EBL)3065039 035 $a(SSID)ssj0000355507 035 $a(PQKBManifestationID)11294243 035 $a(PQKBTitleCode)TC0000355507 035 $a(PQKBWorkID)10340894 035 $a(PQKB)10094411 035 $a(DE-He213)978-3-642-11829-6 035 $a(MiAaPQ)EBC3065039 035 $a(MiAaPQ)EBC6219561 035 $a(PPN)149073739 035 $a(BIP)28819825 035 $a(EXLCZ)992670000000003387 100 $a20100715d2010 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Information and Knowledge Systems $e6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings /$fedited by Sebastian Link, Henri Prade 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (373 p.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v5956 300 $aDescription based upon print version of record. 311 08$a3-642-11828-3 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Tools and Techniques in Qualitative Reasoning about Space -- A Simple but Formal Semantics for XML Manipulation Languages -- Algorithmic Definability and Completeness in Modal Logic -- Regular Articles -- A Probabilistic Temporal Logic That Can Model Reasoning about Evidence -- An Algorithm for Generating Nash Stable Coalition Structures in Hedonic Games -- Conjunctive Queries with Constraints: Homomorphism, Containment and Rewriting -- Enhancing Dung?s Preferred Semantics -- On the Distance of Databases -- On the Existence of Armstrong Data Trees for XML Functional Dependencies -- Polymorphism in Datalog and Inheritance in a Metamodel -- Possibilistic Semantics for Logic Programs with Ordered Disjunction -- Semantic Web Search Based on Ontological Conjunctive Queries -- Semantically Characterizing Collaborative Behavior in an Abstract Dialogue Framework -- The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics -- Theoretical Foundations for Enabling a Web of Knowledge -- Towards Controlled Query Evaluation for Incomplete First-Order Databases -- Bagging Decision Trees on Data Sets with Classification Noise -- Evolving Schemas for Streaming XML -- ONTO-EVO A L an Ontology Evolution Approach Guided by Pattern Modeling and Quality Evaluation -- Towards a Paradoxical Description Logic for the Semantic Web -- Towards a Unified Model of Preference-Based Argumentation -- Two Complementary Classification Methods for Designing a Concept Lattice from Interval Data. 330 $aThis 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. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v5956 606 $aComputer science 606 $aMachine theory 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aAlgorithms 606 $aTheory of Computation 606 $aFormal Languages and Automata Theory 606 $aDiscrete Mathematics in Computer Science 606 $aComputer Science Logic and Foundations of Programming 606 $aMathematics of Computing 606 $aAlgorithms 615 0$aComputer science. 615 0$aMachine theory. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aAlgorithms. 615 14$aTheory of Computation. 615 24$aFormal Languages and Automata Theory. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aMathematics of Computing. 615 24$aAlgorithms. 676 $a004 702 $aLink$b Sebastian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPrade$b Henri M.$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aFoIKS 2010 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484488503321 996 $aFoundations of Information and Knowledge Systems$92899609 997 $aUNINA