Tackling Benchmark Problems of Commonsense Reasoning
U. Furbach, A. Gordon, and C. Schon. 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, 2015, volume 1412 of CEUR Workshop Proceedings, CEUR-WS.org, (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, 2015
%0 Conference Paper
%1 DBLP:conf/cade/FurbachGS15
%A Furbach, Ulrich
%A Gordon, Andrew S.
%A Schon, Claudia
%B 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, 2015
%D 2015
%E Furbach, Ulrich
%E Schon, Claudia
%I CEUR-WS.org
%K myown schon west.uni-koblenz.de
%T Tackling Benchmark Problems of Commonsense Reasoning
%V 1412
@inproceedings{DBLP:conf/cade/FurbachGS15,
added-at = {2016-10-07T08:43:09.000+0200},
author = {Furbach, Ulrich and Gordon, Andrew S. and Schon, Claudia},
bdsk-url-1 = {http://ceur-ws.org/Vol-1412/5o.pdf},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {https://www.bibsonomy.org/bibtex/280d765bac32afadf147ba244dc69d14f/cschon},
booktitle = {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, 2015},
date-added = {2015-11-16 07:35:52 +0000},
date-modified = {2015-12-22 19:45:50 +0000},
editor = {Furbach, Ulrich and Schon, Claudia},
interhash = {d6277a28aa8cb607384a92b305f3cf6c},
intrahash = {80d765bac32afadf147ba244dc69d14f},
keywords = {myown schon west.uni-koblenz.de},
publisher = {CEUR-WS.org},
series = {{CEUR} Workshop Proceedings},
timestamp = {2017-07-12T13:49:23.000+0200},
title = {Tackling Benchmark Problems of Commonsense Reasoning},
volume = 1412,
year = 2015
}