|
|
| (4 intermediate revisions 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. Core KR courses are:
| + | generic page |
| − | | + | |
| − | * Semantic basics of knowledge systems (1-INF-470)
| + | |
| − | * Representation, Knowledge and Inference (2-IKV-131)
| + | |
| − | * Knowledge Representation and Reasoning (2-AIN-144)
| + | |
| − | | + | |
| − | Advanced courses are:
| + | |
| − | | + | |
| − | * Description Logics, ontologies and the semantic web (1-AIN-646)
| + | |
| − | * Answers set programming (M-INCU-062)
| + | |
| − | | + | |
| − | 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)
| + | |
