03905nam 22007335 450 99646595810331620220329175614.03-642-28472-810.1007/978-3-642-28472-4(CKB)3360000000365900(SSID)ssj0000666103(PQKBManifestationID)11432173(PQKBTitleCode)TC0000666103(PQKBWorkID)10664029(PQKB)10261961(DE-He213)978-3-642-28472-4(MiAaPQ)EBC3070315(PPN)168312077(EXLCZ)99336000000036590020120302d2012 u| 0engurnn#008mamaatxtccrFoundations of Information and Knowledge Systems[electronic resource] 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012, Proceedings /edited by Thomas Lukasiewicz, Attila Sali1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XII, 405 p.)Information Systems and Applications, incl. Internet/Web, and HCI ;7153International conference proceedings.3-642-28471-X Includes bibliographical references and author index.This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012. The 12 regular and 8 short papers, presented together with two invited talks in full paper-length, were carefully reviewed and selected from 53 submissions. The contributions cover foundational aspects of information and knowledge systems. These include the application of ideas, theories or methods from specific disciplines to information and knowledge systems, such as discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics, and optimization.Information Systems and Applications, incl. Internet/Web, and HCI ;7153Mathematical logicComputer science—MathematicsComputer logicAlgorithmsArtificial intelligenceMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Discrete Mathematics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17028Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematics of Computinghttps://scigraph.springernature.com/ontologies/product-market-codes/I17001Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical logic.Computer science—Mathematics.Computer logic.Algorithms.Artificial intelligence.Mathematical Logic and Formal Languages.Discrete Mathematics in Computer Science.Logics and Meanings of Programs.Mathematics of Computing.Algorithm Analysis and Problem Complexity.Artificial Intelligence.005.131Lukasiewicz Thomasedthttp://id.loc.gov/vocabulary/relators/edtSali Attilaedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465958103316Foundations of Information and Knowledge Systems774287UNISA