AI Symposium: no. 4 AI & Reasoning; Josef Urban (CIIRC CTU)