conftrace_

knowledge refactoring

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

logic program (2) knowledge base (2) program synthesis (2) rule refactoring (1) constrained optimisation (1) program compression (1) inductive program synthesis (1) constraint optimisation (1) predicate invention (1) inductive logic programming (1)

Papers

Scalable Knowledge Refactoring Using Constrained Optimisation AAAI 2025 Knowledge Refactoring for Inductive Program Synthesis AAAI 2021