Research Seminar Logic and AI

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

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 Ali Elhalawati 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. Because of the ongoing pandemic, this research seminar will take place online until further notice. If you want to attend a talk, please contact Ali Elhalawati to obtain the link leading to the online room. Please see the detailed program for information on upcoming seminars.

Recent and Upcoming Talks

2022-09-22 Ali Elhalawati An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog
2022-09-08 Ana Ozaki Finite Base Contraction and Expansion via Models - The ALC case
2022-09-01 Elisa Böhl Tunas - Fishing for Diverse Answer Sets: A Multi-shot Trade up Strateg
2022-09-01 Stefan Ellmauthaler Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
2022-07-28 Jonas Karge The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion
View older talks … Subscribe to upcoming talks (iCal)