Automatic Learning in Proof Planning.

Mateja Jamnik, Manfred Kerber, Martin Pollet

Browse the full ECAI paper archive.