Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • zolekode-master-patch-26857
  • zolekode-master-patch-78201
  • zolekode-master-patch-54259
  • zolekode-master-patch-38209
5 results
Blame Permalink
swuv.md 20.21 KiB 
layout: course

title: Seminar Wissensrepräsentation und -verarbeitung
instructors:
    - mkohlhase
    - frabe
semesters:
    - SS17
    - WS17/18
    - SS18
    - WS18/19
    - SS19
    - WS19/20
    - SS20
    - WS20/21
    - SS21
    - WS21/22
    - SS22
    - WS22/23
    - SS23
    - WS23/24
    - SS24
Administrative

The seminar is offered every semester. No formal registration is necessary - just attend the first meeting. It takes place Wednesdays 16:15-17:45 throughout the lecture period in Room 00.131-128, Cauerstraße 11.

For general discussion of the seminar, use the chat room https://matrix.to/#/#swuv:fau.de.

The seminar takes place in-person unless mentioned otherwise. If we need to do it via zoom, we will use the following room:

Schedule SS 2024
Date Speaker Topic Remark
17. 04. 2024 Müller, Rabe Admin, discussion of topics
24. 04. 2024 Müller, Rabe How to read a paper?
01. 05. 2024 holiday
08. 05. 2024 Müller, Rabe How to give a presentation
15. 05. 2024
22. 05. 2024 Edoardo Berardi Vittur Aligning Artificial Neural Networks and Ontologies towards Explainable AI
Yaping Qu Knowledge Representation Technologies for Narratives, Digital Humanities and Cultural Heritage
Hyunsook Kim WissKI: Semantische Annotation, Wissensverarbeitung und Wissenschaftskommunikation in einer virtuellen Forschungsumgebung
29. 05. 2024 Tolga Keskinoglu Polynomial Circuit Verification using BDDs
Joud Busaileh A Voice Cloning Method Based on the Improved HiFi-GAN Model
Gaurav Bhalala Large Language Models and Knowledge Graphs: Opportunities and Challenges
05. 06. 2024 Joanes Irigoien Kortabitarte NeRF: Representing Scenes as Neural Radiance Fields for View Synthesis
Shubhangi More On the Forecasting of Body Temperature using IoT and Machine Learning Techniques
(moved to June 26th)
12. 06. 2024 Wenwen Wang Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT
Ilias Anwari The Eye in Extended Reality: A Survey on Gaze Interaction and Eye Tracking in Head-worn Extended Reality
Moiz Riaz A Proof-Producing Compiler for Blockchain Applications
19. 06. 2024 Priyanka Singh Large Language Models as Knowledge Bases? / Find The Gap: Knowledge Base Reasoning For Visual Question Answering
Malika Tillaeva Caminati, Isabelle Formalisation of Original Representation Theorems
Muqaddas Ramzan Now It Compiles!: Certified Automatic Repair of Uncompilable Protocols
26. 06. 2024 David López Caballero How Should We Measure Filter Bubbles? A Regression Model and Evidence for Online News
Simon Pfister General Game Playing With State-Independent Communication
Chatchai Boonman Confidences for Commonsense Reasoning (moved from June 5th)
03. 07. 2024 Annick Faal Differential Evolution Algorithm Based on DBSCAN-FR Clustering Method
Marius Lin Can Large Language Models be too big?
Md Redwan Hossain An Experimental Pipeline for Automated Reasoning in Natural Language
10. 07. 2024 Ali Kodera TBA (research)
Shamseldin Elkhatib TBA (research)
Vatsal Bambhania DeepOnto: A Python Package for Ontology Engineering with Deep Learning
17. 07. 2024 David Meier Evasiveness Through Binary Decision Diagrams (Jesús Aransay, Laureano Lambán, and Julio Rubio)
Johannes Hoang GeoGebra Discovery / Automated reasoning tools in GeoGebra Discovery
Bhupali Chakraborty Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks
Content and Audience

This seminar discusses selected topics from knowledge representation. This is a wide field that pervades all of computer science and many adjacent sciences like mathematics and physics. Typical topics involve

  • formal languages (logics, programming languages, data description languages, ontologies, informal scientific languages, ...)
  • tools for working with and applying such languages, both in general and domain-specific ones
  • libraries of formal knowledge and systems for building, maintaining, and managing them
  • knowledge-based services like search or user interfaces

In particular, the primary application of our research is mathematical knowledge, but we are always interested in other areas on a case-by-case basis.

The difficulty of topics varies from introductory topics for ambitious Bachelor students to research topics of PhD students. We also occasionally have advanced talk from visiting researchers.

The social center of the seminar is the KWARC research group, and the talks reflect the current research in the group. Therefore, the seminar is well-suited for newcomers, e.g., students interested in a Master thesis or PhD.

Topics

The seminar consists of weekly talks. Every student chooses one topic on which to give a talk. Additionally every student prepares a report about their topic. The grades is based on attendance, the talk, and the report.

Topics are chosen individually with the instructors, typically at the first seminar slot. Students are allowed and encouraged to make suggestions for their topic - anything is allowed that is scientific and broadly related to knowledge representation.

Some topics can be found at https://gl.kwarc.info/kwarc/thesis-projects/ (Those are thesis topics, but they are representative of the kind of topics that also work in the seminar.) In general, all papers from the IJCAR, CADE, ITP, LICS, CSL, FSCD, CICM, ICMS, KR, ISWC conferences and related workshops of the last few years are acceptable.

For the record WS 2023/2024
Date Speaker Topic Remark
19. 10. 2023 Kohlhase, Rabe Admin, discussion of topics
26. 10. 2023 Kohlhase, Rabe How to read a paper?
02. 11. 2023 Rabe How to give a talk?
09. 11. 2023 Kohlhase, Rabe How to give your seminar talk?
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 Superhuman AI for Multiplayer Poker
14. 12. 2023 Leon Huber, Harshanaa Udhayakumar Seethalakshmi Consciousness and Automated Reasoning, Generative Language Modeling for Automated Theorem Proving
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 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 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