Publications

Publications de

Articles dans une revue
Communications dans un congrès
  • 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.

    Résumé
    BibTeX

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

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

    BibTeX

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

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

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

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

    BibTeX

Thèses
  • 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

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par