GKC: A reasoning system for large knowledge bases

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
märksõna
kvartiil
Q2
kategooria (üld)
ISSN
0302-9743
ISBN
978-3-030-29435-9
märkused
Bibliogr.: 18 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
inglise
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 Switzerland AG, 2019. p. 538-549. (Lecture notes in computer science ; 11716). https://doi.org/10.1007/978-3-030-29436-6_32