Artificial intelligence in theory and practice IV : 4th IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2015, Held as Part of WCC 2015, Daejeon, South Korea, october 4-7, 2015, proceedings.