Extending automated deduction for commonsense reasoning
Tammet, Tanel
arXiv.org
2020
/
p. 1-19
https://arxiv.org/pdf/2003.13159.pdf
https://arxiv.org/abs/2003.13159