Proceedings of the Workshop on Bridging the Gap Between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? Co-Located with 39Th Annual Meeting of the Cognitive Science Society (Cogsci 2017), London, Uk, July 26, 2017