Skip to content

IBM/ULKB

Error
Looks like something went wrong!

About

A HOL-based framework for reasoning over knowledge graphs

ibm.github.io/ULKB/

Topics

logic knowledge-graph prover

Resources

Readme

License

Apache-2.0 license
Activity
Custom properties

Stars

25 stars

Watchers

5 watching

Forks

5 forks
Report repository

Contributors 3

  •  
  •  
  •  

Languages