Knowledge Representation and Reasoning: Rozdiel medzi revíziami

Aktuálna revízia z 15:53, 24. august 2008

generic page

@@ Riadok 1: / Riadok 1: @@
-{{Course
+generic page
-  | name = Knowledge Representation and Reasoning
-  | code = 2-AIN-144
-  | prerequisites = none
-  | semester = Winter
-  | year = 1
-  | credits = 6
-  | form = C - exercise (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
-}}