Gilles Défourneaux

Building Proofs or Counterexamples by Analogy in a Resoluton Framework

Nicolas Peltier, Christophe Bourely, Gilles Défourneaux, 1996, JELIA.

Analogy and Abduction in Automated Deduction

Nicolas Peltier, Gilles Défourneaux, N. Peltier, 1997, IJCAI.

Partial Matching for Analogy Discovery in Proofs and Counter-Examples

Nicolas Peltier, Gilles Défourneaux, 1997, CADE.

Semantic Generalizations for Proving and Disproving Conjectures by Analogy

Nicolas Peltier, Christophe Bourely, Gilles Défourneaux, 1998, Journal of Automated Reasoning.