Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings / [electronic resource] : edited by Thomas Lukasiewicz, Attila Sali. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - 1 online resource (XII, 405 p.) - Lecture Notes in Computer Science, 7153 0302-9743 ; .

9783642284724


Computer science.
Algorithms.
Computer logic.
Mathematical logic.
Computer science--Mathematics.
Artificial intelligence.