{Inducing Declarative Logic-Based Models from Labeled Traces}