Using a SMT Solver for Risk Analysis: Detecting Logical Mistakes in Texts.

Florence Bannay, Marie-Christine Lagasquie-Schiex, William Raynaut, Patrick Saint-Dizier

Browse the full ICTAI paper archive.