Driss Sadoun
11
Documents
Publications
|
Des spécifications en langage naturel aux spécifications formelles via une ontologie comme modèle pivotIntelligence artificielle [cs.AI]. Université Paris Sud - Paris XI, 2014. Français. ⟨NNT : 2014PA112116⟩
Thèse
tel-01060540v1
|
Projet CITATION : CORPUCIT. Fournir des outils pour faciliter la citation de corpus ou d'extraits de corpus.Journée d'information et de réflexion sur l'éthique de la recherche, Atelier "Ethique dans les Humanités Numériques : la citation des données de recherche (pratiques, formats, outils)", Comité d'Ethique de la Recherche de l'Université Paris Nanterre, Dec 2022, Nanterre (92), France
Communication dans un congrès
hal-03947375v1
|
|
|
The MultiTal NLP tool infrastructureLanguage Technology Resources and Tools for Digital Humanities, Dec 2016, Osaka, Japan. pp.156 - 163
Communication dans un congrès
hal-01425728v1
|
|
ReadME generation from an OWL ontology describing NLP toolsNatural Language Generation and the Semantic Web, Sep 2016, Edinburgh, United Kingdom. pp.46 - 49, ⟨10.18653/v1/W16-3509⟩
Communication dans un congrès
hal-01425724v1
|
Configuration en langue naturelle du fonctionnement d'une maison intelligente14èmes journées Approches Formelles dans l'Assistance au Développement Logiciel, AFADL,, Jun 2015, Bordeaux, France
Communication dans un congrès
hal-01378152v1
|
|
|
Formal Rule Representation and Verification from Natural Language Requirements Using an OntologyRuleML, Aug 2014, Prague, Czech Republic. pp.226-235, ⟨10.1007/978-3-319-09870-8_17⟩
Communication dans un congrès
hal-01126517v1
|
|
From Natural Language Requirements to Formal Specification Using an OntologyIEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013), Nov 2013, Herndon, VA, United States. pp.755-760, ⟨10.1109/ICTAI.2013.116⟩
Communication dans un congrès
hal-01126372v1
|
|
Peuplement d’une ontologie guidé par l’identification d’instances de propriété10th International Conference on Terminology and Artificial Intelligence (TIA'2013), Oct 2013, Paris, France. pp.145-152
Communication dans un congrès
hal-02296903v1
|
|
Formalisation en OWL pour vérifier les spécifications d'un environnement intelligentRFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3
Communication dans un congrès
hal-00656526v1
|
|
An ontology for the conceptualization of an intelligent environment and its operation10th Mexican International Conference on Artificial Intelligence (MICAI 2011), Nov 2011, Puebla, Mexico. ⟨10.1109/MICAI.2011.32⟩
Communication dans un congrès
hal-00808002v1
|
|
Représentation et vérification d’un environnement intelligent à partir de spécifications utilisateur en langage naturelRevue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2015, 29 (1), pp.47-81. ⟨10.3166/RIA.29.47-81⟩
Article dans une revue
hal-01378061v1
|