%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 }