Research Seminar Logic and AI
From International Center for Computational Logic
Research Seminar Logic and AI
In this research seminar, we invite speakers to present their research on topics related to logic and artificial intelligence. This includes presentations of published or accepted papers, rehearsals for future talks at conferences, defenses of very good student theses, as well as presentations of ongoing research. Coffee is usually provided. All are welcome.
The seminar is organized by the Knowledge-Based Systems group. Please contact Lukas Gerlach if you would like to give a talk or invite a speaker.
Schedule and Location
The seminar takes place most Thursdays from 11.00 – 12.00. The research seminar takes place in a hybrid form, online through Big Blue Button and physically in APB 3027. Please see the detailed program for information on upcoming seminars.
Recent and Upcoming Talks
| Date | Speaker | Topic |
|---|---|---|
| 2024-08-15 | Simon Birkenheuer | Characterizing common argumentation semantics using branch evaluations for justification systems |
| 2024-07-18 | Nicholas Leisegang | Algebraic Aspects of Propositional Logic, and Future Work in Defeasible Reasoning |
| 2024-07-11 | Lukas Gerlach | Finite Groundings for ASP with Functions: A Journey through Consistency |
| 2024-06-27 | Aidan Bailey, Lucas Carr, Luke Slater | Research Lightning Talks |
| 2024-06-25 | Magdalena Ortiz | A SHACL primer for KR researchers |
| View older talks … | Subscribe to upcoming talks (iCal) |
