Open AccessUsing a SMT solver for risk analysis: detecting logical mistakes in texts
Author(s) -
Florence Dupin de Saint Cyr - Bannay,
Marie-Christine Lagasquie-Schiex,
William Raynaut,
Patrick Saint Dizier
Publication year - 2014
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , solver , logical analysis , problem solver , programming language , natural language processing , software engineering , mathematics , statistics , mathematical statistics