Formal Objects and Feature Associations in "ARGOS-II". - Michel Cayrol; Bernard Fade; Henri Farreny (IJCAI, 1979)

A study of simulated control of a robot: adaptibility, generation and execution of plans. - Michel Cayrol; Bernard Fade; Henri Farreny (SIGART Newsl., 1980)

New Techniques for Inference in Assumption-Based Truth Maintenance Systems. - Claudette Cayrol; Michel Cayrol; Olivier Palmade (ICTAI, 1993)

A Fixed Point Semantics for the ATMS. - Michel Cayrol; Olivier Palmade; Thomas Schiex (J. Log. Comput., 1993)

Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models. - Thierry Castell; Claudette Cayrol; Michel Cayrol; Daniel Le Berre (ECAI, 1996)

Hidden Gold in Random Generation of SAT Satisfiable Instances. - Thierry Castell; Michel Cayrol (IJCAI (1), 1997)

New Results about LCGP, a Least Committed GraphPlan. - Michel Cayrol; Pierre Régnier; Vincent Vidal 001 (AIPS, 2000)

Least commitment in Graphplan. - Michel Cayrol; Pierre Régnier; Vincent Vidal 001 (Artif. Intell., 2001)