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)