Information modelling and knowledge bases XXIV - Vojtáš, Peter (Frontiers in artificial intelligence and applications, 2013)