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. Please contact Nils Küchenmeister (or, if unavailable, Stephan Mennicke), if you would like to give a talk or invite a guest speaker.

The seminar is built on community effort. In addition to reaching out to the organizer, anyone planning on giving a talk or inviting a guest to do so is warmly encouraged to propose tentative talks via the survey: https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/464451?lang=en. The tentative talk schedule is periodically updated in the following spreadsheet, which participants can consult when planning their own talks: https://datashare.tu-dresden.de/s/KdfkcWciSsgGWDZ.

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 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-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
2026-10-01	Rowan Rosenberg	Equivalence Checking Between Logic Programs with Aggregates in ASP
2026-09-17	Kate Birch	Mo' nads, mo' problems
	View older talks …	Subscribe to upcoming talks (iCal)

Calendar