

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 
−   +  
−  ==Introduction to KR==
 +  
−   +  
−  * Semantic fundamentals of knowledge systems (1INF470)
 +  
−   +  
−  ==Core KR courses==
 +  
−   +  
−  * Representation, knowledge and reasoning (2IKV131)
 +  
−  * Knowledge representation and reasoning (2AIN144)
 +  
−  * Description logics, ontologies and the semantic web (1AIN646)
 +  
−  * Answers set programming (MINCU062)
 +  
−  * Programming in Prolog (MINCU022)
 +  
−  * Judegment involving uncertainty (2AIN245)
 +  
−   +  
−  ==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)
 +  
−  * Declarative programming of web ppplications (1AIN425)
 +  
−  * Symbolic programming and LISP (MINCU021)
 +  
−  * Logic and cognitive science (2IKV261)
 +  
−   +  
−  ==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). It is best if you have the background informations beforehand but usually it is also possible to take your KR course together the prerequired courses (same semester).
 +  
−  We advice that you take one of the AI courses:
 +  
−   +  
−  * Fundamentals of artificial intelligence 1 (1AIN360)
 +  
−  * Fundamentals of artificial intelligence for cognitive science (2IKV103)
 +  
−   +  
−  and at least one of the Logic courses:
 +  
−   +  
−  * Introduction to mathematical logic (1INF210)
 +  
−  * Mathematical logic (2INF114)
 +  
−  * Logic for computer science (1INF450)
 +  
−  * Mathematical logic for cognitive science (2IKV267)
 +  
−  * Set theory and mathematical logic 1 (1MAT455)
 +  
−  * Set theory and mathematical logic 2 (1MAT480)
 +  
−   +  
−  It also an advantage, if you have background in formal languages and automata, computational complexity. Recommended courses:
 +  
−   +  
−  * Formal languages and automata 1 (1INF215)
 +  
−  * Formal languages and automata 2 (1INF410)
 +  
−  * Computational complexity (2INF124)
 +  
−   +  
−  And finally, you should have background in databases, there are two courses taught at our faculty:
 +  
−   +  
−  * Introduction to database systems (1INF230)
 +  
−  * Databases (1INF500)
 +  