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
Lecturer
SWS
- 0/2/0
Modules
Examination method
- Oral exam
- Seminar presentation
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
