Brigitte Grau

Publications

[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 )

[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)

[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)

[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,

[GLR05] B. Grau, A. Ligozat, I. Robba, A. Vilnat, F. El Kateb, G. Illouz, L. Monceaux, P. Paroubek, O. Pons. "De l'importance des synonymes pour la sÃ©lection de passages en question-rÃ©ponse", CORIA'05 ConfÃƒÂ©rence en Recherche d'Informations et Applications, January 2005, pp.71-84,
[GIM05] B. Grau, G. Illouz, L. Monceaux, P. Paroubek, O. Pons, I. Robba, A. Vilnat. "FRASQUES, le systÃ¨me du groupe LIR, LIMSI", TALN'05 (Atelier EQueR), January 2005, pp.85-88,