Novel Logic-based Integrative Causal Discovery Lecture