LEADER 04921nam  22008295  450 
001 996465524403316
005 20200705111025.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(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$b[electronic resource] $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 ;$v5956
300   $aDescription based upon print version of record.
311   $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.
410  0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v5956
606   $aComputers
606   $aMathematical logic
606   $aComputer science?Mathematics
606   $aComputer logic
606   $aAlgorithms
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
615  0$aComputers.
615  0$aMathematical logic.
615  0$aComputer science?Mathematics.
615  0$aComputer logic.
615  0$aAlgorithms.
615 14$aTheory of Computation.
615 24$aMathematical Logic and Formal Languages.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aLogics and Meanings of Programs.
615 24$aMathematics of Computing.
615 24$aAlgorithm Analysis and Problem Complexity.
676   $a004
702   $aLink$b Sebastian$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPrade$b Henri$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aFoIKS 2010
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465524403316
996   $aFoundations of Information and Knowledge Systems$9774287
997   $aUNISA