Using a SMT solver for risk analysis: detecting logical mistakes in procedural texts
Domaines
Intelligence artificielle [cs.AI]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...