A neurosymbolic framework that supports querying, learning and reasoning with both rich data and rich abstract knowledge about the world read more of Logic Tensor Networks

The Lyrics framework injects logic knowledge into a learner using Semantic Based Regularization read more of Lyrics

A python 2.7 library for Neural-Symbolic integration read more of KENN-Docker