Joe Halpern and his coauthor Willemien Kets were awarded the Ray Reiter Prize for best paper at KR 2012.