Cvičení / Labs 2018

No. Téma cvičení / Topic Zdroje / Sources Odkazy / Links
1 Intro to state space Seminar 1
2 Uninformed Search Seminar 2
3 Informed Search A* Seminar 3
4 Advanced techniques - A* Seminar 4
5 Constraint Satisfaction Programming (CSP) Seminar 5
6 CSP II Seminar 6
7 Two Player Games Seminar 7 ab.java node.java
8 Two-player games II, Monte Carlo Tree Search
9 KR and automated theorem proving A few problems solved in Prover9 Prover9
10 Situation calculus Two sitcalc problems in Prover9 TASK 4
11 Single decisions under uncertainty, VPI Solved examples for VPI see Lecture 9
12 Markov Decision Processes (MDPs) see Solved examples above TASK 5
13 Markov Decision Processes (POMDPs) see Solved examples above
14 TBD
courses/b4b36zui/seminars.txt · Last modified: 2018/05/15 11:18 by klema