Using a SMT solver for risk analysis : detecting logical mistakes in texts - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

Using a SMT solver for risk analysis : detecting logical mistakes in texts

Domaines

Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
lelie-apia2014.pdf (214.87 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Marie-Christine Lagasquie-Schiex  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03198363

Soumis le : vendredi 16 avril 2021-10:19:52

Dernière modification le : lundi 20 novembre 2023-11:44:20

Archivage à long terme le : samedi 17 juillet 2021-18:07:01

Télécharger pour visualiser

Dates et versions

hal-03198363 , version 1 (16-04-2021)

Identifiants

  • HAL Id : hal-03198363 , version 1

Citer

Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex, William Raynaut, Patrick Saint Dizier. Using a SMT solver for risk analysis : detecting logical mistakes in texts. 19ème Congrès National sur la Reconnaissance de Formes et l'Intelligence Artificielle (RFIA 2014), Jul 2014, Rouen, France. ⟨hal-03198363⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-ADRIA IRIT-IA IRIT-UT3 TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
35 Consultations
74 Téléchargements

Partager

More