Une approche dialectiquè a la formation de théories : aspects conceptuels, formels et pragmatiques dans le cadre de l'apprentissage humain, Thèse de doctorat, 2002. ,
A computational approach to George Boole's discovery of mathematical logic, Artificial Intelligence, vol.91, issue.2, pp.281-307, 1997. ,
DOI : 10.1016/S0004-3702(97)00017-9
Scientific Discovery : Computational Explorations of the Creative Process, 1987. ,
A discovery support system based in interactive asynchronous reasoning, Advances in Intelligent Systems and Robotics Laptec 2003 Frontiers in Artificial Intelligence and Applications, pp.87-93, 2003. ,
Artificial Intelligence, 1991. ,
Théories semiempiriques : ´ eléments de formalisations. Revue d'intelligence artificielle, pp.69-92, 1991. ,
Le concept de preuvè a lalumì ere de l'intelligence artificielle, 1999. ,
Scientific discovery and simplicity of method, Artificial Intelligence, vol.91, pp.177-181, 1997. ,