GKC: A reasoning system for large knowledge bases
Tammet, Tanel
Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings
2019
/
p. 538-549
https://doi.org/10.1007/978-3-030-29436-6_32
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85077009626&origin=inward&txGid=04fabb89f3b1c42f599d321ee8380ad8
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