no code implementations • 17 Jul 2017 • William W. Cohen, Fan Yang, Kathryn Rivard Mazaitis
We present an implementation of a probabilistic first-order logic called TensorLog, in which classes of logical queries are compiled into differentiable functions in a neural-network infrastructure such as Tensorflow or Theano.