print

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
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
Mathematics
category (sub)
Computer science. General computer science
Mathematics. Theoretical computer science
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
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