Publications de
Didier Dubois, Daniel Le Berre, Henri Prade, Régis Sabbadin
Using possibilistic logic for modeling qualitative decision: ATMS-based algorithms
Dans : Fundamenta Informaticae, Vol. 37, p. 1-30, 1999.
Salem Benferhat, Daniel Le Berre, Gerhard Brewka
Qualitative choice logic
Dans : Proc. of the 8th International conference, Principles of Knowledge Representation and Reasoning (KR2002), Toulouse-France, 22/04/02-25/04/02, Morgan Kaufmann Publishers, San Francisco, California, p. 158-169, avril 2002.
Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis, Sylvie Coste-Marquis
Résolution de formules booléennes quantifiées : problèmes et algorithmes
Dans : Actes du 13ème Congrès Francophone de Reconnaissance des Formes et d’Intelligence Artificielle (RFIA 2002), Angers-France, 08/01/02-10/01/02, AFRIF-AFIA, Charvet Imprimeur, p. 289-298, janvier 2002.
Salem Benferhat, Souhila Kaci, Daniel Le Berre, Mary-Anne Williams
Weakening conflicting information for iterated revision and knowledge integration
Dans : Proc. of the 17th International Joint Conference on Artificial Intelligence(IJCAI01), Seattle-USA, 04/08/01-10/08/01, Morgan Kaufmann Publishers, p. 109-115, août 2001.
Jean-Paul Bodeveix, Mamoun Filali, Daniel Le Berre
Expression de méthodes de validation. Transformation en logique propositionnelle ou monadique
Dans : Journées de VERIFICATION FORMELLE, ORLEANS, 08/06/00-09/06/00.
Accès : http://www.univ-orleans.fr/SCIENCES/LIFO/Manifestations/Jo-VERIF/
BibTeXThierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre
Modèles P-restreints : Applications à l’Inference Propositionnelle.
Dans : Congrès Reconnaissance des Formes et Intelligence Artificielle RFIA’98, Clermont-Ferrand, 20/01/98-22/01/98, AFCET, Paris, p. 205-214, janvier 1998.
Didier Dubois, Daniel Le Berre, Henri Prade, Régis Sabbadin
Logical representation and computation of optimal decisions in a qualitative setting
Dans : 15th National Conference on Artifical Intelligence (AAAI-98), Madison, WI., AAAI Press, Menlo Park, California, p. 588-593, juillet 1998.
Daniel Le Berre, Régis Sabbadin
Decision-theoretic diagnosis and repair: representational and computational issues
Dans : Eighth International Workshop on Principles of Diagnosis (DX’97), Le Mont-Saint-Michel, France, 14/09/97-18/09/97, -, p. 141-145, septembre 1997.
Utiliser la procédure de Davis et Putnam pour un calcul efficace de modéles préférés
Dans : Rencontres Nationales Jeunes Chercheurs en Intelligence Artificielle RCJIA’96, –, 28/08/96-31/08/96, Association Française pour l’Intelligence Artificielle AFIA, Paris, p. 127-133, août 1996.
Leila Amgoud, Claudette Cayrol, Daniel Le Berre
Comparing Arguments using Preference Orderings for Argument-based Reasoning
Dans : IEEE International Conference on Tools with Artificial Intelligence TAI’96, Toulouse France, 16/11/96-19/11/96, IEEE Computer Society Press, Los Alamitos, California, p. 400-403, novembre 1996.
Thierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre
Using the Davis and Putnam procedure for an efficient computation of preferred models
Dans : Proc. 12th European Conference on Artificial Intelligence ECAI’96, Budapest Hungary, 11/08/96-16/08/96, John Wiley & Sons, New York, p. 350-354, août 1996.
Autour de SAT: le calcul d’impliquants P-restreints, algorithmes et applications
Thèse de doctorat, Université Paul Sabatier, janvier 2000.