Michel Cayrol

Publication Activity (10 Years)

Years Active: 1979-2001
Publications (10 Years): 0

Publications

Michel Cayrol, Pierre Régnier, Vincent Vidal
Least commitment in Graphplan. Artif. Intell. 130 (1) (2001)
Michel Cayrol, Pierre Régnier, Vincent Vidal
New Results about LCGP, a Least Committed GraphPlan. AIPS (2000)
Thierry Castell, Michel Cayrol
Hidden Gold in Random Generation of SAT Satisfiable Instances. IJCAI (1) (1997)
Thierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre
Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models. ECAI (1996)
Michel Cayrol, Olivier Palmade, Thomas Schiex
A Fixed Point Semantics for the ATMS. J. Log. Comput. 3 (2) (1993)
Claudette Cayrol, Michel Cayrol, Olivier Palmade
New Techniques for Inference in Assumption-Based Truth Maintenance Systems. ICTAI (1993)
Michel Cayrol, Bernard Fade, Henri Farreny
A study of simulated control of a robot: adaptibility, generation and execution of plans. SIGART Newsl. 69 (1980)
Michel Cayrol, Bernard Fade, Henri Farreny
Formal Objects and Feature Associations in "ARGOS-II". IJCAI (1979)