prindi

Confidences for commonsense reasoning.

autor
Tammet, Tanel
Draheim, Dirk
Järv, Priit
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
Springer
ilmumisaasta
2021
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
leitav
https://doi.org/10.1007/978-3-030-79876-5_29
märksõna
tehisintellekt
tehisõpe
loogika
Scopus
Conference Proceedings at Scopus
Article at Scopus
WOS
Article at WOS
kvartiil
Q3
kategooria (üld)
Arvutiteadus
Matemaatika
kategooria (alam)
Arvutiteadus. Üldine arvutiteadus
Matemaatika. Teoreetiline arvutiteadus
ISSN
0302-9743
ISBN
978-3-030-79875-8
märkused
Bibliogr.: 41 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
Ragnar Nurkse innovatsiooni ja valitsemise instituut
keel
inglise
Uurimisrühm
Infosüsteemide töörühm
Rakendusliku tehismõistuse uurimisrühm
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). https://doi.org/10.1007/978-3-030-79876-5_29