Bilel Boulifa

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Inference Engine

Boolean Functions

Conceptual Knowledge

Top Venues

J. Log. Algebraic Methods Program.

Publications

Samir Elloumi, Bilel Boulifa, Ali Jaoua, Mohammad Saleh, Jameela Al Otaibi, Marcelo F. Frias
Inference engine based on closure and join operators over Truth Table Binary Relations. J. Log. Algebraic Methods Program. 83 (2) (2014)
Samir Elloumi, Ali Jaoua, Bilel Boulifa, Mohammad Saleh, Jameela Al Otaibi
ConProve: A conceptual prover system. AICCSA (2014)