Notes
|
|
2
|
1153
|
27. Januar 2021
|
Join us developing a new Kalah protocol!
|
|
1
|
1161
|
26. Januar 2021
|
[Official] We have an exam date: 15. 2. 2021
|
|
8
|
982
|
26. Januar 2021
|
Tuesday Morning Tutorieal Thread
|
|
8
|
1157
|
26. Januar 2021
|
Kalah tournament thread
|
|
39
|
3396
|
24. Januar 2021
|
First-Order Tableaux
|
|
2
|
402
|
20. Januar 2021
|
[Official] Mock exam posted
|
|
1
|
432
|
18. Januar 2021
|
[Offical] Assignment 6 and tutorials before/after Christmas
|
|
18
|
1882
|
18. Januar 2021
|
Hiring: Tutors for AI2
|
|
1
|
398
|
13. Januar 2021
|
[Official] Languages in the AI Exam
|
|
1
|
424
|
12. Januar 2021
|
Problem 6.2 (Equivalence of CSP and SAT)
|
|
2
|
441
|
6. Januar 2021
|
Kalaha tournament: link to upload the code
|
|
3
|
628
|
6. Januar 2021
|
Chapter 15 (Knowledge Representation) Videos are online
|
|
1
|
400
|
2. Januar 2021
|
Resolution calculus, Tableaux, first order resolution
|
|
12
|
759
|
29. Dezember 2020
|
Difference between Term, Proposition and Formula
|
|
3
|
475
|
21. Dezember 2020
|
[Official] Assignment 5
|
|
2
|
536
|
21. Dezember 2020
|
[Official] Assignment 4
|
|
19
|
1649
|
17. Dezember 2020
|
Problem 5.3 (Finite CSPs in Prolog)
|
|
5
|
501
|
17. Dezember 2020
|
[Official] Assignment 3
|
|
13
|
1254
|
16. Dezember 2020
|
Literature for the basics
|
|
1
|
366
|
16. Dezember 2020
|
Chapter 13 in Reading/Watch-List
|
|
2
|
450
|
16. Dezember 2020
|
Inconsistency in definitions
|
|
5
|
527
|
15. Dezember 2020
|
Time requirements for watching the video nuggets
|
|
11
|
822
|
14. Dezember 2020
|
Arc consistency and forward checking
|
|
1
|
424
|
11. Dezember 2020
|
Correct exam registration?
|
|
4
|
416
|
8. Dezember 2020
|
Inconsistent assignment
|
|
5
|
542
|
6. Dezember 2020
|
[Official] Assignment 2
|
|
22
|
1725
|
3. Dezember 2020
|
[Official] Organization of the AI-I Lecture and Tutorials (online)
|
|
10
|
4790
|
30. November 2020
|
Homework assignments --> automatically registered for exam?
|
|
8
|
765
|
26. November 2020
|
[Official] Assignment 1
|
|
10
|
1470
|
24. November 2020
|