Extending Logical Neural Networks using First-Order Theories

Open in new window