From 248f2546e3d7d29cf4951b868e58f0ef2ade9b62 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Fri, 12 Jan 2024 12:24:13 +0000 Subject: [PATCH] Update swuv.md --- courses/swuv.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/courses/swuv.md b/courses/swuv.md index 0af6ae3..a7f6468 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -72,7 +72,8 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i | 11. 01. 2024 | Muhammad Gulfam Tahir, Josefine Kelber | A knowledge representation approach for construction contract knowledge modeling, Human-Computer Interactions by Using the Grammatical Logical Inference Framework || | 18. 01. 2024 | Shawrya Shetty, Aziz Aubakirov, Palak Dubey | On the links between Argumentation Theory and Non-Monotonic Reasoning, AI for Hanabi, Ontology-Based Similarity Computation of Two Sentences Using Word-Net Database |start at 13:15| | 25. 01. 2024 | Sijan Shrestha, Lukas Stärz | Voldemort's Theorem, Weak Type Theory || -| 01. 02. 2024 | Zisis Erkelentzis, Stefan Demling | Logic-Based Machine Translation, Evasiveness Through Binary Decision Diagrams || +| 01. 02. 2024 | Zisis Erkelentzis, Stefan Demling | Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's +Progressive Matrices, Evasiveness Through Binary Decision Diagrams || | 08. 02. 2024 | Suryalaxmi Ravianandan, Mohammad Annus| Generalized Set Theory, Automatic generation of short-answer questions in reading comprehension using NLP and KNN|| ##### Topics -- GitLab