Michel Cayrol

According to our database, Michel Cayrol authored at least 8 papers between 1979 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Least commitment in Graphplan.

Michel Cayrol, Pierre Régnier, Vincent Vidal

Artif. Intell., 2001

2000

New Results about LCGP, a Least Committed GraphPlan.

Michel Cayrol, Pierre Régnier, Vincent Vidal

Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1997

Hidden Gold in Random Generation of SAT Satisfiable Instances.

Thierry Castell, Michel Cayrol

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996

Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models.

Thierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1993

A Fixed Point Semantics for the ATMS.

Michel Cayrol, Olivier Palmade, Thomas Schiex

J. Log. Comput., 1993

New Techniques for Inference in Assumption-Based Truth Maintenance Systems.

Claudette Cayrol, Michel Cayrol, Olivier Palmade

Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993

1980

A study of simulated control of a robot: adaptibility, generation and execution of plans.

Michel Cayrol, Bernard Fade, Henri Farreny

SIGART Newsl., 1980

1979

Formal Objects and Feature Associations in "ARGOS-II".

Michel Cayrol, Bernard Fade, Henri Farreny

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979