Adapting Methods to Novel Tasks in Proof Planning.

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jrn Richts

Browse the full KI paper archive.