prindi

GKC: A reasoning system for large knowledge bases

autor
Tammet, Tanel
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
Springer Nature
ilmumisaasta
2019
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
leitav
https://doi.org/10.1007/978-3-030-29436-6_32
märksõna
automaattõestamine
arvutiteadus
matemaatiline analüüs
Scopus
Conference proceeding at Scopus
Article at Scopus
WOS
Conference proceeding at WOS
Article at WOS
kvartiil
Q2
kategooria (üld)
Arvutiteadus
Matemaatika
kategooria (alam)
Arvutiteadus. Üldine arvutiteadus
Matemaatika. Teoreetiline arvutiteadus
võtmesõna
automated reasoning
knowledge base
ISSN
0302-9743
ISBN
978-3-030-29435-9
märkused
Bibliogr.: 18 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Rakendusliku tehismõistuse 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). https://doi.org/10.1007/978-3-030-29436-6_32