Difference between revisions of "Knowledge Representation and Reasoning"

Latest revision as of 16:53, 24 August 2008

generic page

@@ Line 1: / Line 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
-}}