Notes
|
|
2
|
1113
|
January 27, 2021
|
Join us developing a new Kalah protocol!
|
|
1
|
1103
|
January 26, 2021
|
[Official] We have an exam date: 15. 2. 2021
|
|
8
|
943
|
January 26, 2021
|
Tuesday Morning Tutorieal Thread
|
|
8
|
1113
|
January 26, 2021
|
Kalah tournament thread
|
|
39
|
3254
|
January 24, 2021
|
First-Order Tableaux
|
|
2
|
373
|
January 20, 2021
|
[Official] Mock exam posted
|
|
1
|
395
|
January 18, 2021
|
[Offical] Assignment 6 and tutorials before/after Christmas
|
|
18
|
1794
|
January 18, 2021
|
Hiring: Tutors for AI2
|
|
1
|
354
|
January 13, 2021
|
[Official] Languages in the AI Exam
|
|
1
|
376
|
January 12, 2021
|
Problem 6.2 (Equivalence of CSP and SAT)
|
|
2
|
408
|
January 6, 2021
|
Kalaha tournament: link to upload the code
|
|
3
|
577
|
January 6, 2021
|
Chapter 15 (Knowledge Representation) Videos are online
|
|
1
|
366
|
January 2, 2021
|
Resolution calculus, Tableaux, first order resolution
|
|
12
|
721
|
December 29, 2020
|
Difference between Term, Proposition and Formula
|
|
3
|
441
|
December 21, 2020
|
[Official] Assignment 5
|
|
2
|
491
|
December 21, 2020
|
[Official] Assignment 4
|
|
19
|
1590
|
December 17, 2020
|
Problem 5.3 (Finite CSPs in Prolog)
|
|
5
|
469
|
December 17, 2020
|
[Official] Assignment 3
|
|
13
|
1181
|
December 16, 2020
|
Literature for the basics
|
|
1
|
336
|
December 16, 2020
|
Chapter 13 in Reading/Watch-List
|
|
2
|
416
|
December 16, 2020
|
Inconsistency in definitions
|
|
5
|
484
|
December 15, 2020
|
Time requirements for watching the video nuggets
|
|
11
|
797
|
December 14, 2020
|
Arc consistency and forward checking
|
|
1
|
354
|
December 11, 2020
|
Correct exam registration?
|
|
4
|
378
|
December 8, 2020
|
Inconsistent assignment
|
|
5
|
501
|
December 6, 2020
|
[Official] Assignment 2
|
|
22
|
1647
|
December 3, 2020
|
[Official] Organization of the AI-I Lecture and Tutorials (online)
|
|
10
|
4725
|
November 30, 2020
|
Homework assignments --> automatically registered for exam?
|
|
8
|
730
|
November 26, 2020
|
[Official] Assignment 1
|
|
10
|
1382
|
November 24, 2020
|