Documentation
Français (FR)

Anglais (EN)

MM

Marie-Laure Mugnier

6

Documents

Identifiants chercheurs

marie-laure-mugnier
0000-0002-0574-3693
IdRef : 129977896

Présentation

Publications

857482

	A Theoretical and Experimental Comparison of Algorithms for Containment of Conjunctive Queries with Negation Khalil Ben Mohamed , Michel Leclère , Marie-Laure Mugnier DEXA 2011 - 22nd International Conference on Database and Expert Systems Applications, Aug 2011, Toulouse, France. pp.466-480, ⟨10.1007/978-3-642-23088-2_35⟩ Communication dans un congrès lirmm-00618779v1
	Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments Khalil Ben Mohamed , Michel Leclère , Marie-Laure Mugnier AIMSA'10: International Conference on Artificial Intelligence: Methodology, Systems, Applications, Sep 2010, Varna, Bulgaria. pp.1-10, ⟨10.1007/978-3-642-15431-7_1⟩ Communication dans un congrès lirmm-00537836v1
	Déduction dans le fragment existentiel conjonctif de la logique du premier ordre : algorithme et expérimentations Khalil Ben Mohamed , Michel Leclère , Marie-Laure Mugnier RFIA: Reconnaissance des Formes et Intelligence Artificielle, Jan 2010, Caen, France Communication dans un congrès lirmm-00537824v1
	Containment of Conjunctive Queries with Negation: Algorithms and Experiments Khalil Ben Mohamed , Michel Leclère , Marie-Laure Mugnier DEXA 2010 - 21st International Conference on Database and Expert Systems Applications, Aug 2010, Bilbao, Spain. pp.330-345, ⟨10.1007/978-3-642-15251-1_27⟩ Communication dans un congrès lirmm-00537832v1
	De la déduction dans le fragment {Existe,Et,Neg} de la logique du premier ordre à SAT Khalil Ben Mohamed , Michel Leclère , Marie-Laure Mugnier Journées d'Intelligence Artificielle Fondamentale, Oct 2008, Angers, France Communication dans un congrès lirmm-00355290v1

	Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments Khalil Ben Mohamed , Michel Leclère , Marie-Laure Mugnier RR-10010, 2010, pp.20 Rapport lirmm-00463579v1