Rostislav Horčík

I am a researcher at the Artificial Intelligence Center, Faculty of Electrical Engineering, Czech Technical University in Prague. My work spans automated planning, strategic games, non-classical logics, and algebraic methods in logic.