Bilel Boulifa

According to our database, Bilel Boulifa authored at least 2 papers in 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

ConProve: A conceptual prover system.

Samir Elloumi, Ali Jaoua, Bilel Boulifa, Mohammad Saleh, Jameela Al Otaibi

Proceedings of the 11th IEEE/ACS International Conference on Computer Systems and Applications, 2014