

(One intermediate revision 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 
−   +  
−  ==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 Applications (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)
 +  