Login / Signup
Bridging@CADE
Publications
2015
Ulrich Furbach
,
Andrew S. Gordon
,
Claudia Schon
Tackling Benchmark Problems of Commonsense Reasoning.
Bridging@CADE
(2015)
Alexandra Varga
,
Keith Stenning
,
Laura Martignon
There is no one Logic to Model Human Reasoning: the Case from Interpretation.
Bridging@CADE
(2015)
Bernhard Beckert
,
Sarah Grebing
Interactive Theorem Proving - Modelling the User in the Proof Process.
Bridging@CADE
(2015)
Steffen Hölldobler
Weak Completion Semantics and its Applications in Human Reasoning.
Bridging@CADE
(2015)
Emanuelle-Anna Dietz
A Computational Logic Approach to Syllogisms in Human Reasoning.
Bridging@CADE
(2015)
volume 1412, 2015
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015.
Bridging@CADE
1412 (2015)