Bart Selman

Digital Library
photo
Award Winner
Bart Selman

ACM Fellows

Netherlands - 2012

citation

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