Looking for Pets: a game for the logical reasoning development | IEEE Conference Publication | IEEE Xplore