Analogy and Abduction in Automated Deduction.

Gilles Dfourneaux, Nicolas Peltier

Browse the full IJCAI paper archive.