Neue Methode zur Integration logischer Constraints in Deep Learning für verbesserte Modellgeneralisierung und logische Zufriedenheit.