LEADER 05467nam 22007695 450 001 9910373927103321 005 20200630165033.0 010 $a3-030-39951-6 024 7 $a10.1007/978-3-030-39951-1 035 $a(CKB)4100000010121607 035 $a(DE-He213)978-3-030-39951-1 035 $a(MiAaPQ)EBC6112120 035 $a(PPN)24284510X 035 $a(EXLCZ)994100000010121607 100 $a20200128d2020 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 $e11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17?21, 2020, Proceedings /$fedited by Andreas Herzig, Juha Kontinen 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XVIII, 335 p. 656 illus., 13 illus. in color.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v12012 311 $a3-030-39950-8 320 $aIncludes bibliographical references and index. 327 $aFunctional Dependencies in Incomplete Databases With Limited Domains -- Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings -- On matrices and K-relations -- Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood -- ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation -- Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems -- Diversity, Dependence and Independence -- Towards Probabilistic Reasoning in Type Theory - the Intersection Type Case -- Measuring Inconsistency in a General Information Space -- Parameterised Complexity of Model Checking and Satisability in Propositional Dependence Logic -- Utilizing Deep Learning and RDF to Predict Heart Transplantation Survival -- Game Description Logic with Integers: A GDL Numerical Extension -- Craig Interpolation of Epistemic Logics with Distributed Knowledge -- On the dynamics of structured argumentation: Modeling changes in default justication logic -- Logic-based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams -- Realisability of Choreographies -- Schema Optimisation Instead Of (Local) Normalisation -- Strongly Minimal MapReduce Algorithms: A TeraSort Case Study -- Event Sequence Interpretation of Structural Geomodels: A Knowledge-Based Approach for Extracting Tectonic Sequences. 330 $aThis book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020. The 19 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address various topics such as big data; 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; and the world wide web. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v12012 606 $aMathematical logic 606 $aSoftware engineering 606 $aDatabase management 606 $aArtificial intelligence 606 $aComputer logic 606 $aKnowledge representation (Information theory)  606 $aApplication software 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aLogic in AI$3https://scigraph.springernature.com/ontologies/product-market-codes/I21020 606 $aKnowledge based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I21030 606 $aComputer Appl. in Administrative Data Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/I2301X 615 0$aMathematical logic. 615 0$aSoftware engineering. 615 0$aDatabase management. 615 0$aArtificial intelligence. 615 0$aComputer logic. 615 0$aKnowledge representation (Information theory) . 615 0$aApplication software. 615 14$aMathematical Logic and Formal Languages. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aDatabase Management. 615 24$aLogic in AI. 615 24$aKnowledge based Systems. 615 24$aComputer Appl. in Administrative Data Processing. 676 $a004 676 $a005.131 702 $aHerzig$b Andreas$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKontinen$b Juha$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910373927103321 996 $aFoundations of Information and Knowledge Systems$92899609 997 $aUNINA