Je potrebné prihlásiť sa Aby ste mohli upravovať stránky, musíte sa prihlásiťSpäť na Súbor:CompLog2014-Lecture-5-Reasoning-with-DL.pdf.