6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and 5th Workshop KI & Kognition (KIK-2017):

Formal and Cognitive Reasoning

Workshop at the

40th German Conference on Artificial Intelligence (KI-2017)

September 25-29, 2017, Dortmund, Germany

Organized by the FG Wissensrepräsentation und Schließen and FG Kognition of the GI

[ Call for Papers ] [ Committee ] [ Dates ] [ Submission ] [ Program ] [ Local Information ]

Program: Tuesday, September 26, 2017

09:00 - 10:30 Opening and Sesssion 1

Opening
Behaviorism Revisited: Linking Perception and Action Through Symbolic Models of Cognition
Pierre Bonzon
Pre-Selection in Cluster Lasso Methods for Correlated Variable Selection in High-Dimensional Linear Models
Niharika Gauraha and Swapan Parui
A New Combined Approach for Inference in High-Dimensional Regression Models with Correlated Variables
Niharika Gauraha and Swapan Parui

10:30 -11:00 Coffee

11:00 - 12:30 Session 2

Deviation in Belief Change on Fragments of Propositional Logic
Adrian Haret and Stefan Woltran
A Vision on Analysing Approaches for Knowledge Representation and Reasoning Using Computer Games
Christian Eichhorn, Vanessa Volz, Richard Niland, and Tim Schendekehl
Unsupervised Text Annotation
Tanya Braun, Felix Kuhr, and Ralf Moeller

12:30 -14:00 Lunch

14:00 - 15:30 Session 3 and Closing

Syllogistic Reasoning in Seven Spaces
Frieder Stolzenburg and Raimund Lüderitz
Syllogistic Reasoning Challenge
Marco Ragni
Closing

15:30 -16:00 Coffee

Last modified 2017-09-15