Knowledge Representation and Reasoning Seminar
From International Center for Computational Logic
Knowledge Representation and Reasoning Seminar
Course with SWS 0/2/0 (lecture/exercise/practical) in WS 2019
Lecturer
SWS
- 0/2/0
Modules
Examination method
- Oral exam
- Seminar presentation
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