Artificial intelligence: theories and applications : 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, may 28-31, 2012. Proceedings.