Nemáte oprávnenie upravovať túto stránku z nasledovných dôvodov: Činnosť, ktorú požadujete, môže vykonať iba člen skupiny: Používatelia. Činnosť, ktorú požadujete, môže vykonať iba člen skupiny: Používatelia. Môžete si zobraziť a kopírovať zdroj tejto stránky: {{Course | name = Knowledge Representation and Reasoning | code = 2-AIN-144 | prerequisites = none | semester = Winter | year = 1 | credits = 6 | form = C - course (4) | evaluation = 40/60 | webpage = http://ii.fmph.uniba.sk/kri/kri.html | teacher = [[Jan Sefranek|PhDr. Ján Šefránek, CSc.]] | email = sefranek[[Image:zavinac.gif|@]]ii.fmph.uniba.sk | homepage = http://ii.fmph.uniba.sk/~sefranek/ | description = This course covers topics from mathematical logic, logic programming, nonmon otonic reasoning, theoretical foundations of knowledge-based systems, formal models of knowledge representation, semantic specification of a knowledge representation language and of a consequence relation. | offered_in = Obligatory-optional in [[Master program in Applied Informatics]] | recommendations = none }} Späť na Knowledge Representation and Reasoning. ← Knowledge Representation and Reasoning