1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Minghao Liu, David M. Cerna, Filipe Gouveia +1
Knowledge refactoring compresses a logic program by introducing new rules. Current approaches struggle to scale to large programs. To overcome this limitation, we introduce a const…