CourseWare Wiki
Switch Term
Summer 2020 / 2021
Summer 2019 / 2020
Summer 2018 / 2019
Summer 2017 / 2018
Search
Log In
b172
courses
b4b36zui
seminars
Warning
This page is located in archive. Go to the latest version of this
course pages
. Go the latest version of
this page
.
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