

(2 intermediate revisions by one other user not shown) 
Line 1: 
Line 1: 
−  [http://en.wikipedia.org/wiki/Knowledge_representation Knowledge representation] has traditionally been an important area of research at our department. In accordance, whole family of courses on this subject is offered to our students.
 +  generic page 
−   +  
−  ==Core KR courses==
 +  
−   +  
−  * Semantic basics of knowledge systems (1INF470)
 +  
−  * Representation, Knowledge and Inference (2IKV131)
 +  
−  * Knowledge Representation and Reasoning (2AIN144)
 +  
−   +  
−  ==Advanced courses==
 +  
−   +  
−  * Description Logics, ontologies and the semantic web (1AIN646)
 +  
−  * Answers set programming (MINCU062)
 +  
−   +  
−  ==Related courses==
 +  
−   +  
−  Selection of courses that are also related to knowledge representation:
 +  
−   +  
−  * Expert systems 1 (2AIN141)
 +  
−  * Expert systems 2 (2AIN241)
 +  
−  * Introduction to declarative programming (1AIN505)
 +  
−  * Symbolic programming and LISP (MINCU021)
 +  
−   +  
−  ==Before you subscribe to KR course==
 +  
−   +  
−  Before you subscribe to any of the KR courses, it is advised to have some background in logic and in artificial intelligence (AI). We advice that you take at least one of:
 +  
−   +  
−  * Introduction to mathematical logic (1INF210)
 +  
−  * Mathematical logic (2INF114)
 +  
−  * Logic for computer science (1INF450)
 +  
−  * Set Theory and Mathematical Logic 1 (1MAT455)
 +  
−  * Set Theory and Mathematical Logic 2 (1MAT480)
 +  