claim
Logic Tensor Networks (LTN) and Logical Neural Networks (LNN) implement first-order logic using real-valued truth tensors and learnable fuzzy operators.

Authors

Sources

Referenced by nodes (2)