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, Branislav Bošanský
Teaching assistants: The TAs are rotated according to the topics, contacts: Branislav Bošanský, David Fiedler, Jaromír Janish, Martin Schaefer
Exam rules:
Exam passing conditions:
Exam dates [2018]: