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
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85077009626&origin=inward&txGid=04fabb89f3b1c42f599d321ee8380ad8
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
https://www.webofscience.com/wos/woscc/full-record/WOS:000693450800032
quartile
Q2
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
keyword
automated reasoning
knowledge base
ISSN
0302-9743
ISBN
978-3-030-29435-9
notes
Bibliogr.: 18 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Applied artificial intelligence group