Ut 11:30 - 13:00 (2 v.hod.) F1 Prednáška Vybrané kapitoly z teoretickej informatiky (1) J. Šiška Ut 15:40 - 17:10 (2 v.hod.) I-9 Prednáška Plánovanie (úvod do reprezentácie znalostí) J. Šiška Ut 18:10 - 19:40 (2 v.hod.) I-H3 Cvičenie Logické programovanie ASP J. Šiška St 11:30 - 13:00 (2 v.hod.) M-XII Prednáška Logické programovanie ASP J. Šiška Št 13:10 - 14:40 (2 v.hod.) F1-248 Výber/Vol Plánovanie (úvod do reprezentácie znalostí) J. Šiška