Login / Signup
Mohamed Ould Bah
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Reasoning Systems
Model Validation
Owl Ontologies
Knowledge Representation
Top Venues
ICSC
</>
Publications
</>
Mohamed Ould Bah
,
Zakaryae Boudi
,
Mohamed Toub
,
Abderrahim Ait Wakrime
,
Ghassane Aniba
Formalizing Ontologies for AI Models Validation: from OWL to Event-B.
ICSC
(2021)