{"pk":26777,"title":"Bridging the Gap: Is Logic and Automated Reasoninga Foundation for Human Reasoning?","subtitle":null,"abstract":"","language":"eng","license":{"name":"","short_name":"","text":null,"url":""},"keywords":[{"word":"reasoning processes; logic; mental representation;cognitive reasoning theories; automated deduction"}],"section":"Workshops","is_remote":true,"remote_url":"https://escholarship.org/uc/item/8v89n0dj","frozenauthors":[{"first_name":"Ulrich","middle_name":" ","last_name":"Furbach","name_suffix":"","institution":"University of Koblenz-Landau,","department":""},{"first_name":"Steffen","middle_name":"","last_name":"H ̈olldobler","name_suffix":"","institution":"TU Dresden","department":""},{"first_name":"Marco","middle_name":"","last_name":"Ragni","name_suffix":"","institution":"University of Freiburg","department":""},{"first_name":"Claudia","middle_name":"","last_name":"Schon","name_suffix":"","institution":"University of Koblenz-Landau","department":""}],"date_submitted":null,"date_accepted":null,"date_published":"2017-01-01T18:00:00Z","render_galley":null,"galleys":[{"label":"PDF","type":"pdf","path":"https://journalpub.escholarship.org/cognitivesciencesociety/article/26777/galley/16413/download/"}]}