conftrace_

constraint optimisation

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

logic program (2) inductive logic programming (2) program synthesis (2) constraint optimization (2) higher-order abstraction (1) inductive program synthesis (1) knowledge refactoring (1) relational representation (1) predicate invention (1) logic programming (1)

Papers

Learning Logic Programs by Discovering Higher-Order Abstractions IJCAI 2024 Knowledge Refactoring for Inductive Program Synthesis AAAI 2021 Learning Relational Representations with Auto-encoding Logic Programs IJCAI 2019