full record print

GKC: A reasoning system for large knowledge bases

author
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
year of publication
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
ISSN
0302-9743
ISBN
978-3-030-29435-9
notes
Bibliogr.: 18 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
Reserch Group
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