This author has not been identified. Look up 'Luc De Raedt' in GoogleThis author has not been identified. Look up 'Kristian Kersting' in GoogleThis author has not been identified. Look up 'Angelika Kimmig' in GoogleThis author has not been identified. Look up 'Kate Revoredo' in GoogleThis author has not been identified. Look up 'Hannu Toivonen' in Google