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