Thomas Bolander, Ph.D., is associate professor at DTU Compute, Technical University of Denmark. He is doing research in logic and artificial intelligence with primary focus on the use of logic to model human-like planning, reasoning and problem solving. Of special...
