00320nas a2200133 4500000000100000000000100001008004100002100001700043700001900060700002000079245006800099300001200167490000700179 2003 d1 aXavier Clerc1 aDamien Pellier1 aHumbert Fiorino00aPlanification multi-agent par cycles de conjecture/réfutation  a129-1410 v32