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 organised by the Computational Logic group. Please contact Thomas Feller if you would like to give a talk or invite a speaker.

Schedule and Location

The seminar takes place most Thursdays from 13.00 – 14.30. Because of the ongoing pandemic this research seminar will take place online until further notice. If you want to attend a talk, please contact Thomas Feller to obtain the link leading to the online room. Please see the detailed programme for information on upcoming seminars.

Recent and Upcoming Talks

2021-05-06 Bartosz Bednarczyk Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment
2021-04-29 Maribel Acosta From Data to Knowledge: Extending Database Techniques for Knowledge Graphs
2021-04-22 Faiq Miftakhul Falakh A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics
2021-04-15 Tim Lyon An Introduction to Proof Theory I: Sequent Calculus
2021-04-08 Lukas Gerlach Detecting Non-Existence of Finite Universal Models for Existential Rules
View older talks … Subscribe to upcoming talks (iCal)


Temporary unavailable