Learning Logic Programs by Discovering Higher-Order Abstractions

Open in new window