@cschon

Tackling Benchmark Problems of Commonsense Reasoning

, , and . 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)

Links and resources

BibTeX key:
DBLP:conf/cade/FurbachGS15
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication