This page was used for my tutorial in WS2024/2025.
![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size | Description |
|---|---|---|---|---|
![[PARENTDIR]](/icons/blank.png){kind=icon} | Parent Directory | - | ||
![[DIR]](/icons/folder.gif){kind=icon} | kalah25/ | 2025-04-09 10:28 | - | Game Logs of the Kalah Tournament |
| material/ | 2024-12-09 13:41 | - | Material discussed in the tutorial |
| old/ | 2025-04-01 09:39 | - | Material from WS23/24 |
![[ ]](/icons/layout.gif){kind=icon} | kalah.pdf | 2025-04-08 21:46 | 50K | Results of the Kalah Tournament |
| symbolic-ai.pdf | 2025-04-12 18:32 | 388K | A (partial) summary of the lecture |
matrix is a free and open source chat protocol. FAU hosts its own instance at chat.fau.de, which you can simply use with your idm account. If you already have an account on another instance, you can also join the channel thanks to the federated nature of the matrix network.
Contrary to popular belief the tutorial on will actually take place.
The winter break starts
Tutorials start on thursday, so the first installment of the monday tutorial will be on
Unification — and backtracking predicates. Throughout the seasons.