Skip to content
Snippets Groups Projects
Commit 077f8535 authored by Florian Rabe's avatar Florian Rabe
Browse files

no message

parent c3d4228d
No related branches found
No related tags found
No related merge requests found
Pipeline #3176 passed
......@@ -31,7 +31,7 @@ All participants must **register** [here](https://docs.google.com/forms/d/1hF5Tg
* 13:00: Dov Gabbay and Ross Horne, **Invited talk**: Analytic Proof Calculi for the Notion of Failure [slides (if any)](gabbay.pdf)
* 13:45: Christoph Benzmüller and David Fuenmayor, Value-oriented Legal Argumentation in Isabelle/HOL [slides (if any)](benzmueller.pdf)
* 14:05: Claudia Schon and Sophie Siebert and Frieder Stolzenburg, Negation in Cognitive Reasoning [slides (if any)](siebert.pdf)
* 14:25: Felix Weitkämper, A new role for finite model theory in statistical relational AI [slides](weitkaempfer.pdf)
* 14:25: Felix Weitkämper, A new role for finite model theory in statistical relational AI [slides (if any)](weitkaempfer.pdf)
* 14:45: *break with free discussion in gather.town*
#### Session 3: 15:15 - 17:30 (chair: Olaf Beyersdorff)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment