Khalil Ben Mohamed

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Conceptual Graphs

Stored In Relational Databases

Column Oriented

Formal Representation

Top Venues

Montpellier 2 University, France (PHD)

Education History

Montpellier 2 University, France

PHD

Publications

Khalil Ben Mohamed, Benjamin Chu Min Xian, Dickson Lukose
System Architecture to Implement a Conceptual Graphs Storage in an RDF Quad Store. ICCS (2013)
Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation. DEXA (1) (2011)
Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
Containment of Conjunctive Queries with Negation: Algorithms and Experiments. DEXA (2) (2010)
Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments. AIMSA (2010)