Filipe Gouveia

Scalable Knowledge Refactoring Using Constrained Optimisation

Knowledge refactoring compresses logic programs by replacing them with new rules. Current approaches struggle to scale to large programs. To overcome this limitation, we introduce a constrained optimisation refactoring approach. Our first key idea is to encode the problem with decision variables bas…