Knowledge Representation and Reasoning (course homepage)
- Lectures: Martin Baláž, Martin Homola
- Labs: Alexander Šimko
- Evaluation: Google Doc
Course outline
- From databases to KR&R
- From deduction to hypothetical reasoning
- Preferences
- Knowledge revision
- Induction
- Abduction
Literature
Evaluation
Evaluation points:
- Midterm: 10
- Exam: 30 (min 10)
- Project: 25 (min 10)
- Labs: 10 (min 3)
- TOTAL: 75
Evaluation scale:
- 67 and more: A
- 59 and more: B
- 52 and more: C
- 45 and more: D
- 39 and more: E
Project
TBA
Lecture Slides
TBA
Labs