Florence Bannay, Marie-Christine Lagasquie-Schiex, William Raynaut, Patrick Saint-Dizier. Using a SMT Solver for Risk Analysis: Detecting Logical Mistakes in Texts. In 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014. pages 867-874, IEEE Computer Society, 2014. [doi]
@inproceedings{BannayLRS14,
title = {Using a SMT Solver for Risk Analysis: Detecting Logical Mistakes in Texts},
author = {Florence Bannay and Marie-Christine Lagasquie-Schiex and William Raynaut and Patrick Saint-Dizier},
year = {2014},
doi = {10.1109/ICTAI.2014.133},
url = {http://dx.doi.org/10.1109/ICTAI.2014.133},
researchr = {https://researchr.org/publication/BannayLRS14},
cites = {0},
citedby = {0},
pages = {867-874},
booktitle = {26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014},
publisher = {IEEE Computer Society},
isbn = {978-1-4799-6572-4},
}