ICLP Workshop: Logic and Reasoning with Neural Networks