Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon. Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning?. In Glenn Gunzelmann, Andrew Howes, Thora Tenbrink, Eddy J. Davelaar, editors, Proceedings of the 39th Annual Meeting of the Cognitive Science Society, CogSci 2017, London, UK, 16-29 July 2017. cognitivesciencesociety.org, 2017. [doi]
Abstract is missing.