Extending automated deduction for commonsense reasoning
autor
Tammet, Tanel
vastutusandmed
Tanel Tammet
allikas
arXiv.org
ajakirja aastakäik number kuu
arXiv:2003.13159
ilmumisaasta
2020
leheküljed
p. 1-19
leitav
https://arxiv.org/pdf/2003.13159.pdf
https://arxiv.org/abs/2003.13159
märksõna
matemaatiline loogika
tehisintellekt
arvutilingvistika
võtmesõna
automated reasoning
commonsense reasoning
resolution method
natural language processing
ISSN
2331-8422
märkused
Bibliogr.: 49 ref
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise