Skip to content
Snippets Groups Projects
Commit a20b4c9c authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

merge

parent 0d79d5f9
Branches
No related tags found
No related merge requests found
Pipeline #4937 passed
......@@ -64,10 +64,11 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i
| 03. 11. 2022 | Marcel Dreier | Extension of the MMT knowledge base for volume-based mathemantics questions in UFrameIT| MSc project presentation
| 10. 11. 2022 | Mark Tintemann | LoViWo Extended. Facilitating Further Content Additions for an Existing Knowledge Based Physics Simulation Prototype | BSc thesis presentation
| 17. 11. 2022 | Kohlhase, Rabe | How to read a paper?
| 24. 11. 2022 | cancelled
| 24. 11. 2022 | cancelled
| 01. 12. 2022 | cancelled
| 08. 12. 2022 | Alexander Mattick | Foundation-Independent Computation in MMT | MSc project presentation
| 15. 12. 2022 | Moritz Wurm | Links between Argumentation Theory and Non-Monotonic Logic | seminar presentation
| 15. 12. 2022 | Moritz Wurm | Links between Argumentation Theory and Non-Monotonic Logic | seminar presentation
| 22. 12. 2022 | Sebastian Weber | Combining Case-Based Reasoning and Bayesian Networks for Fault Diagnosis and Problem Solving in Indutrial Robots | MSc Thesis presentation
| 12. 01. 2023 | Tim Friedrich | TBA | seminar presentation
| 19. 01. 2023 | Peter Schick | AI for Hanabi | seminar presentation
| 26. 01. 2023 | Alexander Mattick | Algebraic Effects | seminar presentation
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment