Prof. Thomas Bolander, logic and Artificial Intelligence at the Technical University of Denmark:Tough Problems in Artificial Intelligence