LEADER 05544nam 22007815 450 001 9910484370703321 005 20200701072437.0 010 $a3-319-04939-9 024 7 $a10.1007/978-3-319-04939-7 035 $a(CKB)3710000000089160 035 $a(DE-He213)978-3-319-04939-7 035 $a(SSID)ssj0001187186 035 $a(PQKBManifestationID)11671271 035 $a(PQKBTitleCode)TC0001187186 035 $a(PQKBWorkID)11257296 035 $a(PQKB)10036338 035 $a(MiAaPQ)EBC3101144 035 $a(PPN)176751823 035 $a(EXLCZ)993710000000089160 100 $a20140220d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFoundations of Information and Knowledge Systems $e8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings /$fedited by Christoph Beierle, Carlo Meghini 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XVIII, 433 p. 95 illus.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v8367 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-04938-0 320 $aIncludes bibliographical references and author index. 327 $aInvited Talks -- The Equational Approach to Contrary-to-duty Obligations -- A Survey of the Data Complexity of Consistent Query Answering under Key Constraints -- Regular Articles -- Arguments Using Ontological and Causal Knowledge -- Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions -- An AIF-Based Labeled Argumentation Framework -- On the Semantics of Partially Ordered Bases -- The Structure of Oppositions in Rough Set Theory and Formal Concept Analysis - Toward a New Bridge between the Two Settings -- Enriching Taxonomies of Place Types Using Flickr -- Hintikka-Style Semantic Games for Fuzzy Logics -- A Finite Axiomatization of Conditional Independence and Inclusion Dependencies -- Guard Independence and Constraint-Preserving Snapshot Isolation -- Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model -- View-Based Tree-Language Rewritings for XML -- EHC: Non-parametric Editing by Finding Homogeneous Clusters -- A Logic for Specifying Stochastic Actions and Observations -- Belief Revision in Structured Probabilistic Argumentation -- A Multi-granular Database Model -- Optimizing Computation of Repairs from Active Integrity Constraints -- Belief Merging in Dynamic Logic of Propositional Assignments -- Incremental Maintenance of Aggregate Views -- Towards an Approximative Ontology-Agnostic Approach for Logic Programs. 330 $aThis book constitutes the proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2014, held in Bordeaux, France, in March 2014. The 14 revised full papers presented together with 5 revised short papers and two invited talks were carefully reviewed and selected from 52 submissions. The papers address various topics such as database design, dynamics of information, information fusion, integrity and constraint management, intelligent agents, knowledge discovery and information retrieval, knowledge representation, reasoning and planning, logics in databases and AI, mathematical foundations, security in information and knowledge Systems, semi-structured data and XML, social computing, the semantic Web and knowledge management, as well as the WWW. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v8367 606 $aMathematical logic 606 $aComputer science?Mathematics 606 $aComputer logic 606 $aAlgorithms 606 $aArtificial intelligence 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 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aMathematical logic. 615 0$aComputer science?Mathematics. 615 0$aComputer logic. 615 0$aAlgorithms. 615 0$aArtificial intelligence. 615 14$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. 615 24$aArtificial Intelligence. 676 $a004 702 $aBeierle$b Christoph$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMeghini$b Carlo$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484370703321 996 $aFoundations of Information and Knowledge Systems$92899609 997 $aUNINA