(ASP versions of) Decision Modeling & Optimization in Game Design.