Session details: Reasoning systems and machine learning. - Zikos, Dimitrios (2019)