Logic Programs

Scalable Knowledge Refactoring Using Constrained Optimisation

Knowledge refactoring compresses logic programs by replacing them with new rules. Current approaches struggle to scale to large …

Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper