IBM / ULKB

A HOL-based framework for reasoning over knowledge graphs
24Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for ULKB