Notes
|
|
2
|
1186
|
January 27, 2021
|
Join us developing a new Kalah protocol!
|
|
1
|
1202
|
January 26, 2021
|
[Official] We have an exam date: 15. 2. 2021
|
|
8
|
1016
|
January 26, 2021
|
Tuesday Morning Tutorieal Thread
|
|
8
|
1214
|
January 26, 2021
|
Kalah tournament thread
|
|
39
|
3476
|
January 24, 2021
|
First-Order Tableaux
|
|
2
|
424
|
January 20, 2021
|
[Official] Mock exam posted
|
|
1
|
456
|
January 18, 2021
|
[Offical] Assignment 6 and tutorials before/after Christmas
|
|
18
|
1926
|
January 18, 2021
|
Hiring: Tutors for AI2
|
|
1
|
417
|
January 13, 2021
|
[Official] Languages in the AI Exam
|
|
1
|
441
|
January 12, 2021
|
Problem 6.2 (Equivalence of CSP and SAT)
|
|
2
|
467
|
January 6, 2021
|
Kalaha tournament: link to upload the code
|
|
3
|
652
|
January 6, 2021
|
Chapter 15 (Knowledge Representation) Videos are online
|
|
1
|
422
|
January 2, 2021
|
Resolution calculus, Tableaux, first order resolution
|
|
12
|
781
|
December 29, 2020
|
Difference between Term, Proposition and Formula
|
|
3
|
494
|
December 21, 2020
|
[Official] Assignment 5
|
|
2
|
560
|
December 21, 2020
|
[Official] Assignment 4
|
|
19
|
1692
|
December 17, 2020
|
Problem 5.3 (Finite CSPs in Prolog)
|
|
5
|
520
|
December 17, 2020
|
[Official] Assignment 3
|
|
13
|
1332
|
December 16, 2020
|
Literature for the basics
|
|
1
|
384
|
December 16, 2020
|
Chapter 13 in Reading/Watch-List
|
|
2
|
472
|
December 16, 2020
|
Inconsistency in definitions
|
|
5
|
548
|
December 15, 2020
|
Time requirements for watching the video nuggets
|
|
11
|
846
|
December 14, 2020
|
Arc consistency and forward checking
|
|
1
|
450
|
December 11, 2020
|
Correct exam registration?
|
|
4
|
431
|
December 8, 2020
|
Inconsistent assignment
|
|
5
|
578
|
December 6, 2020
|
[Official] Assignment 2
|
|
22
|
1777
|
December 3, 2020
|
[Official] Organization of the AI-I Lecture and Tutorials (online)
|
|
10
|
4839
|
November 30, 2020
|
Homework assignments --> automatically registered for exam?
|
|
8
|
792
|
November 26, 2020
|
[Official] Assignment 1
|
|
10
|
1518
|
November 24, 2020
|