Knowledge Processing, Logic, and the Future of AI
Thursday, January 14, 2021 at 17:00
Working as Intended — Surveillance Capitalism is not a Rogue Capitalism
Tuesday, July 21, 2020
Probabilistic Programming: Machine Learning for the Masses?
Wednesday, December 4, 2019 at 10:30 s.t.
An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms
Thursday, November 28, 2019 at 12:00 s.t.
Hilbert’s Tenth Problem in Coq
Wednesday, November 27, 2019 at 16:30 s.t.