Prednáška M-XI Reprezentácia znalostí a inferencia Po 9:50 11:20 J. Pukancová Seminár I-8 Seminár Ut 12:20 13:05 M. Homola J. Kľuka J. Pukancová I. Bečková P. Anthony Z. Adams E. Štefancová J. Boborová M. Onoja KR Group meeting Cvičenie I-H3 Logika pre informatikov Ut 13:10 14:40 J. Pukancová Cvičenie F1-247 Reprezentácia znalostí a inferencia St 9:00 10:30 J. Pukancová M. Homola Výber/Vol I-23 Tvorivé písanie Pi 9:50 11:20 J. Pukancová