| Title |
Type |
Location |
Serial |
Start |
End |
All Day |
|
|
Lecture – About this Course/AI Core Course Concepts |
Lecture |
HS003 (E1 3) |
1 |
10.04.25 |
10.04.25 |
No |
|
|
Lecture – AI Core Course Concepts |
Lecture |
HS003 (E1 3) |
1 |
17.04.25 |
17.04.25 |
No |
|
|
Lecture – Admissible Pruning I: Partial-Order Reduction |
Lecture |
HS003 (E1 3) |
1 |
24.04.25 |
24.04.25 |
No |
|
|
Tutorial |
Tutorial |
E1 1, room 3.06 |
2 |
24.04.25 |
24.04.25 |
No |
|
|
PUBLIC HOLIDAY |
Break |
|
1 |
01.05.25 |
N/A |
Yes |
|
|
Lecture – Admissible Pruning I: Partial-Order Reduction/Admissible Pruning II: Dominance Pruning |
Lecture |
HS003 (E1 3) |
1 |
08.05.25 |
08.05.25 |
No |
|
|
Tutorial |
Tutorial |
E1 1, room 3.06 |
2 |
08.05.25 |
08.05.25 |
No |
|
|
Lecture – Admissible Pruning II: Dominance Pruning/Planning as SAT |
Lecture |
HS003 (E1 3) |
1 |
15.05.25 |
15.05.25 |
No |
|
|
Tutorial |
Tutorial |
E1 1, room 3.06 |
2 |
15.05.25 |
15.05.25 |
No |
|
|
Lecture – Planning as SAT/Policy Learning: Action Schema Networks |
Lecture |
HS003 (E1 3) |
1 |
22.05.25 |
22.05.25 |
No |
|
|
Tutorial |
Tutorial |
E1 1, room 3.06 |
2 |
22.05.25 |
22.05.25 |
No |
|
|
PUBLIC HOLIDAY |
Break |
|
1 |
29.05.25 |
N/A |
Yes |
|
|
Lecture – Policy Learning: Action Schema Networks/Policy Verification I: Basics |
Lecture |
HS003 (E1 3) |
1 |
05.06.25 |
05.06.25 |
No |
|
|
Tutorial |
Tutorial |
E1 1, room 3.06 |
2 |
05.06.25 |
05.06.25 |
No |
|
|
Lecture – Policy Verification I: Basics |
Lecture |
HS003 (E1 3) |
1 |
12.06.25 |
12.06.25 |
No |
|
|
Tutorial |
Tutorial |
E1 1, room 3.06 |
2 |
12.06.25 |
12.06.25 |
No |
|
|
PUBLIC HOLIDAY |
Break |
|
1 |
19.06.25 |
N/A |
Yes |
|
|
Lecture – Policy Verification II: Policy Predicate Abstraction |
Lecture |
HS003 (E1 3) |
1 |
26.06.25 |
26.06.25 |
No |
|
|
Tutorial |
Tutorial |
E1 1, room 3.06 |
2 |
26.06.25 |
26.06.25 |
No |
|
|
Lecture – Policy Verification II: Policy Predicate Abstraction |
Lecture |
HS003 (E1 3) |
1 |
03.07.25 |
03.07.25 |
No |
|
|
Tutorial |
Tutorial |
E1 1, room 3.06 |
2 |
03.07.25 |
03.07.25 |
No |
|
|
Lecture – Policy Testing: Classical Planning |
Lecture |
HS003 (E1 3) |
1 |
10.07.25 |
10.07.25 |
No |
|
|
Tutorial |
Tutorial |
E1 1, room 3.06 |
2 |
10.07.25 |
10.07.25 |
No |
|
