Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings - Link, Sebastian; Prade, Henri; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2010)
Keywords: Computer science; Computer software; Logic design; Computational complexity; Artificial intelligence; Computer Science; 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 (incl. Robotics).