H. Jaap van den Herik
AI planning algorithmic learning algorithms artificial intelligence computer games computers and games data mining database intelligence learning optimization proving search algorithms search strategies verification