(Prerequisities)
Riadok 1: Riadok 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. Core KR courses are:
+
[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.  
 +
 
 +
==Core KR courses==
  
 
* Semantic basics of knowledge systems (1-INF-470)
 
* Semantic basics of knowledge systems (1-INF-470)
Riadok 5: Riadok 7:
 
* Knowledge Representation and Reasoning (2-AIN-144)
 
* Knowledge Representation and Reasoning (2-AIN-144)
  
Advanced courses are:
+
==Advanced courses==
  
 
* Description Logics, ontologies and the semantic web (1-AIN-646)
 
* Description Logics, ontologies and the semantic web (1-AIN-646)
 
* Answers set programming (M-INCU-062)
 
* Answers set programming (M-INCU-062)
 +
 +
==Related courses==
  
 
Selection of courses that are also related to knowledge representation:
 
Selection of courses that are also related to knowledge representation:
Riadok 16: Riadok 20:
 
* Introduction to declarative programming (1-AIN-505)
 
* Introduction to declarative programming (1-AIN-505)
 
* Symbolic programming and LISP (M-INCU-021)
 
* Symbolic programming and LISP (M-INCU-021)
 +
 +
==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 (1-INF-210)
 +
* Mathematical logic (2-INF-114)
 +
* Logic for computer science (1-INF-450)
 +
* Set Theory and Mathematical Logic 1 (1-MAT-455)
 +
* Set Theory and Mathematical Logic 2 (1-MAT-480)

Verzia zo dňa a času 16:23, 14. február 2008

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.

Core KR courses

  • Semantic basics of knowledge systems (1-INF-470)
  • Representation, Knowledge and Inference (2-IKV-131)
  • Knowledge Representation and Reasoning (2-AIN-144)

Advanced courses

  • Description Logics, ontologies and the semantic web (1-AIN-646)
  • Answers set programming (M-INCU-062)

Related courses

Selection of courses that are also related to knowledge representation:

  • Expert systems 1 (2-AIN-141)
  • Expert systems 2 (2-AIN-241)
  • Introduction to declarative programming (1-AIN-505)
  • Symbolic programming and LISP (M-INCU-021)

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 (1-INF-210)
  • Mathematical logic (2-INF-114)
  • Logic for computer science (1-INF-450)
  • Set Theory and Mathematical Logic 1 (1-MAT-455)
  • Set Theory and Mathematical Logic 2 (1-MAT-480)