ConProve: A conceptual prover system. - Samir Elloumi; Ali Jaoua; Bilel Boulifa; Mohammad Saleh; Jameela Al Otaibi (AICCSA, 2014)

Inference engine based on closure and join operators over Truth Table Binary Relations. - Samir Elloumi; Bilel Boulifa; Ali Jaoua; Mohammad Saleh; Jameela Al Otaibi; Marcelo F. Frias (J. Log. Algebraic Methods Program., 2014)

Using conceptual reasoning for inconsistencies detection in Islamic advisory opinion (Fatwas). - Jameela Al Otaibi; Samir Elloumi; Ali Jaoua; Abdelaali Hassaïne (AICCSA, 2015)

Text Categorization Using Weighted Hyper Rectangular Keyword Extraction. - Abdelaali Hassaïne; Zeineb Safi; Jameela Al Otaibi; Ali Jaoua (AICCSA, 2017)

Machine Learning and Conceptual Reasoning for Inconsistency Detection. - Jameela Al Otaibi; Zeineb Safi; Abdelaali Hassaïne; Fahad Islam; Ali Jaoua (IEEE Access, 2017)