Research Seminar on Logic and AI
Research Seminar on Logic and AI
In this research seminar, we warmly invite speakers to present their research on (inter-disciplinary) topics related to logic, reasoning 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. All are welcome!
Talk Proposal
The seminar is organized by the Knowledge-Based Systems group. It is built on community effort: Please contact Nils Küchenmeister (or, if unavailable, Stephan Mennicke), if you would like to give a talk or invite a guest speaker.
Schedule and Location
The research seminar is scheduled on Thursdays from 11.00 am to 12.00 pm. It is held in a hybrid form, both online through Big Blue Button (This is a new link!) and physically in the room APB 3027.
For further information on scheduled upcoming seminars please check the program overview below.
Recent and Upcoming Talks
| Date | Speaker | Topic |
|---|---|---|
| 2026-11-12 | Ameerah Allie | Survey of Syntax Splitting |
| 2026-11-05 | Luke Slater | Reinforcement Learning for BDD Variable Ordering |
| 2026-10-22 | Nils Küchenmeister | Stratified Negation in RDF Rules: A Correct Approach |
| 2026-10-22 | Alex Ivliev | Recovering Explanations from Transformed Rule-Based Ontologies |
| 2026-10-15 | Bartosz Jan Bednarczyk | Towards Finite Satisfiability Problem for Propositional Dynamic Logic with Loops |
| View older talks … | Subscribe to upcoming talks (iCal) |
