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