ICE-TCS and CADIA lecture - Michael Thielscher - Knowledge Representation and Reasoning for General Game Playing

The talk is entitled "Knowledge Representation and Reasoning for General Game Playing" and jointly organized by ICE-TCS and CADIA.

Abstract:

A General Game Player is a program that accepts formal descriptions of arbitrary games and plays these games without human intervention. One of the grand challenges for Artificial Intelligence, General Game Playing requires to combine techniques from a wide range of areas. This talk will focus on the application of methods from Knowledge Representation and Reasoning for General Game Playing: (1) Mapping game descriptions to efficient representations; (2) Extracting knowledge from game descriptions; and (3) Proving properties of games.

Short bio:

Michael Thielscher is currently professor at Dresden University, where he is Head of the Computational Logic Group since 1997. He received his PhD in Computer Science from Darmstadt University of Technology. He has been a guest researcher at the International Computer Science Institute in Berkeley, at Imperial College in London, the University of Toronto, the University of New South Wales, and the University of Western Sydney. In 1998, his Habilitation thesis was honored with the award for research excellence by the alumni of Darmstadt University of Technology.

Michael's current research is mainly in knowledge representation, cognitive agents, game playing, and constraint logic programming. He has published over 70 refereed papers and four books, and he has co-authored the general game playing system FLUXPLAYER, which in 2006 has won the AAAI General Game Playing Contest.