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

  • Steffen Hölldobler, Emmanuelle Dietz

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