|
|
| (One intermediate revision by one other user not shown) |
| 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
| + | |
| − | }}
| + | |
