Ut	16:30 - 18:00	 (2 v.hod.) 	 	Cvičenie	1-AIN-412	Matematika (4)  - Logika pre informatikov	J. Pukancová
St	9:50 - 11:20	 (2 v.hod.) 	 	Prednáška	2-AIN-144	Reprezentácia znalostí a inferencia	J. Pukancová, M. Homola
St	9:50 - 11:20	 (2 v.hod.) 	 	Prednáška	2-AIN-286	Ontológie a znalostné inžinierstvo	J. Pukancová, M. Homola
St	16:30 - 18:00	 (2 v.hod.) 	 	Cvičenie	2-AIN-144	Reprezentácia znalostí a inferencia	J. Pukancová, M. Homola
St	16:30 - 18:00	 (2 v.hod.) 	 	Cvičenie	2-AIN-286	Ontológie a znalostné inžinierstvo	J. Pukancová, M. Homola