Gilles Défourneaux

According to our database, Gilles Défourneaux authored at least 4 papers between 1996 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1998

Semantic Generalizations for Proving and Disproving Conjectures by Analogy.

Gilles Défourneaux, Christophe Bourely, Nicolas Peltier

J. Autom. Reason., 1998

1997

Analogy and Abduction in Automated Deduction.

Gilles Défourneaux, Nicolas Peltier

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Partial Matching for Analogy Discovery in Proofs and Counter-Examples.

Gilles Défourneaux, Nicolas Peltier

Proceedings of the Automated Deduction, 1997

1996

Building Proofs or Counterexamples by Analogy in a Resoluton Framework.

Christophe Bourely, Gilles Défourneaux, Nicolas Peltier

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996