Publications
[2010]
- Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments
14th International Conference on Artificial Intelligence: Methodology, Systems, Applications, Septembre 2010, Varna (Bulgarie).
- Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
Containment of Conjunctive Queries with Negation: Algorithms and Experiments
21st International Conference on Database and Expert Systems Applications, août 2010, Bilbao (Espagne).
- Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments
Research Report n°10010, march 2010.
- Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
Déduction dans le fragment existentiel conjonctif de la logique du premier ordre : algorithme et expérimentations
Reconnaissance des Formes et Intelligence Artificielle (RFIA), janvier 2010, Caen.
Obtention du prix AFIA : voir la page web.
- Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
Introduction de la négation atomique dans les graphes conceptuels
DOCTISS, journée-conférence des doctorants de l’I2S, avril 2009, Montpellier.
- Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
De la déduction dans le fragment {\exists , \wedge , ¬a} de la logique du premier ordre à SAT
Journées Nationales de l’IA Fondamentale (JIAF), octobre 2008, Paris.