Confidences for commonsense reasoning.
vastutusandmed
Tanel Tammet, Dirk Draheim, Priit Järv
allikas
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 507–524
seeria-sari
Lecture notes in artificial intelligence ; 12699
konverentsi nimetus, aeg
28th International Conference on Automated Deduction, (CADE 28) 2021 Virtual, Online, 12 July 2021 through 15 July, 2021
ISSN
0302-9743
ISBN
978-3-030-79875-8
märkused
Bibliogr.: 41 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
WOS
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
Tammet, T., Draheim, D., Järv, P. Confidences for commonsense reasoning. // Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021 : proceedings. Cham : Springer, 2021. p. 507–524. (Lecture notes in artificial intelligence ; 12699).