You do not have permission to edit this page, for the following reasons:

• The action you have requested is limited to users in the group: Users.
• The action you have requested is limited to users in the group: Users.

---

You can view and copy the source of this page.

{{Predmet | name = Reprezentácia znalostí a inferencia | code = 2-AIN-144 | prerequisites = [[Computational Logic|2-AIN-108]] | semester = Letný | year = 1 | credits = 6 | form = P - prednáška (2), C - cvičenie (2) | evaluation = 40/60 | webpage = [[Course KRR|http://www.dai.fmph.uniba.sk/w/Course_KRR]] | teacher = [[Martin Balaz|Baláž M.]] (lectures), [[Martin Homola|Homola M.]] (lectures), [[Jozef Frtus|Frtús J.]] (practicals) | description = Poskytnúť študentom vedomosti z oblastí: matematická logika, logické programovanie, nemonotónne usudzovanie, teoretické základy znalostných systémov, formálne modely reprezentácie znalostí, sémantická špecifikácia jazyka na reprezentáciu znalostí a vzťahu odvodenia. | offered_in = Povinne-voliteľný v [[Master program in Applied Informatics|Magisterskom programe Aplikovaná informatika]] | recommendations = 1-INF-471 }}

Return to Knowledge Representation and Reasoning/sk.

← Knowledge Representation and Reasoning/sk