Publications of
Michel Cayrol, Pierre Régnier, Vincent Vidal
Least commitment in Graphplan
In : Artificial Intelligence, Elsevier Science B. V., Sara Burgerhartstraat 25 1055 KV Amsterdam The Netherlands, Vol. 130 N. 1, pp. 85-118, July 2001.
Claudette Cayrol, Michel Cayrol, Olivier Palmade
P-arbres de déduction : Application aux ATMS
In : Revue d’Intelligence Artificielle, Vol. 9, N. 1, pp. 35-52, 1995.
ARC: un ATMS basé sur la résolution CAT-correcte
In : Revue d’Intelligence Artificiell, Hermès, Paris, Vol. 3, N. 3, pp. 19-39, 1989.
PSIL: manipulation d’objets infinis pour l’intelligence artificielle
In : T.S.I., Vol. 4, N. 4, pp. 373-381, 1985.
Michel Cayrol, Henri Farreny, Henri Prade
Fuzzy pattern matching
In : Kybernetes, Vol. 11, pp. 103-116, 1982.
Michel Cayrol, Jean-Louis Durieux, Henri Farreny
A mechanism of functional association between variable values: the roi de rats
In : Kybernetes, Vol. 10, pp. 105-111, 1981.
Michel Cayrol, Bernard Fade, Henri Farreny
A Study of Simulated Control of a Robot: Adaptability, Generation and Execution of Plans
In : SIGART Newsletter, Vol. . N. 69, pp. 11-12, 1980.
Michel Cayrol, Bernard Fade, Henri Farreny
La notion de liaison en Intelligence Artificielle
In : Revue RAIRO informatique, Vol. 13, N. 4, pp. 367-374, 1979.
Michel Cayrol, Bernard Fade, Henri Farreny
A study of simulated control of strategies of a robot
In : SIGART Newsletter, Vol. . N. 59, pp. 3-4, 1976.
Michel Cayrol, Bernard Fade, Henri Farreny
Etude en simulation des stratégies de contrôle d’un robot: le projet ARGOS
In : Automatisme, Vol. XXI, N. 5, pp. 162-172, 1976.
Michel Cayrol, Vincent Vidal, Pierre Régnier
New Results about LCGP, a Least Commited GraphPlan
In : AIPS 2000, Breckenridge, Colorado, 14/04/00-17/04/00, AAAI Press (Menlo Park. California. USA), AAAI Press45 Burgess DriveMenlo Park, California 94025USA, pp. 273-282, April 2000.
Michel Cayrol, Pierre Régnier, Vincent Vidal
LCGP : une amélioration de Graphplan par relâchement de contraintes entre actions simultanées
In : RFIA’2000, Paris, 01/02/00-03/02/00, AFIA, February 2000.
Thierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre
Modèles P-restreints : Applications à l’Inference Propositionnelle.
In : Congrès Reconnaissance des Formes et Intelligence Artificielle RFIA’98, Clermont-Ferrand, 20/01/98-22/01/98, AFCET, Paris, pp. 205-214, January 1998.
Thierry Castell, Michel Cayrol
Hidden Gold in Random Generation of Satisfiable Instances
In : Int. Joint Conf. on Artificial Intelligence (IJCAI’97), Nagoya, Japon, 23/08/97-29/08/97, Morgan Kaufmann Publishers, pp. 372-377, August 1997.
Thierry Castell, Michel Cayrol
Arguments for the easy generation of random, hard and satisfiable instances of SAT
In : ECAI’96 Workshop on Advances in propositional deduction, –, .
Thierry Castell, Michel Cayrol
Une nouvelle méthode de calcul des impliquants et des impliqués premiers
In : Actes de la deuxième confèrence CNPC’96 (Résolution pratique de problèmes NP-Complets), Dijon, TEKNEA, Marseille, pp. 153-167, March 1996.
Thierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre
Using the Davis and Putnam procedure for an efficient computation of preferred models
In : Proc. 12th European Conference on Artificial Intelligence ECAI’96, Budapest Hungary, 11/08/96-16/08/96, John Wiley & Sons, New York, pp. 350-354, August 1996.
Claudette Cayrol, Michel Cayrol, Olivier Palmade
P-arbres de déduction (regular paper)
In : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 1994), Paris, 11/01/94-14/01/94, Vol. 2, AFCET : Association française pour la cybernétique économique et technique, pp. 467-475, January 1994.
Claudette Cayrol, Michel Cayrol, Olivier Palmade
New Techniques for Inference in Assumption-Based Truth Maintenance Systems (regular paper)
In : International Conference on Tools with Artificial Intelligence (ICTAI 1993), Boston, 08/11/93-11/11/93, IEEE Computer Society, pp. 404-407, 1993.
Michel Cayrol, Olivier Palmade
Inférence dans les ATMS: un modèle unificateur
In : Actes des Journées Pôle A/Pôle E du PRC-GDR “Intelligence Artificielle”, Plestin-les-Grèves (Côtes d’Armor), 25/09/91-27/09/91.
Les résolutions CAT-correcte et CCT-correcte, la résolution CAT-correcte dans l’A.T.M.S.
In : Colloque Inter. sur l’Informatique Cognitive des Organisations (ICO’89), Quebec, Canada, 13/06/89-15/06/89.
Exploitation de la méthode du consensus dans les A.T.M.S.: La résolution CAM-correcte
In : Actes 8èmes Journées Inter. sur les Systèmes Experts et leurs Applications, Avignon, 30/05/88-03/06/88.
PSIL l’infini en programmation
In : Actes 6ème Cong. Reconnaissance des Formes et Intelligence Artificielle, Antibes, 16/11/87-20/11/87.
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
In : Cong. O.R.I.A. 87 ‘Artificial Intelligence and Sea’, Marseille, 18/06/87-19/06/87.
Countable infinite easy handling
In : 1st Inter. Conf. on Industrial and Applied Mathematics ICIAM 87, Paris, 29/06/87-03/07/87.
Ensembles infinis en programmation
In : Journées infinitistes, Univ. C. Bernard, Lyon, .
Michel Cayrol, Bernard Fade, Henri Farreny
Un système de résolution de problèmes orienté vers la génération de plans
In : 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
In : Joint U.S.A.-FRANCE NSF-CNRS workshop on advanced automation and robotic, ., .
The interactive assignment
In : Second world conference on mathematics at the service of man, Las Palmas, Canaries, .
SCHUM: un langage pour l’intelligence artificielle
In : Colloque Intelligence Artificielle de Toulouse, Toulouse, .
Michel Cayrol, Henri Farreny, Henri Prade
An advanced pattern-matching method taking into account the uncertainty in meaning
In : 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
In : Proc. 10th IEEE Inter. Symp. Multiple-Valued Logic, Evanston, IL, 03/06/80-05/06/80, ., pp. 143-148, June 1980.
Michel Cayrol, Henri Farreny, Henri Prade
Possibility and necessity in a pattern-matching process
In : 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
In : 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
In : Congrès AFCET Informatique, Nancy, ., pp. 351-361, November 1980.
Michel Cayrol, Bernard Fade, Henri Farreny
Objets formels et liaisons d’attributs dans ARGOS-II
In : Actes 2ème Congrès AFCET de Reconnaissance des Formes et Intelligence Artificielle, Toulouse, ., pp. 256-263, September 1979.
Michel Cayrol, Bernard Fade, Henri Farreny
Formal objects and features associations in ARGOS II
In : Proc. 6th Inter. Joint Conf. Artificial Intelligence (IJCAI’79), Tokyo, ., pp. 131-133, August 1979.
Conception, formalisation et expérimentation d’un modèle pour le traitement d’objets finis ou infinis dénombrables
HDR, Université Paul Sabatier, February 1985.
Conception de la simulation d’un robot prototype minimal
Master’s Thesis, Université Paul Sabatier, April 1978.
Intelligence artificielle et robotique: le langage LISP, Cépaduès Editions, December 1983.