GKC: A reasoning system for large knowledge bases
author
Tammet, Tanel
statement of authorship
Tanel Tammet
source
Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings
location of publication
Cham
publisher
Springer Nature Switzerland AG
year of publication
2019
pages
p. 538-549
series
Lecture notes in computer science ; 11716
conference name, date
27th International Conference on Automated Deduction, August 27–30, 2019
conference location
Natal, Brazil
url
https://doi.org/10.1007/978-3-030-29436-6_32
subject term
automaattõestamine
arvutiteadus
matemaatiline analüüs
Scopus
Conference proceeding at Scopus
Article at Scopus
WOS
Conference proceeding at WOS
Article at WOS
kvartiil
Q2
category (general)
Computer science
en
Arvutiteadus
et
Mathematics
en
Matemaatika
et
category (sub)
Computer science. General computer science
en
Arvutiteadus. Üldine arvutiteadus
et
Mathematics. Theoretical computer science
en
Matemaatika. Teoreetiline arvutiteadus
et
keyword
automated reasoning
knowledge base
ISSN
0302-9743
ISBN
978-3-030-29435-9
notes
Bibliogr.: 18 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
Applied artificial intelligence group