04921nam 22008295 450 99646552440331620200705111025.01-280-38573-197866135636513-642-11829-110.1007/978-3-642-11829-6(CKB)2670000000003387(EBL)3065039(SSID)ssj0000355507(PQKBManifestationID)11294243(PQKBTitleCode)TC0000355507(PQKBWorkID)10340894(PQKB)10094411(DE-He213)978-3-642-11829-6(MiAaPQ)EBC3065039(MiAaPQ)EBC6219561(PPN)149073739(EXLCZ)99267000000000338720100715d2010 u| 0engur|n|---|||||txtccrFoundations of Information and Knowledge Systems[electronic resource] 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings /edited by Sebastian Link, Henri Prade1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (373 p.)Information Systems and Applications, incl. Internet/Web, and HCI ;5956Description based upon print version of record.3-642-11828-3 Includes bibliographical references and index.Invited 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.Information Systems and Applications, incl. Internet/Web, and HCI ;5956ComputersMathematical logicComputer science—MathematicsComputer logicAlgorithmsTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Discrete Mathematics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17028Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematics of Computinghttps://scigraph.springernature.com/ontologies/product-market-codes/I17001Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Computers.Mathematical logic.Computer science—Mathematics.Computer logic.Algorithms.Theory of Computation.Mathematical Logic and Formal Languages.Discrete Mathematics in Computer Science.Logics and Meanings of Programs.Mathematics of Computing.Algorithm Analysis and Problem Complexity.004Link Sebastianedthttp://id.loc.gov/vocabulary/relators/edtPrade Henriedthttp://id.loc.gov/vocabulary/relators/edtFoIKS 2010MiAaPQMiAaPQMiAaPQBOOK996465524403316Foundations of Information and Knowledge Systems774287UNISA