Keyword:Conflict-driven reasoning

Papers
Automated Reasoning for Explainable Artificial Intelligence Maria Paola Bonacina In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements