Program Tuesday, September 26th

Registration opens at 8:30 (Otto-Hahn-Straße 12, Foyer).

09:00 – 10:30 Workshop: DKB-KIK-2017: Formal and Cognitive Reasoning & The Syllogistic Reasoning Challenge (Otto-Hahn-Straße 12, Room 1.056)
10:30 – 11:00 Coffee Break
11:00 – 12:30 Workshop: DKB-KIK-2017: Formal and Cognitive Reasoning & The Syllogistic Reasoning Challenge (Otto-Hahn-Straße 12, Room 1.056)
Tutorial T 2: Knowledge Representation and Reasoning with Nilsson-style Probabilistic Logics (Otto-Hahn-Straße 12, Room 1.055)
12:30 – 14:00 Lunch Break
14:00 – 15:30 Workshop: DKB-KIK-2017: Formal and Cognitive Reasoning & The Syllogistic Reasoning Challenge (Otto-Hahn-Straße 12, Room 1.056)
Tutorial T 2: Knowledge Representation and Reasoning with Nilsson-style Probabilistic Logics (Otto-Hahn-Straße 12, Room 1.055)
15:30 – 16:00 Coffee Break
16:00 – 17:00 Demonstration: Autonomous Soccer Robots (Otto-Hahn-Straße 8)
19:00 – 21:00 Reception


Detailed information of the workshop program is given on the websites of the workshop.