Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog. - Lutz Böhnstedt; Alexander Ferrein; Gerhard Lakemeyer (KI, 2007)