Sobre la Explicabilidad Basada en la Lógica con Entradas Parcialmente Especificadas