Automated Hypothesis Generation Using Extended Inductive Resolution.

Charles G. Morgan

Browse the full IJCAI paper archive.