This paper presents an algorithm that combines traditional EBL techniques and recent developments in inductive logic programming to learn effective clause selection rules for Prolog programs. When these control rules are incorporated into the original program, significant speed-up may be achieved. The algorithm is shown to be an improvement over competing EBL approaches in several domains. Additionally, the algorithm is capable of automatically transforming some intractable algorithms into ones that run in polynomial time.

PDF, PS

In Proceedings of the 13th International Joint Conference on Artificial Intelligence, pp. 1106-1111 1993. San Francisco, CA: Morgan Kaufmann.

@InProceedings{zelle:ijcai93, title={Combining FOIL and EBG to Speed-Up Logic Programs}, author={John M. Zelle and Raymond J. Mooney}, booktitle={Proceedings of the 13th International Joint Conference on Artificial Intelligence}, publisher={San Francisco, CA: Morgan Kaufmann}, key={IJCAI}, pages={1106-1111}, url="http://www.cs.utexas.edu/users/ai-lab?zelle:ijcai93", year={1993} }