Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}