LEADER 04076nam 22008175 450 001 9910484924703321 005 20200629231103.0 010 $a3-319-30024-5 024 7 $a10.1007/978-3-319-30024-5 035 $a(CKB)3710000000627339 035 $a(SSID)ssj0001658342 035 $a(PQKBManifestationID)16438456 035 $a(PQKBTitleCode)TC0001658342 035 $a(PQKBWorkID)14989235 035 $a(PQKB)10747169 035 $a(DE-He213)978-3-319-30024-5 035 $a(MiAaPQ)EBC5587026 035 $a(Au-PeEL)EBL5587026 035 $a(OCoLC)946032295 035 $a(PPN)192771639 035 $a(EXLCZ)993710000000627339 100 $a20160330d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Information and Knowledge Systems $e9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings /$fedited by Marc Gyssens, Guillermo Simari 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XVIII, 355 p. 31 illus. in color.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v9616 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-30023-7 327 $aReasoning about Beliefs, Uncertainty, Incompleteness, and Inconsistency -- Inference and Problem Solving -- Querying and Pattern Mining -- Dealing with Knowledge -- Logics and Complexity. 330 $aThis book constitutes the proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2016, held in Linz, Austria, in March 2016. The 14 revised full papers presented papers were carefully reviewed and selected from 23 submissions. The papers address various topics such as reasoning about beliefs, uncertainty, incompleteness, and inconsistency, inference and problem solving, querying and pattern mining, dealing with knowledge, logics and complexity. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v9616 606 $aMathematical logic 606 $aApplication software 606 $aData mining 606 $aDatabase management 606 $aMathematical statistics 606 $aArtificial intelligence 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aData Mining and Knowledge Discovery$3https://scigraph.springernature.com/ontologies/product-market-codes/I18030 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aProbability and Statistics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17036 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aMathematical logic. 615 0$aApplication software. 615 0$aData mining. 615 0$aDatabase management. 615 0$aMathematical statistics. 615 0$aArtificial intelligence. 615 14$aMathematical Logic and Formal Languages. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aData Mining and Knowledge Discovery. 615 24$aDatabase Management. 615 24$aProbability and Statistics in Computer Science. 615 24$aArtificial Intelligence. 676 $a005.131 702 $aGyssens$b Marc$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSimari$b Guillermo$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484924703321 996 $aFoundations of Information and Knowledge Systems$92899609 997 $aUNINA