Using a SMT solver for risk analysis: detecting logical mistakes in procedural texts - Université Toulouse III - Paul Sabatier - Toulouse INP Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2014

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

Domaines

Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
Rapport-IRIT-2014-05.pdf (218.25 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-02884068

Soumis le : lundi 29 juin 2020-16:16:41

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

Télécharger pour visualiser

Dates et versions

hal-02884068 , version 1 (29-06-2020)

Identifiants

  • HAL Id : hal-02884068 , version 1

Citer

Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex, W. Raynaut, Patrick Saint Dizier. Using a SMT solver for risk analysis: detecting logical mistakes in procedural texts. [Research Report] IRIT--2014--05, IRIT - Institut de recherche en informatique de Toulouse. 2014. ⟨hal-02884068⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 ONERA CNRS SMS UT1-CAPITOLE LARA IRIT IRIT-ADRIA IRIT-IA IRIT-UT3 TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
38 Consultations
30 Téléchargements

Partager

Gmail Facebook X LinkedIn More