|
 
|
[SDG12] Formalisation en OWL pour vérifier les spécifications d'un environnement intelligent.
Conférence Nationale avec comité de lecture : congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'12) , January 2012, pp.8 pages, Lyon,
motcle:
Résumé:
Projet Envie Verte
Commentaires:
http://hal.archives-ouvertes.fr/RFIA2012
Equipe:
sys
BibTeX
| @inproceedings { | |||
| SDG12, | |||
| title | = | "{Formalisation en OWL pour vérifier les spécifications d'un environnement intelligent. }", | |
| author | = | " D. Sadoun and C. Dubois and Y. Ghamri-Doudane and B. Grau ", | |
| booktitle | = | "{congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'12) }", | |
| year | = | 2012, | |
| month | = | "January", | |
| pages | = | "8 pages", | |
| address | = | "Lyon, ", | |
| note | = | "{http://hal.archives-ouvertes.fr/RFIA2012}", | |
| } | |||
