IBM / ULKB

A HOL-based framework for reasoning over knowledge graphs

https://ibm.github.io/ULKB/

IBM/ULKB Stargazers

Aishni Parab
aishniparab
balibaa
ChadiHelwe
David Mankins
dmankins
Rafael Garcia
Elry
gepr
gepr
Guilherme Lima
gflima
javiermtorres
Jinyung Hong
jyhong0304
Kaustuv Mukherji
kmukherji
lawrence rowland
lawrencerowland
hui-cityu
less-and-less-bugs
mahmoudkobbi
mdheller
mdheller
Dennis M Senyonjo
neo4reo
Ben
Nepi24
Nikita Zhenev
nzhenev
Rajaswa Patil
rajaswa
Romeo Lupascu
romeolibm
Vasilis Efthymiou
vefthym
Vijay Sarathy
vijmeister
wencolani

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.