Hartman, B.; Horvitz, E. Preface. HCOMP 2013, 1, xi-x.