Représentation et vérification d'un environnement intelligent à partir de spécifications utilisateur en langage naturel

Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau. Représentation et vérification d'un environnement intelligent à partir de spécifications utilisateur en langage naturel. Revue d Intelligence Artificielle, 29(1):47-81, 2015. [doi]