TitleAuthorPublication DatePublisherType
    ConProve: A conceptual prover system  Elloumi, Samir; Jaoua, Ali; Boulifa, Bilel; Saleh, Mohammad; Al Otaibi, Jameela2014IEEEConference Paper
    Inference engine based on closure and join operators over Truth Table Binary Relations  Elloumi, Samir; Boulifa, Bilel; Jaoua, Ali; Saleh, Mohammad; Al Otaibi, Jameela; ... more authors 2014Elsevier Inc.Article