TY  - BOOK
AU  - Lukasiewicz,Thomas
AU  - Sali,Attila
ED  - SpringerLink (Online service)
TI  - Foundations of Information and Knowledge Systems: 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642284724
AV  - QA8.9-QA10.3 
U1  - 005.131 23
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer software
KW  - Logic design
KW  - Computational complexity
KW  - Artificial intelligence
KW  - Computer Science
KW  - Mathematical Logic and Formal Languages
KW  - Discrete Mathematics in Computer Science
KW  - Logics and Meanings of Programs
KW  - Mathematics of Computing
KW  - Algorithm Analysis and Problem Complexity
KW  - Artificial Intelligence (incl. Robotics)
N2  - 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, informaiton theory, complexity theory, algorithmics and computation, statistics, and optimization
UR  - http://dx.doi.org/10.1007/978-3-642-28472-4
ER  -