Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization.

Scott Dietzen, Frank Pfenning

Browse the full ICML paper archive.