Gilles Défourneaux

Publication Activity (10 Years)

Years Active: 1996-1998
Publications (10 Years): 0

Publications

Gilles Défourneaux, Christophe Bourely, Nicolas Peltier
Semantic Generalizations for Proving and Disproving Conjectures by Analogy. J. Autom. Reason. 20 (1) (1998)
Gilles Défourneaux, Nicolas Peltier
Analogy and Abduction in Automated Deduction. IJCAI (1) (1997)
Gilles Défourneaux, Nicolas Peltier
Partial Matching for Analogy Discovery in Proofs and Counter-Examples. CADE (1997)
Christophe Bourely, Gilles Défourneaux, Nicolas Peltier
Building Proofs or Counterexamples by Analogy in a Resoluton Framework. JELIA (1996)