Knowledge Representation and Reasoning Seminar

Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in WS 2019

Dozent

Steffen Hölldobler
Emmanuelle Dietz

Umfang (SWS)

0/2/0

Module

Leistungskontrolle

Mündliche Prüfung
Referat

Information

Knowledge Representation and Reasoning Seminar

The seminar will be about the most recent results on the Winograd Schema Challenge.

The requirements for the KRR Seminar are as follows:

You need to be at least a minimum of five students that want to participate
You attend all talks during the semester
You select one of the papers presented below and communicate your choice to Emmanuelle Dietz until 14.11.2019
You give a presentation of 30 minutes about the chosen paper in January 2020
You send (a preliminary version of) your presentation slides until 16.12.2019 to Emmanuelle Dietz

Schedule

The seminar meetings will take place on thursdays, 5.DS (14:50 - 16:20, starting on 24.10.2019) in room APB2026.

17.10.19 initial meeting
24.10.19 Presentation of the topics
29.10.19 Graph matching, theory and SAT implementation by Orianne Laura Bargain (this talk will take place on Tuesday, 10:30)
07.11.19 SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability by Marcos Cramer
14.11.19 Abduction in a neuro-symbolic system by Andrzej Gajda
21.11.19 How to make a presentation in LaTeX. Template slides in Beamer for presentations are online. You can find them here how to give a talk I how to give a talk II
28.11.19 TE-ETH: Lower Bounds for QBFs of Bounded Treewidth by Markus Hecher, joint work with Johannes Fichte and Andreas Pfandler (this talk will take place at 13:00 together with the KBS seminar in APB3027, see also the recent GI newsletter for their guest commentary in German)
5.12.19 Human Syllogistic Reasoning: Towards Predicting Individuals' Reasoning Behavior based on Cognitive Principles by Robert Schambach (joint work with Emmanuelle Dietz)
12.12.19 Justifying All Differences Using Pseudo-Boolean Reasoning by Marcos Cramer
17.12.19 Graph matching, theory and SAT implementation by Stephan Gocht (this talk will take place on Tuesday, 15:00 in APB2028)
19.12.19 Feedback on handed in presentations
09.01.20 Google’s T5 - A Unified Text-to-Text Transformer by Patrick Wienhöft
16.01.20 Machine Learning approaches towards WSC by Abhiram Uppoor (part II)
23.01.20 Human Baseline for Commonsense Reasoning Tasks by Vishwanath Hugar and COPA: Choice of Plausible Alternatives by Aldo Kurmeta
30.01.20 How Reasonable are Common-Sense Reasoning Tasks by Lukas Gerlach and Machine Learning approaches towards WSC by Vidya Chandrashekar (part I)
06.02.20 Several students will present their ongoing projects, i.e., Semester Project, Bachelor/Master theses