Extending automated deduction for commonsense reasoning

author
statement of authorship
Tanel Tammet
source
journal volume number month
arXiv:2003.13159
year of publication
pages
p. 1-19
ISSN
2331-8422
notes
Bibliogr.: 49 ref
language
inglise
Tammet, T. Extending automated deduction for commonsense reasoning // arXiv.org (2020) arXiv:2003.13159, p. 1-19. https://arxiv.org/pdf/2003.13159.pdf https://arxiv.org/abs/2003.13159