LSIR-2: Logic and the Simulation of Interaction and Reasoning Benedikt Löwe Abstract: Keywords: computer games; artificial intelligence; IJCAI; LSIR