Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning?


Reasoning is a core ability in human cognition. Its power lies in the ability to theorize about the environment, to make implicit knowledge explicit, to generalize given knowledge and to gain new insights. It is a well researched topic in cognitive psychology and cognitive science and over the past decade impressive results have been achieved.

Back to Table of Contents