Search
This course provides an introduction to the symbolic artificial intelligence. It presents the algorithms for informed and non-informed state space search, nontraditional methods of problem solving, knowledge representation by means of formal logic, methods of automated reasoning and introduction to markovian decision making
Lecturers: Michal Pěchouček, Jiří Kléma, Olga Štěpánková
Teaching assistants: Ondřej Vaněk, Štěpán Kopřiva, Karel Durkota
Exam rules:
Exam passing conditions:
Exam dates [2017]: