Publications de
Completeness and admissibility for general Heuristic search algorithms – a theoretical study:basic concepts and proofs
Dans : Journal fo Heuristics, Kluwer Academic Publishers, Vol. 5 N. Issue 3, p. 353-376, octobre 1999.
Recherche heuristiquement ordonnée: Généralisations compatibles avec la complétude et l’admissibilité
Dans : Technique et Science Informatiques, Hermès, Paris, Vol. 16, N. 7, p. 925-953, 1997.
Jean-Christophe Buisson, Henri Farreny, Henri Prade
Mise en ?uvre de techniques de raisonnement approché dans un système expert. L’exemple de DIABETO-III
Dans : Innovation et Technologie en Biologie et Médecine, Vol. 8, N. spécial 2, p. 71-89, 1987.
Jean-Christophe Buisson, Henri Farreny, Henri Prade
The development of a medical expert system and the treatment of imprecision in the framework of possibility theory
Dans : Information Sciences, Vol. 37, p. 211-226, 1986.
Michel Cayrol, Henri Farreny, Henri Prade
Fuzzy pattern matching
Dans : Kybernetes, Vol. 11, p. 103-116, 1982.
Michel Cayrol, Jean-Louis Durieux, Henri Farreny
A mechanism of functional association between variable values: the roi de rats
Dans : Kybernetes, Vol. 10, p. 105-111, 1981.
Michel Cayrol, Bernard Fade, Henri Farreny
A Study of Simulated Control of a Robot: Adaptability, Generation and Execution of Plans
Dans : SIGART Newsletter, Vol. . N. 69, p. 11-12, 1980.
Michel Cayrol, Bernard Fade, Henri Farreny
La notion de liaison en Intelligence Artificielle
Dans : Revue RAIRO informatique, Vol. 13, N. 4, p. 367-374, 1979.
Michel Cayrol, Bernard Fade, Henri Farreny
A study of simulated control of strategies of a robot
Dans : SIGART Newsletter, Vol. . N. 59, p. 3-4, 1976.
Michel Cayrol, Bernard Fade, Henri Farreny
Etude en simulation des stratégies de contrôle d’un robot: le projet ARGOS
Dans : Automatisme, Vol. XXI, N. 5, p. 162-172, 1976.
Des heuristiques plus performantes si avec la fonction on garde la raison
Dans : 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et d’Intelligence Artificielle (RFIA 2002), Angers-France, 08/01/02-10/01/02, Le Comité d’Organisation, p. 607-613, janvier 2002.
New results about sub-admissibility for general families of heuristic search algorithms
Dans : Progress in Artificial Intelligence (Proc. of the 8th Portuguese Conf. on Artificial Intelligence (EPIA’97)(E. Costa, A. Cardoso, eds.), Coimbra, Portugal, Lecture Notes in Artificial Intelligence, Vol. 1323, Springer Verlag, Berlin, p. 241-254, octobre 1997.
Une généralisation pour la recherche heuristiquement ordonnée : Les algorithmes $rho$ et la propriété d’arrêt avec découverte de solution
Dans : Actes du 10ème Congrès ”Reconnaissance des Formes et Intelligence Artificielle” (RFIA’96), Rennes, France, 16/01/96-18/01/96, AFCET, p. 225-23, janvier 1996.
A generalization for heuristically-ordered search: Algorithms rho, results about termination and admissibility
Dans : Proc. of the 1996 IEEE Inter. Conf. on Systems, Man and Cybernetics: Information Intelligence and Systems, Beijing, China, IEEE Press, USA, p. 1442-1447, octobre 1996.
Jean-Christophe Buisson, Henri Farreny, Henri Prade, M.-C. Turnin, J.-P. Tauber, F. Bayard
TOULMED, an inference engine which deals with imprecise and uncertain aspects of medical knowledge
Dans : Proc. Europ. Conf. on Artificial Intelligence in Medicine (AIME-87), Marseille, 31/08/87-03/09/87, Springer Verlag, p. 123-140, août 1987.
Jean-Christophe Buisson, Henri Farreny, Henri Prade
Dealing with imprecision and uncertainty in the expert system DIABETO-III
Dans : Proc. 2nd Inter. Conf. on Artificial Intelligence (CIIAM-86), Marseille, 01/12/86-05/12/86, Hermès, Paris, p. 705-721, décembre 1986.
Didier Dubois, Henri Farreny, Henri Prade
Sur divers problèmes inhérents à l’automatisation des raisonnements de sens communs
Dans : Actes 5èmes Cong. AFCET Reconnaissance des Formes et Intelligence Artificielle, Grenoble, 27/11/85-29/11/85, ., p. 321-328, novembre 1985.
Didier Dubois, Henri Farreny, Henri Prade
Suivi d’éxécution d’itinéraires spécifiés en termes imprécis
Dans : Actes Colloque Inter. d’Intelligence Artificielle, Marseille, 24/10/84-27/10/84.
Michel Cayrol, Bernard Fade, Henri Farreny
Un système de résolution de problèmes orienté vers la génération de plans
Dans : Journées ARA, Poitier, .
Michel Cayrol, Bernard Fade, Henri Farreny
Un système de résolution de problèmes pour la génération de plans
Dans : Joint U.S.A.-FRANCE NSF-CNRS workshop on advanced automation and robotic, ., .
Michel Cayrol, Henri Farreny, Henri Prade
An advanced pattern-matching method taking into account the uncertainty in meaning
Dans : Inter. Conf. on Artificial Intelligence and Information – Control Systems of Robots, Bratislava, Tchécoslovaquie, 30/06/80-04/07/80.
Michel Cayrol, Henri Farreny, Henri Prade
Fuzzy reasoning based on multivalent logics in the framework of production-rules systems
Dans : Proc. 10th IEEE Inter. Symp. Multiple-Valued Logic, Evanston, IL, 03/06/80-05/06/80, ., p. 143-148, juin 1980.
Michel Cayrol, Henri Farreny, Henri Prade
Possibility and necessity in a pattern-matching process
Dans : Proc. IXth Inter. Cong. on Cybernetics, Namur, Belgium, 08/09/80-13/09/80.
Michel Cayrol, Henri Farreny, Henri Prade
Accès linguistique associatif à une base de données
Dans : Proc. 2nd Inter. Conf. on Data Bases in the Humanities and Social Sciences, Madrid, 16/06/80-19/06/80.
Michel Cayrol, Bernard Fade, Henri Farreny
ARGOS II: un système de production pour écrire des résolveurs experts
Dans : Congrès AFCET Informatique, Nancy, ., p. 351-361, novembre 1980.
Michel Cayrol, Bernard Fade, Henri Farreny
Objets formels et liaisons d’attributs dans ARGOS-II
Dans : Actes 2ème Congrès AFCET de Reconnaissance des Formes et Intelligence Artificielle, Toulouse, ., p. 256-263, septembre 1979.
Michel Cayrol, Bernard Fade, Henri Farreny
Formal objects and features associations in ARGOS II
Dans : Proc. 6th Inter. Joint Conf. Artificial Intelligence (IJCAI’79), Tokyo, ., p. 131-133, août 1979.
Salem Benferhat, Henri Farreny, Henri Prade
Possibilistic rule-based inference: a case study in financial analysis
Dans : Soft Computing in Financial Engineering. R. Ribeiro, H.-J. Zimmermann, R. Yager, J. Kacprzyk (Eds.) , Physica-Verlag, Heidelberg, Allemagne, p. 301-319, 1999.
Didier Dubois, Henri Farreny, Henri Prade
Combinatorial search with fuzzy estimates
Dans : ‘Soft’ optimization models using fuzzy sets and possibility theory. J. Kacprzyk, S.A. Orlovski (Eds.) , D. Reidel, Dordrecht, p. 171-185, 1987.
Gérard Bel, Didier Dubois, Henri Farreny, Henri Prade
Vers l’emploi de systèmes experts flous pour le pilotage de systèmes manufacturiers
Dans : Le Point en Productique, Vol. 1. J.C. Pruvost (Eds.) , Tec. & Doc.-Lavoisier, Paris, p. 55-63, 1986.
Gérard Bel, Didier Dubois, Henri Farreny, Henri Prade
Towards the use of fuzzy rule-based systems in the monitoring of manufactoring systems
Dans : Software for Discrete Manufacturing. J.P. Crestin, J.F. McWaters (Eds.) , North-Holland, p. 525-535, 1986.
Recherche Heuristiquement Ordonnée dans les Graphes d’Etats — Algorithmes et Propriétés, Masson, Paris, 1995.