An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases