|
 
|
Driss Sadoun
|
Doctorant(e) Laboratoire: LIMSI (FR) |
Publications
2015
- [SDG15] D. Sadoun, C. Dubois, Y. Ghamri-Doudane, B. Grau. "Représentation et vérification d'un environnement intelligent à partir de spécifications utilisateur en langage naturel", Revue d'Intelligence Artificielle , vol. 29(1), pp. 47-81 , 2015, (doi:10.3166/ria.29.47-81 )
Revue Nationale avec comité de lecture
2014
- [SDG14] D. Sadoun, C. Dubois, Y. Ghamri-Doudane, B. Grau. "Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology", RuleML, August 2014, Vol. 8620, pp.226-235, Series LNCS, Prague, Czech Republic, (DOI: 10.1007/978-3-319-09870-8_17)
Conférence Internationale avec comité de lecture
2013
- [SDG13] D. Sadoun, C. Dubois, Y. Ghamri-Doudane, B. Grau. "From Natural Language Requirements to Formal Specification Using an Ontology", IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013), November 2013, pp.755-760, Herndon, VA, USA, (DOI: 10.1109/ICTAI.2013.116)
Conférence Internationale avec comité de lecture
2012
- [SDG12] D. Sadoun, C. Dubois, Y. Ghamri-Doudane, B. Grau. "Formalisation en OWL pour vérifier les spécifications d'un environnement intelligent. ", congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'12) , January 2012, pp.8 pages, Lyon,
