| |
| 1998 | ||
|---|---|---|
| 4 | Gilles Défourneaux, Christophe Bourely, Nicolas Peltier: Semantic Generalizations for Proving and Disproving Conjectures by Analogy. J. Autom. Reasoning 20(1): 27-45 (1998) | |
| 1997 | ||
| 3 | Gilles Défourneaux, Nicolas Peltier: Partial Matching for Analogy Discovery in Proofs and Counter-Examples. CADE 1997: 431-445 | |
| 2 | Gilles Défourneaux, Nicolas Peltier: Analogy and Abduction in Automated Deduction. IJCAI (1) 1997: 216-225 | |
| 1996 | ||
| 1 | Christophe Bourely, Gilles Défourneaux, Nicolas Peltier: Building Proofs or Counterexamples by Analogy in a Resoluton Framework. JELIA 1996: 34-49 | |
| 1 | Christophe Bourely | [1] [4] |
| 2 | Nicolas Peltier | [1] [2] [3] [4] |