GKC: A reasoning system for large knowledge bases
autor
vastutusandmed
Tanel Tammet
allikas
Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 538-549
seeria-sari
Lecture notes in computer science ; 11716
konverentsi nimetus, aeg
27th International Conference on Automated Deduction, August 27–30, 2019
konverentsi toimumispaik
Natal, Brazil
ISSN
0302-9743
ISBN
978-3-030-29435-9
märkused
Bibliogr.: 18 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
Uurimisrühm
Tammet, T. GKC: A reasoning system for large knowledge bases // Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings. Cham : Springer Nature, 2019. p. 538-549. (Lecture notes in computer science ; 11716).