Artificial Intelligence in Theory and Practice : IFIP 19th World Computer Congress, TC 12