%0 Conference Paper %1 journals/corr/abs-1912-12957 %A Schon, Claudia %A Siebert, Sophie %A Stolzenburg, Frieder %B ARCADE@CADE %D 2019 %E Suda, Martin %E Winkler, Sarah %K dblp %P 19-24 %T Using ConceptNet to Teach Common Sense to an Automated Theorem Prover. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs311.html#abs-1912-12957 %V 311

@inproceedings{journals/corr/abs-1912-12957, added-at = {2020-02-12T00:00:00.000+0100}, author = {Schon, Claudia and Siebert, Sophie and Stolzenburg, Frieder}, biburl = {https://www.bibsonomy.org/bibtex/2be4fc8f64a37a90a15954efab8b4f7f5/dblp}, booktitle = {ARCADE@CADE}, crossref = {journals/corr/abs-1912-11786}, editor = {Suda, Martin and Winkler, Sarah}, ee = {http://arxiv.org/abs/1912.12957}, interhash = {2231e10974b342b8668b8415935728f2}, intrahash = {be4fc8f64a37a90a15954efab8b4f7f5}, keywords = {dblp}, pages = {19-24}, series = {EPTCS}, timestamp = {2024-04-09T09:30:13.000+0200}, title = {Using ConceptNet to Teach Common Sense to an Automated Theorem Prover.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs311.html#abs-1912-12957}, volume = 311, year = 2019 }