Paper written with Oana Balalau, Rafael Angarita and Valérie Issarny
Experiments used in Section 5 are in the contradiction_checking folder.
Experiments used in Section 6 are in the use_case folder. Before running the experiments in contradiction_graph.py, the generate_proposals_pairs.py script must be run to generate the datasets used.