Chair of Programming Languages and AI
print


Breadcrumb Navigation


Content

Oberseminar StarKIK

StarKIK, das Oberseminar für statistisch-relationale Künstliche Intelligenz und Kausalität, findet üblicherweise Mittwochs 14-16 c. t. in Raum E 102A, Oettingenstr. 67 statt.

StarKIK, the seminar series on statistical relational artificial intelligence and causality, ordinarily takes place Wednesdays 14-16 c.t. in Room E 102A, Oettingenstr. 67.

Kommende Veranstaltungen / Upcoming meetings

29.11.2023: Quantifier elimination for Boolean differential rings (Bachelor thesis defense Konstantin Grabmann) 


 Vergangene Veranstaltungen / Past meetings

18.10.2023: Relationale logistische Regression (Bachelorabschlussvortrag Rafeek Delate)

Im Anschluss: Orientierungsregeln des PC-Algorithmus mit Symmetrien (Zora Wurm)

25.10.2023 (15-17:30): Live stream from the Dov Gabbay Prize award ceremony, featuring

A system of inference based on proof search (Prof Dale Miller, INRIA-Saclay)

The Road to Answer Set Programming (Prof Mirek Truszczynski, Univesity of Kentucky)

Negation as failure and failure in general (Prof Dov Gabbay, King's College London)

1.11.2023: Kein/No Seminar (Allerheiligen)

8.11.2023: What Do Counterfactuals Say about the World? Reconstructing Probabilistic Logic Programs from Answers to "What if?" Queries (Kilian Rückschloß)

15.11.2023: Kein/No Seminar (IJCLR)

22.11.2023: Kein/No Seminar (Buß- und Bettag)