Knowledge Representation and Reasoning Seminar

Dozent

Umfang (SWS)

Module

Leistungskontrolle

Schedule

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"