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

Ulrich Furbach, Steffen Hlldobler, Marco Ragni, Claudia Schon

Browse the full CogSci paper archive.