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 SS 2016



  • 0/2/0


Examination method

  • Oral exam
  • Seminar presentation


The seminar meetings take place on Mondays, from 16.40 to 18.10 (DS 6) in room E05.

  • 04.04. initial meeting
  • 11.04. Christoph Wernhard on "Towards Knowledge-Based Assistance for Scholarly Editing" (joint work with Jana Kittelmann)
  • 18.04. Emmanuelle Dietz on "Response Patterns and Selection Sequences in the Wason Selection Task" (joint work with Marco Ragni and Ilir Kola)
  • 25.04. Ebrahim Zidan on the paper "Abduction for Discourse Interpretation: A Probabilistic Framework"
  • 09.05. Sibylle Möhle on "Better Evaluations by Analyzing Benchmark Structure" (joint work with Norbert Manthey)
  • 16.05. Pfingsten
  • 23.05. Timo Richter "Pseudo-Boolean-Constraints effizienter lösen" (in German language)
  • 30.05. Luis Palacios Medinacelli "A full Network Specification of Skeptical Abduction"
  • 06.06. Tobias Philipp "The Pythagorean Triples Problem - 200 Terabytes of Proofs"
  • 13.06. Walter Forkel "Towards a Mechanically Verifiable and Efficient RUP Checker" and Anatoly Zelenin "Towards a Mechanically Verifiable Preprocessor for SAT"
  • 20.06. Tobias Philipp "Certificates for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing"

  • 27.06. Sibylle Möhle "Better Evaluations by Analyzing Benchmark Structure"
  • 4.07. Christoph Wernhard "The PIE Environment for First-Order-Based Proving, Interpolating
and Eliminating"