@@ -66,10 +66,10 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i
| 16. 11. 2023 | Stefan Kiehlburger | Spotting Quantity Expressions in Technical Documents | MSc defense|
| 23. 11. 2023 | cancelled | ||
| 30. 11. 2023 | Lucas Panzer | Annotizer: Flexible General Annotation Tool | MSc defense|
| 07. 12. 2023 | Yasmeen Shawaat, Muhammad Azam | Superhuman AI for Multiplayer Poker, Legal NLP ||
| 07. 12. 2023 | Yasmeen Shawaat | Superhuman AI for Multiplayer Poker ||
| 14. 12. 2023 | Leon Huber, Harshanaa Udhaykumar | Consciousness and Automated Reasoning, Generative Language Modeling for Automated Theorem Proving ||
| 21. 12. 2023 | Babar Ali, Layla Kuty | An Overview of Ontology Querying, Unifying Large Language Models and Knowledge Graphs ||
| 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 ||
| 21. 12. 2023 | Muhammad Azam, Babar Ali, Layla Kuty | Legal NLP, An Overview of Ontology Querying, Unifying Large Language Models and Knowledge Graphs | start at 13:15|
| 11. 01. 2024 | Shawrya Shetty, Muhammad Gulfam Tahir, Josefine Kelber | On the links between Argumentation Theory and Non-Monotonic Reasoning, A knowledge representation approach for construction contract knowledge modeling, Human-Computer Interactions by Using the Grammatical Logical Inference Framework |start at 13:15|
| 18. 01. 2024 | Aziz Aubakirov, Palak Dubey | AI for Hanabi, Ontology-Based Similarity Computation of Two Sentences Using Word-Net Database ||
| 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 ||
