Bart Selman

ACM Fellows

Netherlands - 2012

citation

For contributions to artificial intelligence with applications to automated reasoning and planning.