Khalil Ben Mohamed

According to our database, Khalil Ben Mohamed authored at least 5 papers between 2010 and 2013.

Collaborative distances:

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

2013

System Architecture to Implement a Conceptual Graphs Storage in an RDF Quad Store.

Khalil Ben Mohamed, Benjamin Chu Min Xian, Dickson Lukose

Proceedings of the Conceptual Structures for STEM Research and Education, 2013

2011

A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation.

Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier

Proceedings of the Database and Expert Systems Applications, 2011

2010

Traitement de requêtes conjonctives avec négation : algorithmes et expérimentations. (Processing of Conjunctive Queries with Negation: Algorithms and Experiments).

Khalil Ben Mohamed

PhD thesis, 2010

Containment of Conjunctive Queries with Negation: Algorithms and Experiments.

Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier

Proceedings of the Database and Expert Systems Applications, 21th International Conference, 2010

Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments.

Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier

Proceedings of the Artificial Intelligence: Methodology, 2010