print

Extending automated deduction for commonsense reasoning

author
Tammet, Tanel
statement of authorship
Tanel Tammet
source
arXiv.org
journal volume number month
arXiv:2003.13159
year of publication
2020
pages
p. 1-19
url
https://arxiv.org/pdf/2003.13159.pdf
https://arxiv.org/abs/2003.13159
subject term
matemaatiline loogika
tehisintellekt
arvutilingvistika
keyword
automated reasoning
commonsense reasoning
resolution method
natural language processing
ISSN
2331-8422
notes
Bibliogr.: 49 ref
TTÜ department
tarkvarateaduse instituut
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