Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Daniel Le Berre

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues internationales / International journal papers

Conférences et workshops internationaux / International conference papers
  • 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/2002-25/04/2002, Morgan Kaufmann Publishers, San Francisco, California, p. 158-169, avril 2002.
    Résumé
    BibTeX

  • 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/2001-10/08/2001, Morgan Kaufmann Publishers, p. 109-115, août 2001.
    BibTeX

  • 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.
    BibTeX

  • 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/1997-18/09/1997, -, p. 141-145, septembre 1997.
    BibTeX

  • 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/1996-19/11/1996, IEEE Computer Society Press, Los Alamitos, California, p. 400-403, novembre 1996.
    BibTeX

  • 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/1996-16/08/1996, John Wiley & Sons, New York, p. 350-354, août 1996.
    BibTeX

Conférences et workshops nationaux / National conference papers
  • 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 / Artificial Intelligence (RFIA 2002), Angers-France, 08/01/2002-10/01/2002, AFRIF-AFIA, Charvet Imprimeur, p. 289-298, janvier 2002.
    Résumé
    BibTeX

  • Thierry 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 / Artificial Intelligence RFIA'98, Clermont-Ferrand, 20/01/1998-22/01/1998, AFCET, Paris, p. 205-214, janvier 1998.
    BibTeX

  • Daniel Le Berre. 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 / Artificial Intelligence RCJIA'96, -, 28/08/1996-31/08/1996, Association Française pour l'Intelligence Artificielle AFIA, Paris, p. 127-133, août 1996.
    BibTeX

Conférences sans actes publiés / Conference papers without published proceedings

Rapports / Reports

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Daniel Le Berre. Autour de SAT: le calcul d'impliquants P-restreints, algorithmes et applications. Thèse de doctorat, Université Paul Sabatier, janvier 2000.
    BibTeX