LEADER 05157nam 22008055 450 001 9910484370703321 005 20251226202438.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,$x2946-1642 ;$v8367 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$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,$x2946-1642 ;$v8367 606 $aMachine theory 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aComputer science 606 $aAlgorithms 606 $aArtificial intelligence 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 606 $aArtificial Intelligence 615 0$aMachine theory. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aArtificial intelligence. 615 14$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. 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