Nos partenaires

CNRS

Rechercher





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

Publications

Michel Cayrol

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.

 


Livres (monographies) / Books (monographs)

Articles de revues internationales / International journal papers

Articles de revues nationales / National journal papers

Conférences et workshops internationaux / International conference papers
  • Michel Cayrol, Vincent Vidal, Pierre Régnier. New Results about LCGP, a Least Commited GraphPlan. Dans : AIPS 2000, Breckenridge, Colorado, 14/04/2000-17/04/2000, AAAI Press (Menlo Park. California. USA), AAAI Press45 Burgess DriveMenlo Park, California 94025USA, p. 273-282, avril 2000.
    BibTeX

  • Thierry Castell, Michel Cayrol. Hidden Gold in Random Generation of Satisfiable Instances. Dans : Int. Joint Conf. on Artificial Intelligence (IJCAI'97), Nagoya, Japon, 23/08/1997-29/08/1997, Morgan Kaufmann Publishers, p. 372-377, août 1997.
    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

  • Claudette Cayrol, Michel Cayrol, Olivier Palmade. New Techniques for Inference in Assumption-Based Truth Maintenance Systems (regular paper). Dans : International Conference on Tools with Artificial Intelligence (ICTAI 1993), Boston, 08/11/1993-11/11/1993, IEEE Computer Society, p. 404-407, 1993.
    BibTeX

  • 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/1980-05/06/1980, ., p. 143-148, juin 1980.
    BibTeX

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

Conférences et workshops nationaux / National conference papers
  • Michel Cayrol, Pierre Régnier, Vincent Vidal. LCGP : une amélioration de Graphplan par relâchement de contraintes entre actions simultanées. Dans : RFIA'2000, Paris, 01/02/2000-03/02/2000, AFIA, février 2000.
    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

  • Thierry Castell, Michel Cayrol. Une nouvelle méthode de calcul des impliquants et des impliqués premiers. Dans : Actes de la deuxième confèrence CNPC'96 (Résolution pratique de problèmes NP-Complets), Dijon, TEKNEA, Marseille, p. 153-167, mars 1996.
    BibTeX

  • Claudette Cayrol, Michel Cayrol, Olivier Palmade. P-arbres de déduction (regular paper). Dans : Congrès Francophone de Reconnaissance des Formes et Intelligence artificielle / Artificial Intelligence (RFIA 1994), Paris, 11/01/1994-14/01/1994, Vol. 2, AFCET : Association française pour la cybernétique économique et technique, p. 467-475, janvier 1994.
    BibTeX

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

  • 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 / Artificial Intelligence, Toulouse, ., p. 256-263, septembre 1979.
    BibTeX

Conférences sans actes publiés / Conference papers without published proceedings
  • Thierry Castell, Michel Cayrol. Arguments for the easy generation of random, hard and satisfiable instances of SAT. Dans : ECAI'96 Workshop on Advances in propositional deduction, -, .
    BibTeX

  • Michel Cayrol, Olivier Palmade. Inférence dans les ATMS: un modèle unificateur. Dans : Actes des Journées Pôle A/Pôle E du PRC-GDR "Intelligence artificielle / Artificial Intelligence", Plestin-les-Grèves (Côtes d'Armor), 25/09/1991-27/09/1991.
    BibTeX

  • Michel Cayrol, Pierre Tayrac. Les résolutions CAT-correcte et CCT-correcte, la résolution CAT-correcte dans l'A.T.M.S.. Dans : Colloque Inter. sur l'Informatique Cognitive des Organisations (ICO'89), Quebec, Canada, 13/06/1989-15/06/1989.
    BibTeX

  • Michel Cayrol, Pierre Tayrac. Exploitation de la méthode du consensus dans les A.T.M.S.: La résolution CAM-correcte. Dans : Actes 8èmes Journées Inter. sur les Systèmes Experts et leurs Applications, Avignon, 30/05/1988-03/06/1988.
    BibTeX

  • Michel Cayrol, Thomas Schiex. PSIL l'infini en programmation. Dans : Actes 6ème Cong. Reconnaissance des Formes et Intelligence artificielle / Artificial Intelligence, Antibes, 16/11/1987-20/11/1987.
    BibTeX

  • B. Baret, Michel Cayrol, Jacques Laforgue, D. Mars. Utilisation 'intelligente' de l'expertise en C.A.O.: deuxième génération de S.I.C.E.N. pour le traitement de la structure métallique d'un navire. Dans : Cong. O.R.I.A. 87 'Artificial Intelligence and Sea', Marseille, 18/06/1987-19/06/1987.
    BibTeX

  • Michel Cayrol. Countable infinite easy handling. Dans : 1st Inter. Conf. on Industrial and Applied Mathematics ICIAM 87, Paris, 29/06/1987-03/07/1987.
    BibTeX

  • Michel Cayrol. Ensembles infinis en programmation. Dans : Journées infinitistes, Univ. C. Bernard, Lyon, .
    BibTeX

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

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

  • Michel Cayrol, Bernard Fade. The interactive assignment. Dans : Second world conference on mathematics at the service of man, Las Palmas, Canaries, .
    BibTeX

  • Michel Cayrol. SCHUM: un langage pour l'intelligence artificielle. Dans : Colloque Intelligence artificielle / Artificial Intelligence de Toulouse, Toulouse, .
    BibTeX

  • 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/1980-04/07/1980.
    BibTeX

  • 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/1980-13/09/1980.
    BibTeX

  • 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/1980-19/06/1980.
    BibTeX

Rapports / Reports

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Michel Cayrol. Conception, formalisation et expérimentation d'un modèle pour le traitement d'objets finis ou infinis dénombrables. Habilitation à diriger des recherches, Université Paul Sabatier, février 1985.
    BibTeX

  • Michel Cayrol. Conception de la simulation d'un robot prototype minimal. Thèse de doctorat, Université Paul Sabatier, avril 1978.
    BibTeX