Zzobsolete28 (Talk | contribs) |
Zzobsolete28 (Talk | contribs) (Prerequisities) |
||

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. Core KR courses | + | [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) | ||

Line 5: | Line 7: | ||

* Knowledge Representation and Reasoning (2-AIN-144) | * Knowledge Representation and Reasoning (2-AIN-144) | ||

− | Advanced courses | + | ==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: | ||

Line 16: | Line 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) |

## Revision as of 16:23, 14 February 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)